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

Matthias Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger

Research output: Contribution to journalConference articlepeer-review

3 Scopus citations

Abstract

We present the results of the ARCH1 2022 friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. In its sixth edition, two tools have been applied to solve nine different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA and JuliaReach. This report is a snapshot of the current landscape of tools and the types of benchmarks they are particularly suited for. Due to the diversity of problems, we are not ranking tools, yet the presented results provide one of the most complete assessments of tools for the safety verification of continuous and hybrid systems with linear continuous dynamics up to this date.

Original languageEnglish
Pages (from-to)58-85
Number of pages28
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 Linear Continuous Dynamics'. Together they form a unique fingerprint.

Cite this