User Tools

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

vanbeek:tomacs03 [Wednesday, 19 March 2008 : 15:56:32] (current)
Line 1: Line 1:
 +===== Declaration of unknowns in DAE-based hybrid system specification ====
 +//D.A. van Beek, V. Bos, J.E. Rooda//
 +The majority of hybrid languages is 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 paper shows that only one language element is needed for this
 +purpose: an unknown declaration,​ that 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.
 +//ACM Transactions on Modeling and Computer Simulation//,​ vol. 13, no. 1, 1-23, 2003.
vanbeek/tomacs03.txt · Last modified: Wednesday, 19 March 2008 : 15:56:32 (external edit)