Download PDFOpen PDF in browser

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

27 pagesPublished: December 13, 2022

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 2022. This year, 6 tools Ariadne, CORA, DynIbex, JuliaReach, Kaa and KeYmaera X (in alphabetic order) participated. These tools are applied to solve reachability analysis problems on six 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.

Keyphrases: dynamical systems, formal verification, hybrid systems, nonlinear systems, tools

In: Goran Frehse, Matthias Althoff, Erwin Schoitsch and Jeremie Guiochet (editors). Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), vol 90, pages 86--112

Links:
BibTeX entry
@inproceedings{ARCH22:ARCH_COMP22_Category_Report_Continuous,
  author    = {Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Pieter Collins and Parasara Duggirala and Marcelo Forets and Edward Kim and Stefan Mitsch and Christian Schilling and Mark Wetzlinger},
  title     = {ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
  booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
  editor    = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
  series    = {EPiC Series in Computing},
  volume    = {90},
  pages     = {86--112},
  year      = {2022},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/JrQ4},
  doi       = {10.29007/fnzc}}
Download PDFOpen PDF in browser