Symbolic-Numeric Methods for Improving Structural Analysis of Differential-Algebraic Equation Systems

  • Guangning Tan
  • Nedialko S. Nedialkov
  • John D. Pryce
Conference paper

Abstract

Systems of differential-algebraic equations (DAEs) are generated routinely by simulation and modeling environments, such as MapleSim and those based on the Modelica language. Before a simulation starts and a numerical method is applied, some kind of structural analysis is performed to determine which equations to be differentiated, and how many times. Both Pantelides’s algorithm and Pryce’s Σ-method are equivalent in the sense that, if one method succeeds in finding the correct index and producing a nonsingular Jacobian for a numerical solution procedure, then the other does also. Such a success occurs on many problems of interest, but these structural analysis methods can fail on simple, solvable DAEs and give incorrect structural information including the index. This article investigates Σ-method’s failures and presents two symbolic-numeric conversion methods for fixing them. Both methods convert a DAE on which the Σ-method fails to a DAE on which this SA may succeed.

Notes

Acknowledgements

The authors acknowledge with thanks the financial support for this research: GT is supported in part by the Ontario Research Fund, Canada, NSN is supported in part by the Natural Sciences and Engineering Research Council of Canada, and JDP is supported in part by the Leverhulme Trust, the UK.

References

  1. 1.
    Brenan, K., Campbell, S., Petzold, L.: Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations, 2nd edn. SIAM, Philadelphia (1996)MATHGoogle Scholar
  2. 2.
    Campbell, S.L., Griepentrog, E.: Solvability of general differential-algebraic equations. SIAM J. Sci. Comput. 16 (2), 257–270 (1995)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Mattsson, S.E., Söderlind, G.: Index reduction in differential-algebraic equations using dummy derivatives. SIAM J. Sci. Comput. 14 (3), 677–692 (1993)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Mazzia, F., Iavernaro, F.: Test set for initial value problem solvers. Technical report 40, Department of Mathematics, University of Bari (2003). http://pitagora.dm.uniba.it/~testset/
  5. 5.
    Nedialkov, N.S., Pryce, J.D.: Solving differential-algebraic equations by Taylor series (I): computing Taylor coefficients. BIT Numer. Math. 45 (3), 561–591 (2005)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Nedialkov, N.S., Pryce, J.D.: Solving differential-algebraic equations by Taylor series (II): computing the system Jacobian. BIT Numer. Math. 47 (1), 121–135 (2007)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Nedialkov, N.S., Pryce, J.D.: Solving differential-algebraic equations by Taylor series (III): the DAETS code. JNAIAM J. Numer. Anal. Ind. Appl. Math. 3, 61–80 (2008)MathSciNetMATHGoogle Scholar
  8. 8.
    Nedialkov, N.S., Pryce, J.D., Tan, G.: Algorithm 948: DAESA—a Matlab tool for structural analysis of differential-algebraic equations: software. ACM Trans. Math. Softw. 41 (2), 12:1–12:14 (2015). doi:10.1145/2700586Google Scholar
  9. 9.
    Pantelides, C.: The consistent initialization of differential-algebraic systems. SIAM. J. Sci. Stat. Comput. 9, 213–231 (1988)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Pryce, J.D.: A simple structural analysis method for DAEs. BIT Numer. Math. 41 (2), 364–394 (2001)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Pryce, J.D., Nedialkov, N.S., Tan, G.: DAESA—a Matlab tool for structural analysis of differential-algebraic equations: theory. ACM Trans. Math. Softw. 41 (2), 9:1–9:20 (2015). doi:10.1145/2689664Google Scholar
  12. 12.
    Scholz, L., Steinbrecher, A.: A combined structural-algebraic approach for the regularization of coupled systems of DAEs. Technical report 30, Reihe des Instituts für Mathematik Technische Universität Berlin, Berlin (2013)Google Scholar
  13. 13.
    Tan, G., Nedialkov, N., Pryce, J.: Symbolic-numeric methods for improving structural analysis of differential-algebraic equation systems. Technical report, Department of Computing and Software, McMaster University, 1280 Main St. W., Hamilton, ON, L8S4L8, Canada (2015). 84pp. Download link:http://www.cas.mcmaster.ca/cas/0reports/CAS-15-07-NN.pdf
  14. 14.
    The MathWorks, Inc.: Matlab symbolic math toolbox (2015). https://www.mathworks.com/help/symbolic/index.html

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Guangning Tan
    • 1
  • Nedialko S. Nedialkov
    • 2
  • John D. Pryce
    • 3
  1. 1.School of Computational Science and EngineeringMcMaster UniversityHamiltonCanada
  2. 2.Department of Computing and SoftwareMcMaster UniversityHamiltonCanada
  3. 3.School of MathematicsCardiff UniversityCardiffUK

Personalised recommendations