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

Volume

1

fYear

2003

fDate

7-10 Dec. 2003

Firstpage

632

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Simulation Conference, 2003. Proceedings of the 2003 Winter

Print_ISBN

0-7803-8131-9

Type

conf

DOI

10.1109/WSC.2003.1261478

Filename

1261478