LCS Publication Details
Publication Title: The Theory of Timed I/O Automata
Publication Author: Kaynor, Dilsun K.
Additional Authors: Nancy Lynch, Roberto Segala, Frits Vaandrager
LCS Document Number: MIT-LCS-TR-917a
Publication Date: 3-2-2005
LCS Group: Theory of Computation
Additional URL:
This monograph 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.