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

Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Uziel Linares; David P. Sanders; Christian Schilling; Mark Wetzlinger

doi:10.29007/2jw8

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

23 pages•Published: December 6, 2021

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling and Mark Wetzlinger

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.

Keyphrases: Applied verification, continuous systems, hybrid systems, nonlinear dynamics, reachability analysis

In: Goran Frehse and Matthias Althoff (editors). 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), vol 80, pages 32--54

Links:	https://easychair.org/publications/paper/GWwz
	https://doi.org/10.29007/2jw8

BibTeX entry

@inproceedings{ARCH21:ARCH_COMP21_Category_Report_Continuous,
  author    = {Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Alexandre Chapoutot and Pieter Collins and Parasara Sridhar Duggirala and Marcelo Forets and Edward Kim and Uziel Linares and David P. Sanders and Christian Schilling and Mark Wetzlinger},
  title     = {ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {32--54},
  year      = {2021},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/GWwz},
  doi       = {10.29007/2jw8}}

Download PDF Open PDF in browser