Relating Chi to hybrid automata

Bert Van Beck; Niek G. Jausen; Koos E. Rooda; Ramon R.H. Schiffelers; Ka L. Man; Michel A. Reniers

Relating Chi to hybrid automata

Bert Van Beck^*
, Niek G. Jausen
, Koos E. Rooda
, Ramon R.H. Schiffelers
, Ka L. Man
, Michel A. Reniers

^*Corresponding author for this work

Eindhoven University of Technology

Research output: Contribution to journal › Conference article › peer-review

4 Citations (Scopus)

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

Cite this

@article{e3f3bfb564f741a38aebe3c8b9927164,

title = "Relating Chi to hybrid automata",

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.",

author = "\{Van Beck\}, Bert and Jausen, \{Niek G.\} and Rooda, \{Koos E.\} and Schiffelers, \{Ramon R.H.\} and Man, \{Ka L.\} and Reniers, \{Michel A.\}",

year = "2003",

language = "English",

volume = "1",

pages = "632--640",

journal = "Winter Simulation Conference Proceedings",

issn = "0275-0708",

note = "Proceedings of the 2003 Winter Simulation Conference: Driving Innovation ; Conference date: 07-12-2003 Through 10-12-2003",

}

TY - JOUR

T1 - Relating Chi to hybrid automata

AU - Van Beck, Bert

AU - Jausen, Niek G.

AU - Rooda, Koos E.

AU - Schiffelers, Ramon R.H.

AU - Man, Ka L.

AU - Reniers, Michel A.

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/1642438268

M3 - Conference article

AN - SCOPUS:1642438268

SN - 0275-0708

VL - 1

SP - 632

EP - 640

JO - Winter Simulation Conference Proceedings

JF - Winter Simulation Conference Proceedings

T2 - Proceedings of the 2003 Winter Simulation Conference: Driving Innovation

Y2 - 7 December 2003 through 10 December 2003

ER -

Relating Chi to hybrid automata

Abstract

Other files and links

Fingerprint

Cite this