Abstract
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 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.
| Original language | English |
|---|---|
| Pages (from-to) | 632-640 |
| Number of pages | 9 |
| Journal | Winter Simulation Conference Proceedings |
| Volume | 1 |
| Publication status | Published - 2003 |
| Externally published | Yes |
| Event | Proceedings of the 2003 Winter Simulation Conference: Driving Innovation - New Orleans, LA, United States Duration: 7 Dec 2003 → 10 Dec 2003 |