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

^*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

15 Downloads (Pure)

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.

Originalsprog	Engelsk
Titel	Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Redaktører	Goran Frehse, Matthias Althoff
Antal sider	24
Forlag	EasyChair
Publikationsdato	2024
Sider	15-38
DOI	https://doi.org/10.29007/7xf3
Status	Udgivet - 2024
Begivenhed	11th International Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH-COMP 2024 - Boulder, USA Varighed: 3 jul. 2024 → 3 jul. 2024

Konference

Konference	11th International Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH-COMP 2024
Land/Område	USA
By	Boulder
Periode	03/07/2024 → 03/07/2024

Navn	EPiC Series in Computing
Vol/bind	103

Bibliografisk note

Publisher Copyright:
© 2024, EasyChair. All rights reserved.

Adgang til dokumentet

10.29007/7xf3Licens: CC BY-NC-ND 4.0

Open Access articleForlagets udgivne version, 1,63 MBLicens: CC BY-NC-ND 4.0

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

@inproceedings{e2625e36f0e447b6b97991fc55613d71,

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

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.",

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",

series = "EPiC Series in Computing",

publisher = "EasyChair",

pages = "15--38",

editor = "Goran Frehse and Matthias Althoff",

booktitle = "Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems",

}

Althoff, M, Forets, M, Schilling, C & Wetzlinger, M 2024, ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. i G Frehse & M Althoff (red), Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. EasyChair, EPiC Series in Computing, bind 103, s. 15-38, 11th International Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH-COMP 2024, Boulder, USA, 03/07/2024. https://doi.org/10.29007/7xf3

ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. / Althoff, Matthias; Forets, Marcelo; Schilling, Christian et al.
Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. red. / Goran Frehse; Matthias Althoff. EasyChair, 2024. s. 15-38 (EPiC Series in Computing, Bind 103).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

TY - GEN

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 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.

AB - 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.

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 - Article in proceeding

AN - SCOPUS:85207831983

T3 - EPiC Series in Computing

SP - 15

EP - 38

BT - Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems

A2 - Frehse, Goran

A2 - Althoff, Matthias

PB - EasyChair

Y2 - 3 July 2024 through 3 July 2024

ER -

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

Abstract

Konference

Bibliografisk note

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater