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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

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.
Originele taal-2Engels
TitelProceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003)
RedacteurenS. Engell, H. Gueguen, J. Zaytoon
UitgeverijElsevier
Pagina's235-240
ISBN van geprinte versie0-08-044094-0
StatusGepubliceerd - 2003

Vingerafdruk

Duik in de onderzoeksthema's van 'A hybrid language for modeling, simulation and verification'. Samen vormen ze een unieke vingerafdruk.

Citeer dit