ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Julien Alexandre Dit Sandretto (1) , Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Christophe Garion , Xavier Thirioux , Ghiles Ziat , Luca Geretti , Matthias Althoff , Luis Benet , Pieter Collins , Parasara Sridhar Duggirala , Marcelo Forets , Edward Kim , Uziel Linares , David Sanders , Christian Schilling , Mark Wetzlinger

1 U2IS - Unité d'Informatique et d'Ingénierie des Systèmes

We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2021. This year, 5 tools Ariadne, CORA, DynIbex, JuliaReach and Kaa (in alphabetic order) participated. These tools are applied to solve reachability analysis problems on five benchmark problems, two of them featuring hybrid dynamics. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools.

Domains: Computer Science [cs]; Modeling and Simulation

Julien Alexandre Dit Sandretto, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, et al.. ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩. ⟨hal-03587676⟩