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

Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Marcelo Forets; Elena Ivanova; Yangge Li; Sayan Mitra; Stefan Mitsch; Christian Schilling; Mark Wetzlinger; Daniel Zhuang

doi:10.29007/93f2

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

28 pages•Published: October 18, 2023

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger and Daniel Zhuang

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 2023. This year, 6 tools participated: Ariadne, CORA, DynIbex, JuliaReach, KeYmaera X and Verse (in alphabetic order). 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: continuous systems, formal methods, hybrid systems, nonlinear dynamics, reachability analysis, verification

In: Goran Frehse and Matthias Althoff (editors). Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), vol 96, pages 61--88

Links:	https://easychair.org/publications/paper/T7LG
	https://doi.org/10.29007/93f2

BibTeX entry

@inproceedings{ARCH23:ARCH_COMP23_Category_Report_Continuous,
  author    = {Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Pieter Collins and Marcelo Forets and Elena Ivanova and Yangge Li and Sayan Mitra and Stefan Mitsch and Christian Schilling and Mark Wetzlinger and Daniel Zhuang},
  title     = {ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
  booktitle = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {96},
  pages     = {61--88},
  year      = {2023},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/T7LG},
  doi       = {10.29007/93f2}}

Download PDF Open PDF in browser