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

Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Marcelo Forets; Stefan Mitsch; Christian Schilling; Joris Tillet; Mark Wetzlinger

doi:10.29007/21ch

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

Luca Geretti^*, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Stefan Mitsch, Christian Schilling, Joris Tillet, Mark Wetzlinger

^*Kontaktforfatter

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

11 Downloads (Pure)

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 2024. This year, 5 tools participated: Ariadne, CORA, DynIbex, JuliaReach and KeYmaera X (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.

Originalsprog	Engelsk
Titel	Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Antal sider	25
Forlag	EasyChair
Publikationsdato	2024
Sider	39-63
DOI	https://doi.org/10.29007/21ch
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/21chLicens: CC BY-NC-ND 4.0

Open Access articleForlagets udgivne version, 1,87 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

Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Forets, M., Mitsch, S., Schilling, C., Tillet, J., & Wetzlinger, M. (2024). ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. I Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems (s. 39-63). EasyChair. https://doi.org/10.29007/21ch

@inproceedings{324a4ec91b234969969be00b231f0a89,

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

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 2024. This year, 5 tools participated: Ariadne, CORA, DynIbex, JuliaReach and KeYmaera X (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.",

keywords = "Continuous systems, Formal methods, Hybrid systems, Nonlinear dynamics, Reachability analysis, Verification",

author = "Luca Geretti and Sandretto, {Julien Alexandre Dit} and Matthias Althoff and Luis Benet and Pieter Collins and Marcelo Forets and Stefan Mitsch and Christian Schilling and Joris Tillet 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/21ch",

language = "English",

series = "EPiC Series in Computing",

publisher = "EasyChair",

pages = "39--63",

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

}

Geretti, L, Sandretto, JAD, Althoff, M, Benet, L, Collins, P, Forets, M, Mitsch, S, Schilling, C, Tillet, J & Wetzlinger, M 2024, ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. i Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. EasyChair, EPiC Series in Computing, bind 103, s. 39-63, 11th International Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH-COMP 2024, Boulder, USA, 03/07/2024. https://doi.org/10.29007/21ch

ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. / Geretti, Luca; Sandretto, Julien Alexandre Dit; Althoff, Matthias et al.
Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. EasyChair, 2024. s. 39-63 (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 - Geretti, Luca

AU - Sandretto, Julien Alexandre Dit

AU - Althoff, Matthias

AU - Benet, Luis

AU - Collins, Pieter

AU - Forets, Marcelo

AU - Mitsch, Stefan

AU - Schilling, Christian

AU - Tillet, Joris

AU - Wetzlinger, Mark

PY - 2024

Y1 - 2024

N2 - 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 2024. This year, 5 tools participated: Ariadne, CORA, DynIbex, JuliaReach and KeYmaera X (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.

AB - 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 2024. This year, 5 tools participated: Ariadne, CORA, DynIbex, JuliaReach and KeYmaera X (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.

KW - Continuous systems

KW - Formal methods

KW - Hybrid systems

KW - Nonlinear dynamics

KW - Reachability analysis

KW - Verification

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

U2 - 10.29007/21ch

DO - 10.29007/21ch

M3 - Article in proceeding

AN - SCOPUS:85207833845

T3 - EPiC Series in Computing

SP - 39

EP - 63

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

PB - EasyChair

Y2 - 3 July 2024 through 3 July 2024

ER -

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

Abstract

Konference

Bibliografisk note

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater