A hybrid language for modeling, simulation and verification

Authors :: Schiffelers, R.R.H.
Beek, van, D.A.
Man, K.L.
Reniers, M.A.
Rooda, J.E.
Engell, S.
Gueguen, H.
Zaytoon, J.
Formal System Analysis
Source :: Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003), 235-240, STARTPAGE=235;ENDPAGE=240;TITLE=Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003)
Publication Year :: 2003
Publisher :: Elsevier, 2003.
Abstract: 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.

Subjects :: Computer Science::Logic in Computer Science
Computer Science::Programming Languages
Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)

Language :: English
Database :: OpenAIRE
Journal :: Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003), 235-240, STARTPAGE=235;ENDPAGE=240;TITLE=Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003)
Accession number :: edsair.narcis........d28b5777c1352d64659a077f87b1dfae

Tools