ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

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

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

Résumé

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 et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More