Symbolic analysis of hybrid systems Conference Paper


Author(s): Alur, Rajeev; Henzinger, Thomas A; Wong-Toi, Howard
Title: Symbolic analysis of hybrid systems
Affiliation
Abstract: A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, in a single formalism, automaton transitions for capturing discrete change with differential equations for capturing continuous change. In this survey, we demonstrate symbolic algorithms for the verification of and controller synthesis for linear hybrid automata, a subclass of hybrid automata that can be analyzed automatically
Conference Title: CDC: Decision and Control
Conference Dates: December 10-12, 1997
Conference Location: San Diego, CA , USA
ISBN: 0-7803-4187-2
Publisher: IEEE  
Date Published: 1997-01-01
Start Page: 702
End Page: 707
DOI: 10.1109/CDC.1997.650717
Open access: no
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work