Transactions of the Institute of Systems, Control and Information Engineers
Online ISSN : 2185-811X
Print ISSN : 1342-5668
ISSN-L : 1342-5668
Description and Reasoning about Hybrid System Based on Nonstandard Model
Katsunori NAKAMURAAkira FUSAOKA
Author information
JOURNALS FREE ACCESS

2008 Volume 21 Issue 6 Pages 176-184

Details
Abstract

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.

Information related to the author
© The Institute of Systems, Control and Information Engineers
Previous article Next article
feedback
Top