|
Differential algabraic equations (DAEs) are a generalised form of Differential equation. They can be written In mathematics, a differential equation is an equation in which the derivatives of a function appear as variables. ...
where - x, a vector in Rn, are variables for which derivatives are present (differential variables),
- y, a vector in Rm, are variables for which no derivatives are present (algebraic variables),
- t, a scalar (usually time) is a independent variable
The set of DAEs is Initial conditions be a solution of the system of equations, such that Physical systems are often readily specified in terms of DAEs, and software can be used to attempt to solve these problems. Such software includes Modelica, ABACUSS, EMSO, Sim42 and others. The object-oriented modeling language Modelica is designed to allow convenient, component-oriented modeling of complex systems, , systems containing mechanical, electrical, electronic, hydraulic, thermal, control, electric power or process-oriented subcomponents. ...
EMSO is the existential fragment of monadic second-order logic (MSO). ...
A major problem in the solution of DAEs is the problem of index reduction. Most numerical solvers require ordinary differential equations of the form: In mathematics, a differential equation is an equation that describes a prescribed relationship between a set of unknowns which are to be regarded as an unknown function and its (ordinary or partial) derivatives. ...
However it is a non-trivial task to convert arbitrary DAE systems into ODEs. Techniques which can be employed include Pantelides algorithm' and dummy variable substitution. For more information, try |