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

Luca Geretti; Julien Alexandre Dit Sandretto; Matthias  Althoff; Luis Benet; Pieter Collins; Marcelo Forets; Elena Ivanova; Yangge Li; Sayan Mitra; Stefan Mitsch; Christian Schilling; Mark Wetzlinger; Daniel Zhuang

doi:10.29007/93f2

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

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic

1 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 2023. This year, 6 tools participated: Ariadne, CORA, DynIbex, JuliaReach, KeYmaera X and Verse (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.

Original language	English
Title of host publication	Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
Pages	61-88
Number of pages	28
Volume	96
DOIs	https://doi.org/10.29007/93f2
Publication status	Published - 18 Oct 2023
Event	10th International Workshop on Applied Verification of Continuous and Hybrid Systems - San Antonio, United States Duration: 9 May 2023 → 9 May 2023 https://cps-vo.org/group/ARCH/Archive

Publication series

Series	EPiC Series in Computing
ISSN	2398-7340

Conference

Conference	10th International Workshop on Applied Verification of Continuous and Hybrid Systems
Abbreviated title	ARCH23
Country/Territory	United States
City	San Antonio
Period	9/05/23 → 9/05/23
Internet address	https://cps-vo.org/group/ARCH/Archive

Access to Document

10.29007/93f2

https://easychair.org/publications/download/T7LG

Embargoed Document

Full Text
Final published version, 2.11 MB
Licence: Taverne
Embargo ends: 18/10/24
Request copy

Cite this

Geretti, L., Dit Sandretto, J. A., Althoff, M., Benet, L., Collins, P., Forets, M., Ivanova, E., Li, Y., Mitra, S., Mitsch, S., Schilling, C., Wetzlinger, M., & Zhuang, D. (2023). ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. In Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) (Vol. 96, pp. 61-88) https://doi.org/10.29007/93f2

@inproceedings{10eff11684864300b435bf59cc423bfd,

title = "ARCH-COMP23 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 2023. This year, 6 tools participated: Ariadne, CORA, DynIbex, JuliaReach, KeYmaera X and Verse (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.",

author = "Luca Geretti and {Dit Sandretto}, {Julien Alexandre} and Matthias Althoff and Luis Benet and Pieter Collins and Marcelo Forets and Elena Ivanova and Yangge Li and Sayan Mitra and Stefan Mitsch and Christian Schilling and Mark Wetzlinger and Daniel Zhuang",

year = "2023",

month = oct,

day = "18",

doi = "10.29007/93f2",

language = "English",

volume = "96",

series = "EPiC Series in Computing",

publisher = "EasyChair",

pages = "61--88",

booktitle = "Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)",

note = "10th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH23 ; Conference date: 09-05-2023 Through 09-05-2023",

url = "https://cps-vo.org/group/ARCH/Archive",

}

Geretti, L, Dit Sandretto, JA, Althoff, M, Benet, L, Collins, P, Forets, M, Ivanova, E, Li, Y, Mitra, S, Mitsch, S, Schilling, C, Wetzlinger, M & Zhuang, D 2023, ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. in Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). vol. 96, EPiC Series in Computing, pp. 61-88, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems, San Antonio, Texas, United States, 9/05/23. https://doi.org/10.29007/93f2

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. / Geretti, Luca; Dit Sandretto, Julien Alexandre; Althoff, Matthias et al.
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Vol. 96 2023. p. 61-88 (EPiC Series in Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic

TY - GEN

T1 - ARCH-COMP23 Category Report

T2 - 10th International Workshop on Applied Verification of Continuous and Hybrid Systems

AU - Geretti, Luca

AU - Dit Sandretto, Julien Alexandre

AU - Althoff, Matthias

AU - Benet, Luis

AU - Collins, Pieter

AU - Forets, Marcelo

AU - Ivanova, Elena

AU - Li, Yangge

AU - Mitra, Sayan

AU - Mitsch, Stefan

AU - Schilling, Christian

AU - Wetzlinger, Mark

AU - Zhuang, Daniel

PY - 2023/10/18

Y1 - 2023/10/18

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

U2 - 10.29007/93f2

DO - 10.29007/93f2

M3 - Conference article in proceeding

VL - 96

T3 - EPiC Series in Computing

SP - 61

EP - 88

BT - Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)

Y2 - 9 May 2023 through 9 May 2023

ER -

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

Abstract

Publication series

Conference

Access to Document

Embargoed Document

Fingerprint

Cite this