文献

J-GLOBAL ID：200902291524221655   整理番号：08A0606297

非標準モデルに基づくハイブリッドシステムの記述と推論について

Description and Reasoning about Hybrid System Based on Nonstandard Model

著者 (3件)： 中村勝則 (立命館大) ,  中村勝則 (平安女学院大) ,  房岡璋 (立命館大)
資料名： システム制御情報学会論文誌  (Transactions of the Institute of Systems, Control and Information Engineers)
巻： 21  号： 6  ページ： 176-184  発行年： 2008年06月 
JST資料番号： L0070A  ISSN： 1342-5668  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ハイブリッドシステムの連続的ダイナミクスの超準解析に基づくモデリングを述べ,HHA(Hyper-finite Hybrid Automaton)と呼ぶハイブリッドシステムのための枠組みを述べた。さらに,時制論理LTL(Linear Temporal Logic)を超自然数上に拡張した非標準のLTLを新たに導入して,ハイブリッドシステムを検証した。対象システムの制御プランを検証し,とくにZeno状態の存在証明とZeno状態への到達可能性について,モデルチェッキングの手法により検証した。

シソーラス用語： *ハイブリッド系 ,  *システムモデル ,  オートマトン ,  可到達性 ,  安定性 ,  モデリング ,  システム解析
準シソーラス用語： 超準解析 ,  ハイブリッドオートマトン

分類 (2件)： オートマトン理論  (JB04000O) ,  システム設計・解析  (IA02030D)

引用文献 (22件)：

• ALUR, A. Hybrid automata : An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. 1993, 209-229
• ALUR, R. Discrete abstractions of hybrid systems. Proc. of the IEEE. 2000, 88, 971-984
• BUCHI, J. R. Transfinite automata recursions and weak second order theory of ordinals. Proc. Int. Congress Logic, Methodology, and Philosophy of Science, 1965. 1965, 2-23
• CACHAT, T. Controller synthesis & ordinal automata. Proc. of the 4th Intl. Symposium on Automated Technology for Verification and Analysis (ATVA'06). 2006, 215-228
• CHOUEKA, Y. Finite automata, definable sets, and regular expressions over ω^n-tape. J. Compute. System Sci. 1978, 17, 1, 81-97

タイトルに関連する用語 (4件)： 標準モデル ,  ハイブリッドシステム ,  記述 ,  推論