Hybrid I/O Automata
dc.contributor.author | Lynch, Nancy A. | en_US |
dc.contributor.author | Segala, Roberto | en_US |
dc.contributor.author | Vaandrager, Frits | en_US |
dc.contributor.author | Weinberg, H. B. | en_US |
dc.date.accessioned | 2023-03-29T14:39:44Z | |
dc.date.available | 2023-03-29T14:39:44Z | |
dc.date.issued | 1995-12 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/149255 | |
dc.description.abstract | 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. | en_US |
dc.relation.ispartofseries | MIT-LCS-TM-544 | |
dc.title | Hybrid I/O Automata | en_US |