Department of Electrical Engineering and Computer Sciences: Recent submissions

Now showing items 100-100 of 100

    • The Theory of Timed I/O Automata 

      Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits (2003-08-27)
      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.