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

Matthias Althoff; Marcelo Forets; Christian Schilling; Mark Wetzlinger

doi:10.29007/7xf3

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

Matthias Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger

Informatics 6 - Associate Professorship of Cyber Physical Systems

Research output: Contribution to journal › Conference article › peer-review

Abstract

We present the results of the ARCH¹ 2024 friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. In its eighth edition, two tools participated to solve eight 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.

Original language	English
Pages (from-to)	15-38
Number of pages	24
Journal	EPiC Series in Computing
Volume	103
DOIs	https://doi.org/10.29007/7xf3
State	Published - 2024
Event	11th International Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH-COMP 2024 - Boulder, United States Duration: 3 Jul 2024 → 3 Jul 2024

Keywords

arch comp
cora
hybrid systems
juliareach
linear continuous dynamics

Access to Document

10.29007/7xf3

Cite this

@article{a6dc0ca5a3254acbbe3711ef479a42d5,

title = "ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics",

abstract = "We present the results of the ARCH1 2024 friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. In its eighth edition, two tools participated to solve eight 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.",

keywords = "arch comp, cora, hybrid systems, juliareach, linear continuous dynamics",

author = "Matthias Althoff and Marcelo Forets and Christian Schilling and Mark Wetzlinger",

note = "Publisher Copyright: {\textcopyright} 2024, EasyChair. All rights reserved.; 11th International Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH-COMP 2024 ; Conference date: 03-07-2024 Through 03-07-2024",

year = "2024",

doi = "10.29007/7xf3",

language = "English",

volume = "103",

pages = "15--38",

journal = "EPiC Series in Computing",

issn = "2398-7340",

publisher = "EasyChair",

}

TY - JOUR

T1 - ARCH-COMP24 Category Report

T2 - 11th International Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH-COMP 2024

AU - Althoff, Matthias

AU - Forets, Marcelo

AU - Schilling, Christian

AU - Wetzlinger, Mark

PY - 2024

Y1 - 2024

N2 - We present the results of the ARCH1 2024 friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. In its eighth edition, two tools participated to solve eight 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.

AB - We present the results of the ARCH1 2024 friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. In its eighth edition, two tools participated to solve eight 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.

KW - arch comp

KW - cora

KW - hybrid systems

KW - juliareach

KW - linear continuous dynamics

UR - http://www.scopus.com/inward/record.url?scp=85207831983&partnerID=8YFLogxK

U2 - 10.29007/7xf3

DO - 10.29007/7xf3

M3 - Conference article

AN - SCOPUS:85207831983

SN - 2398-7340

VL - 103

SP - 15

EP - 38

JO - EPiC Series in Computing

JF - EPiC Series in Computing

Y2 - 3 July 2024 through 3 July 2024

ER -

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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this