TY - BOOK
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.
PY - 2006
Y1 - 2006
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, an urgency condition, 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, an urgency condition, 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.
M3 - Report
T3 - SE report
BT - Foundations of a compositional interchange format for hybrid systems
PB - Technische Universiteit Eindhoven
CY - Eindhoven
ER -