非標準モデルに基づくハイブリッドシステムの記述と推論について [in Japanese] Description and Reasoning about Hybrid System Based on Nonstandard Model [in Japanese]
Access this Article
Search this Article
In this paper, we introduce a nonstandard analysis into a logical modeling of continuous dynamics and present a new framework called hyper-finite hybrid automaton (HHA). HHA is a nonstandard interpretation of hybrid automata in the domain of *R. We also enlarge the linear temporal logic LTL to *LTL to describe the system specification. In this framework, we examine the validation of the system consistency of the hybrid system based on model checking, especially the existence and reachability of Zeno point.
- Transactions of the Institute of Systems, Control and Information Engineers
Transactions of the Institute of Systems, Control and Information Engineers 21(6), 176-184, 2008-06-15
THE INSTITUTE OF SYSTEMS, CONTROL AND INFORMATION ENGINEERS (ISCIE)