| 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: |
|
| 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. |
| To obtain this publication: |
|
|
|
To purchase a printed copy of this publication please contact
MIT
Document Services.
|