Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. Computer Science and Artificial Intelligence Lab (CSAIL)
  3. LCS Publications
  4. LCS Technical Memos (1974 - 2003)
  5. Hybrid I/O Automata (Extended Abstract)

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
https://hdl.handle.net/1721.1/149255
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.