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

doi:10.1016/S1474-6670(17)36431-5

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

Eindhoven University of Technology

Research output: Contribution to journal › Conference article › peer-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 language	English
Pages (from-to)	199-204
Number of pages	6
Journal	IFAC Proceedings Volumes (IFAC-PapersOnline)
Volume	36
Issue number	6
DOIs	https://doi.org/10.1016/S1474-6670(17)36431-5
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

Access to Document

10.1016/S1474-6670(17)36431-5

Cite this

@article{38058fa52cb4462fbd7bb42dfe4a3087,

title = "A hybrid language for modeling, simulation and verification",

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.",

keywords = "Formal languages, Formal verification, Simulation, Simulation languages",

author = "Scbiffelers, \{R. R.H.\} and \{Van Beek\}, \{D. A.\} and Man, \{K. L.\} and Reniers, \{M. A.\} and Roods, \{J. E.\}",

note = "Publisher Copyright: Copyright {\textcopyright} 2003 IFAC.; 2003 IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2003 ; Conference date: 16-06-2003 Through 18-06-2003",

year = "2003",

doi = "10.1016/S1474-6670(17)36431-5",

language = "English",

volume = "36",

pages = "199--204",

journal = "IFAC Proceedings Volumes (IFAC-PapersOnline)",

issn = "1474-6670",

number = "6",

}

TY - JOUR

T1 - A hybrid language for modeling, simulation and verification

AU - Scbiffelers, R. R.H.

AU - Van Beek, D. A.

AU - Man, K. L.

AU - Reniers, M. A.

AU - Roods, J. E.

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

KW - Formal languages

KW - Formal verification

KW - Simulation

KW - Simulation languages

UR - https://www.scopus.com/pages/publications/85064529437

U2 - 10.1016/S1474-6670(17)36431-5

DO - 10.1016/S1474-6670(17)36431-5

M3 - Conference article

AN - SCOPUS:85064529437

SN - 1474-6670

VL - 36

SP - 199

EP - 204

JO - IFAC Proceedings Volumes (IFAC-PapersOnline)

JF - IFAC Proceedings Volumes (IFAC-PapersOnline)

IS - 6

T2 - 2003 IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2003

Y2 - 16 June 2003 through 18 June 2003

ER -

A hybrid language for modeling, simulation and verification

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this