Hybrid dynamic systems: relating Chi to hybrid automata
Bert van Beek, Niek G. Jansen, Koos Rooda, Ramon R. H. Schiffelers, Ka Lok Man, Michel A. Reniers · Winter Simulation Conference · 2003
A hybrid automation 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 translation from a hybrid automaton model to a Chi model, and a comparison of the semantics of the two models in terms of their respective transition systems. The comparison is illustrated by means of three examples: a thermostat, a railroad gate controller, and dry friction.