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

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

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

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.

Original language	English
Title of host publication	Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003)
Editors	S. Engell, H. Gueguen, J. Zaytoon
Publisher	Elsevier
Pages	235-240
ISBN (Print)	0-08-044094-0
Publication status	Published - 2003

Cite this

@inproceedings{bffcf48a4e3d4dd4b3d8d0d0387e9bb7,

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

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

author = "R.R.H. Schiffelers and {Beek, van}, D.A. and K.L. Man and M.A. Reniers and J.E. Rooda",

year = "2003",

language = "English",

isbn = "0-08-044094-0",

pages = "235--240",

editor = "S. Engell and H. Gueguen and J. Zaytoon",

booktitle = "Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003)",

publisher = "Elsevier",

address = "Netherlands",

}

A hybrid language for modeling, simulation and verification. / Schiffelers, R.R.H.; Beek, van, D.A.; Man, K.L. et al.
Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003). ed. / S. Engell; H. Gueguen; J. Zaytoon. Elsevier, 2003. p. 235-240.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A hybrid language for modeling, simulation and verification

AU - Schiffelers, R.R.H.

AU - Beek, van, D.A.

AU - Man, K.L.

AU - Reniers, M.A.

AU - Rooda, J.E.

PY - 2003

Y1 - 2003

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

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

M3 - Conference contribution

SN - 0-08-044094-0

SP - 235

EP - 240

BT - Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003)

A2 - Engell, S.

A2 - Gueguen, H.

A2 - Zaytoon, J.

PB - Elsevier

ER -

A hybrid language for modeling, simulation and verification

Abstract

Fingerprint

Cite this