The Theory of Timed I/O Automata

Author(s)
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
Thumbnail
DownloadMIT-CSAIL-TR-2003-014.ps (107.0Mb)
Additional downloads
Other Contributors
Theory of Computation
Metadata
Show full item record
Abstract
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-27
URI
http://hdl.handle.net/1721.1/30403
Other identifiers
MIT-CSAIL-TR-2003-014
MIT-LCS-TR-917
Series/Report no.
Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory
Collections