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

Luca Geretti; Julien Alexandre dit Sandretto; Matthias  Althoff; Luis Benet; Alexandre Chapoutot; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Uziel Linares; David P. Sanders; Christian Schilling; Mark Wetzlinger

doi:10.29007/2jw8

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

Luca Geretti^*, Julien Alexandre dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger

^*Corresponding author for this work

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

89 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 2021. This year, 5 tools Ariadne, CORA, DynIbex, JuliaReach and Kaa (in alphabetic order) participated. These tools are applied to solve reachability analysis problems on five 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	8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Editors	Goran Frehse, Matthias Althoff
Publisher	EPiC
Pages	32–54
Volume	80
DOIs	https://doi.org/10.29007/2jw8
Publication status	Published - 2021
Event	8th International Workshop on Applied Verification of Continuous and Hybrid Systems - Brussels, Belgium Duration: 9 Jul 2021 → 9 Jul 2021 https://researchr.org/publication/arch-2021

Publication series

Series	EPiC Series in Computing
Volume	80

Workshop

Workshop	8th International Workshop on Applied Verification of Continuous and Hybrid Systems
Abbreviated title	ARCH21
Country/Territory	Belgium
City	Brussels
Period	9/07/21 → 9/07/21
Internet address	https://researchr.org/publication/arch-2021

Access to Document

10.29007/2jw8

Full TextFinal published version, 1.82 MBLicence: Taverne

Cite this

Geretti, L., Alexandre dit Sandretto, J., Althoff, M., Benet, L., Chapoutot, A., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Linares, U., Sanders, D. P., Schilling, C., & Wetzlinger, M. (2021). ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. In G. Frehse, & M. Althoff (Eds.), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) (Vol. 80, pp. 32–54). EPiC. https://doi.org/10.29007/2jw8

@inproceedings{54c80be5839f4ec49850101451cd5300,

title = "ARCH-COMP21 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 2021. This year, 5 tools Ariadne, CORA, DynIbex, JuliaReach and Kaa (in alphabetic order) participated. These tools are applied to solve reachability analysis problems on five 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 {Alexandre dit Sandretto}, Julien and Matthias Althoff and Luis Benet and Alexandre Chapoutot and Pieter Collins and Duggirala, {Parasara Sridhar} and Marcelo Forets and Edward Kim and Uziel Linares and Sanders, {David P.} and Christian Schilling and Mark Wetzlinger",

note = "Publisher Copyright: {\textcopyright} 2021, EasyChair. All rights reserved.; 8th International Workshop on Applied Verification of Continuous and Hybrid Systems , ARCH21 ; Conference date: 09-07-2021 Through 09-07-2021",

year = "2021",

doi = "10.29007/2jw8",

language = "English",

volume = "80",

series = "EPiC Series in Computing",

publisher = "EPiC",

pages = "32–54",

editor = "Goran Frehse and Matthias Althoff",

booktitle = "8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)",

address = "United Kingdom",

url = "https://researchr.org/publication/arch-2021",

}

Geretti, L, Alexandre dit Sandretto, J, Althoff, M, Benet, L, Chapoutot, A, Collins, P, Duggirala, PS, Forets, M, Kim, E, Linares, U, Sanders, DP, Schilling, C & Wetzlinger, M 2021, ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. in G Frehse & M Althoff (eds), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). vol. 80, EPiC, EPiC Series in Computing, vol. 80, pp. 32–54, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems , Brussels, Belgium, 9/07/21. https://doi.org/10.29007/2jw8

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. / Geretti, Luca; Alexandre dit Sandretto, Julien; Althoff, Matthias et al.
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). ed. / Goran Frehse; Matthias Althoff. Vol. 80 EPiC, 2021. p. 32–54 (EPiC Series in Computing, Vol. 80).

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

TY - GEN

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

AU - Geretti, Luca

AU - Alexandre dit Sandretto, Julien

AU - Althoff, Matthias

AU - Benet, Luis

AU - Chapoutot, Alexandre

AU - Collins, Pieter

AU - Duggirala, Parasara Sridhar

AU - Forets, Marcelo

AU - Kim, Edward

AU - Linares, Uziel

AU - Sanders, David P.

AU - Schilling, Christian

AU - Wetzlinger, Mark

PY - 2021

Y1 - 2021

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 2021. This year, 5 tools Ariadne, CORA, DynIbex, JuliaReach and Kaa (in alphabetic order) participated. These tools are applied to solve reachability analysis problems on five 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 2021. This year, 5 tools Ariadne, CORA, DynIbex, JuliaReach and Kaa (in alphabetic order) participated. These tools are applied to solve reachability analysis problems on five 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/2jw8

DO - 10.29007/2jw8

M3 - Conference article in proceeding

VL - 80

T3 - EPiC Series in Computing

SP - 32

EP - 54

BT - 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)

A2 - Frehse, Goran

A2 - Althoff, Matthias

PB - EPiC

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

Y2 - 9 July 2021 through 9 July 2021

ER -

Geretti L, Alexandre dit Sandretto J, Althoff M, Benet L, Chapoutot A, Collins P et al. ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. In Frehse G, Althoff M, editors, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Vol. 80. EPiC. 2021. p. 32–54. (EPiC Series in Computing, Vol. 80). doi: 10.29007/2jw8