Foundations of a compositional interchange format for hybrid systems

D.A. Beek, van; M.A. Reniers; R.R.H. Schiffelers; J.E. Rooda

doi:10.1007/978-3-540-71493-4_45

Foundations of a compositional interchange format for hybrid systems

D.A. Beek, van, M.A. Reniers, R.R.H. Schiffelers, J.E. Rooda

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

29 Citations (Scopus)

Abstract

A compositional interchange format for hybrid systems is defined in terms of an interchange automaton, allowing arbitrary differential algebraic equations, including fully implicit or switched DAEs, discrete, continuous and algebraic variables, that can be internal or external, urgency conditions, and operators for parallel composition, action hiding, variable hiding and urgent actions. Its compositional semantics is formally defined in terms of a hybrid transition system. This allows development of transformations to and from other formalisms that can be proven to preserve essential properties, and it allows a clear separation between the mathematical meaning of a model and implementation aspects such as algorithms used for solving differential algebraic equations.

Original language	English
Title of host publication	Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy
Editors	A. Bemporad, A. Bicchi, G. Buttazzo, G.C. Buttazzo
Place of Publication	Berlin
Publisher	Springer
Pages	587-600
ISBN (Print)	978-3-540-71492-7
DOIs	https://doi.org/10.1007/978-3-540-71493-4_45
Publication status	Published - 2007
Event	10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007) - Pisa, Italy Duration: 3 Apr 2007 → 5 Apr 2007 Conference number: 10 http://cse.lab.imtlucca.it/~bemporad/hybrid/hscc07/

Publication series

Name	Lecture Notes in Computer Science
Volume	4416
ISSN (Print)	0302-9743

Conference

Conference	10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007)
Abbreviated title	HSCC 2007
Country/Territory	Italy
City	Pisa
Period	3/04/07 → 5/04/07
Internet address	http://cse.lab.imtlucca.it/~bemporad/hybrid/hscc07/

Access to Document

10.1007/978-3-540-71493-4_45

Cite this

Beek, van, D. A., Reniers, M. A., Schiffelers, R. R. H., & Rooda, J. E. (2007). Foundations of a compositional interchange format for hybrid systems. In A. Bemporad, A. Bicchi, G. Buttazzo, & G. C. Buttazzo (Eds.), Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy (pp. 587-600). (Lecture Notes in Computer Science; Vol. 4416). Springer. https://doi.org/10.1007/978-3-540-71493-4_45

Beek, van, D.A. ; Reniers, M.A. ; Schiffelers, R.R.H. et al. / Foundations of a compositional interchange format for hybrid systems. Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy. editor / A. Bemporad ; A. Bicchi ; G. Buttazzo ; G.C. Buttazzo. Berlin : Springer, 2007. pp. 587-600 (Lecture Notes in Computer Science).

@inproceedings{f2a52bdb3dd14cc3b142330344069d06,

title = "Foundations of a compositional interchange format for hybrid systems",

abstract = "A compositional interchange format for hybrid systems is defined in terms of an interchange automaton, allowing arbitrary differential algebraic equations, including fully implicit or switched DAEs, discrete, continuous and algebraic variables, that can be internal or external, urgency conditions, and operators for parallel composition, action hiding, variable hiding and urgent actions. Its compositional semantics is formally defined in terms of a hybrid transition system. This allows development of transformations to and from other formalisms that can be proven to preserve essential properties, and it allows a clear separation between the mathematical meaning of a model and implementation aspects such as algorithms used for solving differential algebraic equations.",

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

year = "2007",

doi = "10.1007/978-3-540-71493-4_45",

language = "English",

isbn = "978-3-540-71492-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "587--600",

editor = "A. Bemporad and A. Bicchi and G. Buttazzo and G.C. Buttazzo",

booktitle = "Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy",

address = "Germany",

note = "10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007), HSCC 2007 ; Conference date: 03-04-2007 Through 05-04-2007",

url = "http://cse.lab.imtlucca.it/~bemporad/hybrid/hscc07/",

}

Beek, van, DA , Reniers, MA, Schiffelers, RRH & Rooda, JE 2007, Foundations of a compositional interchange format for hybrid systems. in A Bemporad, A Bicchi, G Buttazzo & GC Buttazzo (eds), Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy. Lecture Notes in Computer Science, vol. 4416, Springer, Berlin, pp. 587-600, 10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007), Pisa, Italy, 3/04/07. https://doi.org/10.1007/978-3-540-71493-4_45

Foundations of a compositional interchange format for hybrid systems. / Beek, van, D.A.; Reniers, M.A.; Schiffelers, R.R.H. et al.
Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy. ed. / A. Bemporad; A. Bicchi; G. Buttazzo; G.C. Buttazzo. Berlin: Springer, 2007. p. 587-600 (Lecture Notes in Computer Science; Vol. 4416).

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

TY - GEN

T1 - Foundations of a compositional interchange format for hybrid systems

AU - Beek, van, D.A.

AU - Reniers, M.A.

AU - Schiffelers, R.R.H.

AU - Rooda, J.E.

N1 - Conference code: 10

PY - 2007

Y1 - 2007

N2 - A compositional interchange format for hybrid systems is defined in terms of an interchange automaton, allowing arbitrary differential algebraic equations, including fully implicit or switched DAEs, discrete, continuous and algebraic variables, that can be internal or external, urgency conditions, and operators for parallel composition, action hiding, variable hiding and urgent actions. Its compositional semantics is formally defined in terms of a hybrid transition system. This allows development of transformations to and from other formalisms that can be proven to preserve essential properties, and it allows a clear separation between the mathematical meaning of a model and implementation aspects such as algorithms used for solving differential algebraic equations.

AB - A compositional interchange format for hybrid systems is defined in terms of an interchange automaton, allowing arbitrary differential algebraic equations, including fully implicit or switched DAEs, discrete, continuous and algebraic variables, that can be internal or external, urgency conditions, and operators for parallel composition, action hiding, variable hiding and urgent actions. Its compositional semantics is formally defined in terms of a hybrid transition system. This allows development of transformations to and from other formalisms that can be proven to preserve essential properties, and it allows a clear separation between the mathematical meaning of a model and implementation aspects such as algorithms used for solving differential algebraic equations.

U2 - 10.1007/978-3-540-71493-4_45

DO - 10.1007/978-3-540-71493-4_45

M3 - Conference contribution

SN - 978-3-540-71492-7

T3 - Lecture Notes in Computer Science

SP - 587

EP - 600

BT - Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy

A2 - Bemporad, A.

A2 - Bicchi, A.

A2 - Buttazzo, G.

A2 - Buttazzo, G.C.

PB - Springer

CY - Berlin

T2 - 10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007)

Y2 - 3 April 2007 through 5 April 2007

ER -

Beek, van DA , Reniers MA, Schiffelers RRH, Rooda JE. Foundations of a compositional interchange format for hybrid systems. In Bemporad A, Bicchi A, Buttazzo G, Buttazzo GC, editors, Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy. Berlin: Springer. 2007. p. 587-600. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-71493-4_45

Foundations of a compositional interchange format for hybrid systems

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this