The Theory of Timed I/O Automata
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.
Main Authors: | Kaynar, Dilsun K., Lynch, Nancy, Segala, Roberto, Vaandrager, Frits |
---|---|
Other Authors: | Theory of Computation |
Language: | en_US |
Published: |
2005
|
Online Access: | http://hdl.handle.net/1721.1/30403 |
Similar Items
-
The Theory of Timed I/O Automata
by: Kaynor, Dilsun K., et al.
Published: (2005) -
Hybrid I/O Automata*
by: Lynch, Nancy A., et al.
Published: (2023) -
Hybrid I/O Automata
by: Lynch, Nancy A., et al.
Published: (2023) -
The theory of timed I/O automata /
by: Kaynar, Dilsun K.
Published: (2006) -
Hybrid I/O Automata
by: Lynch, Nancy A., et al.
Published: (2023)