Keyword:differential-algebraic equations

Publications
A Performance Comparison of Several Lie Group Integration Methods for Solving the Equations of Constrained Multibody Dynamics Alexandra Kissel, Luning Bakke and Dan Negrut EasyChair Preprint 13546
Benchmarks for the Formal Verification of Power Systems Matthias Althoff In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Linear Differential-Algebraic Equations (Benchmark Proposal) Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran and Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems