@inproceedings{4617,
  abstract     = {We extend the timed-automaton model for real-time systems [AD90] to a formal model for hybrid systems: while the continuous variables of a timed automaton are clocks that measure time, the continuous variables of a hybrid system are governed by arbitrary differential equations. We then adopt the verification methodology for timed automata [ACD90, ACD+92, HNSY92] to analyze hybrid systems: while the verification problem is decidable for timed automata, we obtain semidecision procedures for the class of hybrid systems whose continuous variables change in a piecewise linear fashion. },
  author       = {Alur, Rajeev and Courcoubetis, Costas and Henzinger, Thomas A and Ho, Pei and Nicollin, Xavier and Olivero, Alfredo and Sifakis, Joseph and Yovine, Sergio},
  booktitle    = {11th International Conference on Analysis and Optimization of Systems Discrete Event Systems},
  isbn         = {978-3-540-19896-3},
  location     = {Sophia-Antipolis, France},
  pages        = {331 -- 351},
  publisher    = {Springer},
  title        = {{The algorithmic analysis of hybrid systems}},
  doi          = {10.1007/BFb0033565},
  volume       = {199},
  year         = {1994},
}