A hybrid language for modeling, simulation and verification

R. R.H. Scbiffelers, D. A. Van Beek, K. L. Man, M. A. Reniers, J. E. Roods

Research output: Contribution to journalConference articlepeer-review

2 Citations (Scopus)

Abstract

The x 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 x 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 die other statements.

Original languageEnglish
Pages (from-to)199-204
Number of pages6
JournalIFAC Proceedings Volumes (IFAC-PapersOnline)
Volume36
Issue number6
DOIs
Publication statusPublished - 2003
Externally publishedYes
Event2003 IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2003 - St Malo, Brittany, France
Duration: 16 Jun 200318 Jun 2003

Keywords

  • Formal languages
  • Formal verification
  • Simulation
  • Simulation languages

Cite this