文献

J-GLOBAL ID：201002239399037048   整理番号：10A0177627

ハイブリッドオートマトンの非標準モデルについて

On a Nonstandard Model of Hybrid Automaton

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

抄録/ポイント： ハイブリッドシステムに固有の現象で,有限時間内に無限回の離散的状態変化が起こるZeno現象に関して,ハイブリッドオートマトンでのその取り扱いを論じた。本文では,ハイブリッドオートマンを非標準の実数^*Rのもとに解釈した非標準ハイブリッドオートマン(NHA)を用いて論じた。有限時間内という条件をはずして少し拡張した拡張Zeno現象を定義し,これに基づいて古典的な最適制御問題であるFuller問題の解析を行った。NHAを用いることにより,より自然な形でZeno現象を回避するオートマンを構成できると述べた。

シソーラス用語： *オートマトン ,  *ハイブリッド系 ,  最適制御 ,  システムモデル ,  システム解析
準シソーラス用語： ハイブリッドオートマトン

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

引用文献 (13件)：

• [1] R. Goldblatt:Lecture on the Hyperreals: An Introduction to Nonstandard Analysis, Springer (1988)
• [2] T. A. Henzinger: The theory of hybrid automata; Verification of Digital and Hybrid Systems (M. K. Inan, R. P. Kurshan, eds.), NATO ASI Series F: Computer and Systems Sciences, Vol.170, Springer-Verlag, pp.265-292 (2000)
• [3] K. H. Johansson, M. Egerstedt, J. Lygeros and S. Sastry: On the regularization of Zeno hybrid automata; Proc. of System Control Letters, Special Issue on Hybrid Systems, Vol.39, pp.141-150 (1999)
• [4] K. H. Johansson, J. Lygeros, et al.: Hybrid automata: A formal paradigm for heterogeneous modeling; Proc. of IEEE Intl. Sympo. on Computer-Aided Control System Design Anchorage, pp.123-128 (2000)
• [5] A. Lamperski and A. D. Ames: Lyapunov-like conditions for the existence of Zeno behavior in hybrid and Lagrangian hybrid systems; 46th IEEE Conference on Decision and Control, pp.115-120 (2007)

タイトルに関連する用語 (2件)： ハイブリッドオートマトン ,  標準モデル