Relating Hybrid Chi to Other Formalisms | Zendy

D.A. van Beek | Zendy; J.E. Rooda | Zendy; R.R.H. Schiffelers | Zendy; K.L. Man | Zendy; Michel Reniers | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Relating Hybrid Chi to Other Formalisms

Author(s) -

D.A. van Beek,

J.E. Rooda,

R.R.H. Schiffelers,

K.L. Man,

Michel Reniers

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.09.041

Subject(s) - rotation formalisms in three dimensions , automaton , hybrid system , computer science , formalism (music) , translation (biology) , automata theory , theoretical computer science , hybrid automaton , algorithm , mathematics , art , musical , biochemistry , chemistry , geometry , machine learning , messenger rna , visual arts , gene

The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. In this paper, we first provide an overview of χ. Then, the χ formalism is related to other formalisms by means of translation schemes: a translation scheme from continuous-time PWA systems to χ, a translation scheme from discrete-time PWA systems to χ, and a translation scheme from hybrid automata to χ. In order to be able to use existing model checkers that use hybrid automata like input languages, we developed and implemented a translation scheme from a subset of χ to hybrid automata. To illustrate this approach, a case study has been performed: a water level monitor has been modeled using χ. Using the implemented translation scheme from χ to hybrid automata, we obtain a hybrid automata model for the water level monitor. From this model, code that can be used as input for the model checker PHAVer is generated

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research