Art

J-GLOBAL ID：201002239399037048   Reference number：10A0177627

On a Nonstandard Model of Hybrid Automaton

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

Author (2)： NAKAMURA KATSUNORI (立命館大) ,  FUSAOKA AKIRA (平安女学院大)
Material： システム制御情報学会論文誌  (Transactions of the Institute of Systems, Control and Information Engineers)
Volume： 23  Issue： 2  Page： 29-38  Publication year： Feb. 2010 
JST Material Number： L0070A  ISSN： 1342-5668  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *automaton ,  *hybrid system ,  optimum control ,  system model ,  system analysis
Semi thesaurus term： hybrid automaton

JST classification (2)： Automaton theory  (JB04000O) ,  System design and analysis  (IA02030D)

Reference (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)

Terms in the title (2)： ハイブリッドオートマトン ,  標準モデル