Declaration of unknowns in DAE-based hybrid system specification

Authors:
D. A. van Beek;V. Bos;J. E. Rooda
Affiliations:
Eindhoven University of Technology, Eindhoven, Netherlands;Turku Center for Computer Science, Turku, Finland;Eindhoven University of Technology, Eindhoven, Netherlands
Venue:
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Year:
2003

Citing 8
Cited 2

Differential-algebraic equations index transformations

SIAM Journal on Scientific and Statistical Computing - Telecommunication Programs at U.S. Universities
The consistent intialization of differential-algebraic systems

SIAM Journal on Scientific and Statistical Computing
Index reduction in differential-algebraic equations using dummy derivatives

SIAM Journal on Scientific Computing
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Consistent Initial Condition Calculation for Differential-Algebraic Systems

SIAM Journal on Scientific Computing
Formalisation of a production system modelling language the operational semantics of &khgr; core

Fundamenta Informaticae
Communicating sequential processes

Communications of the ACM
On Hybrid Petri Nets

Discrete Event Dynamic Systems

Simulation of systems with dynamically varying model structure

Mathematics and Computers in Simulation
Current design practice and needs in selected sectors

Embedded Systems Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

The majority of hybrid languages are based on the assumption that discontinuities in differential variables at discrete events are modeled by explicit mappings. When there are algebraic equations restricting the allowed new values of the differential variables, explicit remapping of differential variables forces the modeler to solve the algebraic equations. To overcome this difficulty, hybrid languages use many different language elements. This article shows that only one language element is needed for this purpose: an unknown declaration, which allows the explicit declaration of a variable as unknown. The syntax and semantics of unknown declarations are discussed. Examples are given, using the Chi language, in which unknown declarations are used for modeling multi-body collision, steady-state initialization, and consistent initialization of higher index systems. It is also illustrated how the declaration of unknowns can help to clarify the structure of the system of equations, and how it can help the modeler detect structurally singular systems of equations.