WEKO3
インデックスリンク
アイテム
確率時間オートマトンの確率時間強模倣検証器の開発
http://hdl.handle.net/2297/27292
http://hdl.handle.net/2297/2729259fc4b49-1fef-494d-a008-1646447bbea9
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-YAMANE-S-148.pdf (1.8 MB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-10-03 | |||||
| タイトル | ||||||
| タイトル | 確率時間オートマトンの確率時間強模倣検証器の開発 | |||||
| タイトル | ||||||
| タイトル | Development of verifier of strong probabilistic timed simulation for probabilistic timed automata | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 著者 |
山根, 智
× 山根, 智× 小寺, 広志× 荒井, 恒夫 |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 金沢大学理工研究域電子情報学系 | |||||
| 書誌情報 |
Computer Software 巻 25, 号 3, p. 148-193, 発行日 2008-01-01 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0289-6540 | |||||
| NCID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN10075819 | |||||
| 出版者 | ||||||
| 出版者 | 日本ソフトウェア科学会 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | In 2003, we have defined a strong probabilistic timed simulation relation of probabilistic timed automata, which is given by the combination of a strong timed simulation relation and a probabilistic simulation relation. Also, we have shown that a strong probabilistic timed simulation relation of probabilistic timed automata is decidable. But we didn't give the algorithm. In this paper, we propose a concrete algorithm M and implement the algorithm. As the verification cost of real-time systems is very high, we propose the following algorithm: In the algorithm M, counter examples such as pairs of states, which do not satisfy the conditions of a strong probabilistic timed simulation relation, are gradually removed from the initial set, and finally judge whether one probabilistic timed automaton simulates another or not. | |||||
| 権利 | ||||||
| 権利情報 | (c) Japan Society for Software Science and Technology 2008 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://www.jssst.or.jp/ | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://www.jstage.jst.go.jp/article/jssst/25/3/25_3_148/_article | |||||
