This paper describes an algorithm that detects such redundant equations and determines if they are consistent or not. Consistent redundant initial equations can thus be removed automatically; and inconsistent ones can be reported to the modeler. The algorithm is implemented in OpenModelica; tested on several representative cases; and compared to previously presented concepts.
Keywords: Initialization; higher-index; simulation; over-constrained
Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden
[1] B. Bachmann, P. Aronsson, P. Fritzson, "Robust Initialization of Differential-Algebraic Equations", In Proceedings 5th International Modelica Conference, Vienna, Austria, Sep. 4-5, 2006, pp. 607-614
[2] L. Ochel, B. Bachmann, "Initialization of Equation-Based Hybrid Models within Open-Modelica", In EOOLT 2013 Proceedings, Nottingham, UK, April 19, 2013, pp. 97-103
[3] C.C. Pantelides, The Consistent Initialization of Differential-algebraic Systems. SIAM Journal on Scientific and Statistical Computing, Vol. 9, No. 2, 1988
[4] S.E. Mattsson, G. Söderlind, Index Reduction in Differential-algebraic Equations Using Dummy Derivatives. SIAM Journal on Scientific Computing, Vol. 14, No. 3, 1993
[5] R. Tarjan, Depth-first search and linear graph algorithms. SIAM Journal on Computation, Vol. 1, No. 2, 1972
[6] F.E. Cellier, E. Kofman, Continuous System Simulation, Springer, 2006