The Theory of Timed I/O Automata

Author(s)
Kaynor, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
Thumbnail
DownloadMIT-CSAIL-TR-2003-015.ps (79.94Mb)
Additional downloads
Other Contributors
Theory of Computation
Metadata
Show full item record
Abstract
This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.
Date issued
2005-03-02
URI
http://hdl.handle.net/1721.1/30407
Other identifiers
MIT-CSAIL-TR-2003-015
MIT-LCS-TR-917a
Series/Report no.
Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory
Collections