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

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger

Research output: Contribution to journalConference articlepeer-review

1 Scopus citations

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.

Original languageEnglish
Pages (from-to)86-112
Number of pages27
JournalEPiC Series in Computing
Volume90
DOIs
StatePublished - 2022
Event9th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2022 - Munich, Germany
Duration: 5 Sep 20225 Sep 2022

Fingerprint

Dive into the research topics of 'ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics'. Together they form a unique fingerprint.

Cite this