Relating Hybrid Chi to other formalisms

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005) 29 November 2005, Eindhoven, The Netherlands
EditorsJ. Romijn, G. Smith, J. Pol, van de
Pages85-113
DOIs
Publication statusPublished - 2007
Eventconference; Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005) Eindhoven, The Netherlands; 2005-11-29; 2005-11-29 -
Duration: 29 Nov 200529 Nov 2005

Publication series

NameElectronic Notes in Theoretical Computer Science
Volume191
ISSN (Print)1571-0061

Conference

Conferenceconference; Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005) Eindhoven, The Netherlands; 2005-11-29; 2005-11-29
Period29/11/0529/11/05
OtherDoctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005) Eindhoven, The Netherlands

Fingerprint Dive into the research topics of 'Relating Hybrid Chi to other formalisms'. Together they form a unique fingerprint.

  • Cite this

    Beek, van, D. A., Rooda, J. E., Schiffelers, R. R. H., Man, K. L., & Reniers, M. A. (2007). Relating Hybrid Chi to other formalisms. In J. Romijn, G. Smith, & J. Pol, van de (Eds.), Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005) 29 November 2005, Eindhoven, The Netherlands (pp. 85-113). (Electronic Notes in Theoretical Computer Science; Vol. 191). https://doi.org/10.1016/j.entcs.2006.09.041