HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.