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 language | English |
---|---|
Pages (from-to) | 199-204 |
Number of pages | 6 |
Journal | IFAC Proceedings Volumes (IFAC-PapersOnline) |
Volume | 36 |
Issue number | 6 |
DOIs | |
Publication status | Published - 2003 |
Externally published | Yes |
Event | 2003 IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2003 - St Malo, Brittany, France Duration: 16 Jun 2003 → 18 Jun 2003 |
Keywords
- Formal languages
- Formal verification
- Simulation
- Simulation languages