Title :
Relating Chi to hybrid automata
Author :
Van Beek, Bert ; Jansen, Niek G. ; Rooda, Koos E. ; Schiffelers, Ramon R H ; Man, Ka L. ; Reniers, Michel A.
Author_Institution :
Dept. of Mech. Eng., Eindhoven Univ. of Technol., Netherlands
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.
Keywords :
automata theory; differential equations; discrete event simulation; formal verification; programming language semantics; simulation languages; specification languages; Chi language; Chi model; differential algebraic equations; dry friction; formal models; formal translation; hybrid automata; hybrid formalism; hybrid system specification; modeling; railroad gate controller; semantic comparison; simulation; thermostat; verification; Automata; Automatic control; Circuit simulation; Differential algebraic equations; Formal languages; Friction; Integrated circuit manufacture; Manufacturing industries; Mechanical engineering; Thermostats;
Conference_Titel :
Simulation Conference, 2003. Proceedings of the 2003 Winter
Print_ISBN :
0-7803-8131-9
DOI :
10.1109/WSC.2003.1261478
