Sciweavers

HYBRID
2001
Springer

Hybrid I/O Automata Revisited

13 years 8 months ago
Hybrid I/O Automata Revisited
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework has been used to analyze examples of automated transportation systems, intelligent vehicle highway systems, air traffic control systems, and consumer electronics applications. Here, we reconsider the basic definitions of the HIOA framework, in particular, the dual use of external variables for discrete and continuous communication. We present a new HIOA model that is simpler than the earlier model, due to a clearer separation between discrete and continuous activity.
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage
Added 29 Jul 2010
Updated 29 Jul 2010
Type Conference
Year 2001
Where HYBRID
Authors Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Comments (0)