A hybrid language for modeling, simulation and verification

R.R.H. Schiffelers, D.A. Beek, van, K.L. Man, M.A. Reniers, J.E. Rooda

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


The ¿ language is a hybrid language for modeling, simulation and verification. As a result of the recently completed formal semantics, the language now consists of a number of orthogonal operators that operate on all process terms, including differential algebraic equations. The same ¿ model can be used for simulation and verification. Verification is possible after a straightforward syntactical translation of the model. Simulation related information is clearly separated from the other statements.
Original languageEnglish
Title of host publicationProceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003)
EditorsS. Engell, H. Gueguen, J. Zaytoon
ISBN (Print)0-08-044094-0
Publication statusPublished - 2003


Dive into the research topics of 'A hybrid language for modeling, simulation and verification'. Together they form a unique fingerprint.

Cite this