Summary: Symbolic Analysis of Hybrid Systems \Lambda
Rajeev Alur 1 Thomas A. Henzinger 2 Howard Wong­Toi 3
Abstract
A hybrid system is a dynamical system whose behav­
ior exhibits both discrete and continuous change. A
hybrid automaton is a mathematical model for hybrid
systems, which combines, in a single formalism, au­
tomaton 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 hy­
brid automata, a subclass of hybrid automata that can
be analyzed automatically.
1 Introduction
A hybrid system typically consists of a collection of
digital programs that interact with each other and
with an analog environment. Examples of hybrid
systems include manufacturing controllers, automo­
tive and flight controllers, medical equipment, micro­
electromechanical systems, and robots. When these

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

Collections: Computer Technologies and Information Sciences