Linear Differential-Algebraic Equations (Benchmark Proposal)

Abstract

This benchmark suite consists of eight small-to-large scale index-1 to index-3 linear differential algebraic systems (DAEs) derived from various application domains in engineering and science that exemplify the systemic prevalence of DAE systems in cyber-physical system applications. While in the last two decades numerous verification approaches and tools have been developed for systems described by ordinary differential equations, there is currently a lack of research methods for differential algebraic equations. Thus, the verification of DAE systems remains an open problem that has not been adequately addressed in the research literature. The following paper seeks to address this shortcoming by presenting a series of benchmark problems to stimulate the development of efficient and scalable tools for DAE verification and falsification. The benchmark models presented in this manuscript are available in the SpaceEx format using a tool named Daev for model generation.