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

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

8 Citations (Scopus)

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	G. Frehse, M. Althoff
Number of pages	23
Publisher	EasyChair
Publication date	2021
Pages	32-54
DOIs	https://doi.org/10.29007/2jw8
Publication status	Published - 2021
Event	8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) - Bruxelles, Belgium Duration: 9 Jul 2021 → 9 Jul 2021

Conference

Conference	8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Country/Territory	Belgium
City	Bruxelles
Period	09/07/2021 → 09/07/2021

Series	EPiC Series in Computing
Volume	80

Access to Document

10.29007/2jw8

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Geretti, L., Sandretto, J. A. D., 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) (pp. 32-54). EasyChair. https://doi.org/10.29007/2jw8

@inproceedings{1f2c5b35eedb46cf8c9ba603d6bdd199,

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 Sandretto, {Julien Alexandre Dit} 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",

year = "2021",

doi = "10.29007/2jw8",

language = "English",

series = "EPiC Series in Computing",

publisher = "EasyChair",

pages = "32--54",

editor = "G. Frehse and M. Althoff",

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

note = "8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) ; Conference date: 09-07-2021 Through 09-07-2021",

}

Geretti, L, Sandretto, JAD, 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). EasyChair, EPiC Series in Computing, vol. 80, pp. 32-54, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Bruxelles, Belgium, 09/07/2021. https://doi.org/10.29007/2jw8

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

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

TY - GEN

T1 - ARCH-COMP21 Category Report

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

AU - Geretti, Luca

AU - Sandretto, Julien Alexandre Dit

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

T3 - EPiC Series in Computing

SP - 32

EP - 54

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

A2 - Frehse, G.

A2 - Althoff, M.

PB - EasyChair

Y2 - 9 July 2021 through 9 July 2021

ER -

Geretti L, Sandretto JAD, 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). EasyChair. 2021. p. 32-54. (EPiC Series in Computing, Vol. 80). doi: 10.29007/2jw8

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

Abstract

Conference

Access to Document

AUB Link

Fingerprint

Cite this