We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Hybrid I/O Automata (Extended Abstract)

Thumbnail Image
Download
Name

MIT-LCS-TM-544.pdf

Size

1.13 MB

Format

Adobe PDF

Checksum (MD5)

7545c02559d67e6ca190fa1d806b63e3

Author(s)
Lynch, Nancy A.
•
Segala, Roberto
•
Vaandrager, Frits
•
Weinberg, H. B.
Date Issued
December 1995
Series/Report no.
MIT-LCS-TM-544
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.