| 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: |
|
| Abstract: |
| 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.
|