Foundations of a compositional interchange format for hybrid systems

DMCA

Foundations of a compositional interchange format for hybrid systems (2006)

Cached

Download Links

Other Repositories/Bibliography

DBLP

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

Citations:

9 - 5 self

BibTeX

@TECHREPORT{Beek06foundationsof,
    author = {D. A. Van Beek and M. A. Reniers and R. R. H. Schiffelers and J. E. Rooda},
    title = {Foundations of a compositional interchange format for hybrid systems},
    institution = {},
    year = {2006}
}

OpenURL

Abstract

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

Keyphrases

hybrid system compositional interchange format clear separation variable hiding differential algebraic equation urgent action urgency condition compositional semantics action hiding mathematical meaning essential property switched daes arbitrary differential algebraic equation algebraic variable implementation aspect parallel composition interchange automaton hybrid transition system

DMCA