The Theory of Timed I/O Automata

dc.contributor.author	Kaynor, Dilsun K.
dc.contributor.author	Lynch, Nancy
dc.contributor.author	Segala, Roberto
dc.contributor.author	Vaandrager, Frits
dc.contributor.other	Theory of Computation
dc.date.accessioned	2005-12-19T22:54:38Z
dc.date.available	2005-12-19T22:54:38Z
dc.date.issued	2005-03-02
dc.identifier.other	MIT-CSAIL-TR-2003-015
dc.identifier.other	MIT-LCS-TR-917a
dc.identifier.uri	http://hdl.handle.net/1721.1/30407
dc.description.abstract	This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.
dc.format.extent	94 p.
dc.format.extent	83828733 bytes
dc.format.extent	3132366 bytes
dc.format.mimetype	application/postscript
dc.format.mimetype	application/pdf
dc.language.iso	en_US
dc.relation.ispartofseries	Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory
dc.title	The Theory of Timed I/O Automata