Foundations of a compositional interchange format for hybrid systems

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

28 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy
RedacteurenA. Bemporad, A. Bicchi, G. Buttazzo, G.C. Buttazzo
Plaats van productieBerlin
UitgeverijSpringer
Pagina's587-600
ISBN van geprinte versie978-3-540-71492-7
DOI's
StatusGepubliceerd - 2007
Evenement10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007) - Pisa, Italië
Duur: 3 apr 20075 apr 2007
Congresnummer: 10
http://cse.lab.imtlucca.it/~bemporad/hybrid/hscc07/

Publicatie series

NaamLecture Notes in Computer Science
Volume4416
ISSN van geprinte versie0302-9743

Congres

Congres10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007)
Verkorte titelHSCC 2007
LandItalië
StadPisa
Periode3/04/075/04/07
AnderHSCC 2007, Pisa, Italy
Internet adres

Vingerafdruk Duik in de onderzoeksthema's van 'Foundations of a compositional interchange format for hybrid systems'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    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 (editors), Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy (blz. 587-600). (Lecture Notes in Computer Science; Vol. 4416). Springer. https://doi.org/10.1007/978-3-540-71493-4_45