The Theory of Timed I/O Automata

This monograph presents the timed input/output automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing o...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Kaynar, Dilsun K. (Author), Lynch, Nancy (Author), Segala, Roberto (Author), Vaandrager, Frits (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Cham : Springer International Publishing : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Series:Synthesis Lectures on Computer Science,
Subjects:
Mathematics.
Computer science.
Computer Science.
Online Access:Texto Completo
Table of Contents:
  • Introduction
  • Mathematical Preliminaries
  • Describing Timed System Behavior
  • Timed Automata
  • Operations on Timed Automata
  • Timed I/O Automata
  • Operations on Timed I/O Automata
  • Conclusions and Future Work.

Similar Items