An algebraic framework for urgency
Information and Computation
Introduction to Physical Modeling with Modelica
Introduction to Physical Modeling with Modelica
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Information and Computation
Specifying Urgency in Timed I/O Automata
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Interchange format for hybrid systems: abstract semantics
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
PHAVer: algorithmic verification of hybrid systems past hytech
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Brief Equivalence of hybrid dynamical models
Automatica (Journal of IFAC)
Compositional Abstraction in Real-Time Model Checking
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Reconciling urgency and variable abstraction in a hybrid compositional setting
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Rigorous discretization of hybrid systems using process calculi
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Semantics and Computability of the Evolution of Hybrid Systems
SIAM Journal on Control and Optimization
The hierarchical compositional interchange format
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Formalizing a domain specific language using SOS: an industrial case study
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation
Journal of Electronic Testing: Theory and Applications
Hi-index | 0.00 |
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.