Timed I/O automata: A mathematical framework for modeling and analyzing real-time system

  • Dilsun K. Kaynar
  • Nancy Lynch
  • Roberto Segala
  • Frits Vaandrager
Publication date
January 2003

Abstract

We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for model-ing and analyzing real-time systems. It is based on timed I/O automata, which engage in both discrete transitions and continuous trajectories. The framework includes a notion of external behavior, and notions of composition and ab-straction. We define safety and liveness properties for timed I/O automata, and a notion of receptiveness, and prove ba-sic results about all of these notions. The TIOA framework is defined as a special case of the new Hybrid I/O Automata (HIOA) modeling framework for hybrid systems. Specifi-cally, a TIOA is an HIOA with no external variables; thus, TIOAs communicate via shared discrete actions only, and do not...

Extracted data

Loading...

Related items

The Theory of Timed I/O Automata
  • Kaynar, Dilsun K.
  • Lynch, Nancy
  • Segala, Roberto
  • Vaandrager, Frits
August 2003

Revised version -- November 23, 2004.This paper presents the Timed Input/Output Automaton (TIOA) mod...

The Theory of Timed IO Automata
  • Kaynar, Dilsun
  • Lynch, Nancy
  • Segala, Roberto
January 2010

This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathemat...

Specifying and proving properties of timed I/O automata in the TIOA toolkit
  • Myla Archer
  • HongPing Lim
  • Nancy Lynch
  • Sayan Mitra
  • Shinya Umeno
January 2006

Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed s...

We use cookies to provide a better user experience.