LCS Publication Details
Publication Title: The Theory of Timed I/O Automata
Publication Author: Kaynar, Dilsun K.
Additional Authors: Nancy Lynch, Roberto Segala, Frits Vaandrager
LCS Document Number: MIT-LCS-TR-917
Publication Date: 8-27-2003
LCS Group: Theory of Computation
Additional URL:
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.
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.