@inproceedings{4605,
  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},
  author       = {Alur, Rajeev and Henzinger, Thomas A and Wong Toi, Howard},
  booktitle    = {Proceedings of the 36th IEEE Conference on Decision and Control},
  isbn         = {0780341872},
  location     = {San Diego, CA, USA},
  pages        = {702 -- 707},
  publisher    = {IEEE},
  title        = {{Symbolic analysis of hybrid systems}},
  doi          = {10.1109/CDC.1997.650717  },
  year         = {1997},
}