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.

• Type: Conference
• Year: 2001
• Where: HYBRID
• Authors: Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
• Keywords: Consumer Electronics Applications, Control Systems, HYBRID 2001, Hybrid I/o Automaton, Traffic Control Systems