ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics - ENSTA Paris - École nationale supérieure de techniques avancées Paris Access content directly
Conference Papers Year : 2021

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

Julien Alexandre Dit Sandretto
  • Function : Author
Alexandre Chapoutot
Christophe Garion
Xavier Thirioux
  • Function : Author
  • PersonId : 1271135
  • IdRef : 059654252
Ghiles Ziat
  • Function : Author
Luca Geretti
  • Function : Author
Matthias Althoff
  • Function : Author
Luis Benet
  • Function : Author
Pieter Collins
  • Function : Author
Parasara Sridhar Duggirala
  • Function : Author
Marcelo Forets
  • Function : Author
Edward Kim
Uziel Linares
  • Function : Author
David Sanders
Christian Schilling
  • Function : Author
Mark Wetzlinger
  • Function : Author

Abstract

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.

Dates and versions

hal-03587676 , version 1 (24-02-2022)

Identifiers

Cite

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⟩
26 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More