The Theory of Timed I/O Automata
Author(s)
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits![Thumbnail](/bitstream/handle/1721.1/30403/MIT-CSAIL-TR-2003-014.pdf.jpg?sequence=4&isAllowed=y)
DownloadMIT-CSAIL-TR-2003-014.ps (107.0Mb)
Additional downloads
Other Contributors
Theory of Computation
Metadata
Show full item recordAbstract
Revised version -- November 23, 2004.This paper presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.
Date issued
2003-08-27Other identifiers
MIT-CSAIL-TR-2003-014
MIT-LCS-TR-917
Series/Report no.
Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory