A hybrid language for modeling, simulation and verification

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

    Schiffelers, R. R. H., Beek, van, D. A., Man, K. L., Reniers, M. A., & Rooda, J. E. (2003). A hybrid language for modeling, simulation and verification. In S. Engell, H. Gueguen, & J. Zaytoon (editors), Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003) (blz. 235-240). Elsevier.