Hybrid I/O Automata
Author(s)
Lynch, Nancy A.; Segala, Roberto; Vaandrager, Frits; Weinberg, H. B.
DownloadMIT-LCS-TM-544.pdf (1.128Mb)
Metadata
Show full item recordAbstract
We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I/O automaton model of [12, 7] and the phase transition system models of [15, 2], allows communication among components using both shared variables and shared actions.
Date issued
1995-12Series/Report no.
MIT-LCS-TM-544