Hybrid dynamic systems: relating Chi to hybrid automata

Authors:
Bert van Beek;Niek G. Jansen;Koos E. Rooda;Ramon R. H. Schiffelers;Ka L. Man;Michel A. Reniers
Affiliations:
Eindhoven University of Technology, MB, Eindhoven, The Netherlands;Eindhoven University of Technology, MB, Eindhoven, The Netherlands;Eindhoven University of Technology, MB, Eindhoven, The Netherlands;Eindhoven University of Technology, MB, Eindhoven, The Netherlands;Eindhoven University of Technology, MB, Eindhoven, The Netherlands;Eindhoven University of Technology, MB, Eindhoven, The Netherlands
Venue:
Proceedings of the 35th conference on Winter simulation: driving innovation
Year:
2003

Citing 6
Cited 1

From CSP to hybrid systems

A classical mind
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
A formal description of hybrid systems

Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Hierarchical Hybrid Modeling of Embedded Systems

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Hybrid I/O Automata

Hybrid I/O Automata

Relating Hybrid Chi to Other Formalisms

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.