Relating Chi to Hybrid Automata

  title={Relating Chi to Hybrid Automata},
  author={Bert van Beek and Niek G. Jansen and Koos E. Rooda and Ramon R. H. Schiffelers},
A hybrid automaton is one of the most popular formal models for hybrid system specification. The Chi language is a hybrid formalism for modeling, simulation and verification. It consists of a number of operators that operate on all process terms, including differential algebraic equations. This paper relates the two formalisms by means of a formal… CONTINUE READING