Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory
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.
