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

University of Verona
Technical University of Munich
Universidad Nacional Autónoma de México
Maastricht University
Department of Computer Science
Universidad de la República
Massachusetts Institute of Technology
University of Konstanz
Aalborg University

Research output: Contribution to journal › Conference article › peer-review

11 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
Pages (from-to)	32-54
Number of pages	23
Journal	EPiC Series in Computing
Volume	80
DOIs	https://doi.org/10.29007/2jw8
Publication status	Published - 1 Jan 2021
Event	8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021 - Virtual, Online Duration: 9 Jul 2021 → 9 Jul 2021

Access to Document

10.29007/2jw8

Cite this

@article{56f51cc3a8954dffb75768967592b4c2,

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

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

year = "2021",

month = jan,

day = "1",

doi = "10.29007/2jw8",

language = "English",

volume = "80",

pages = "32--54",

journal = "EPiC Series in Computing",

issn = "2398-7340",

publisher = "EasyChair",

}

TY - JOUR

T1 - ARCH-COMP21 Category Report

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

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/1/1

Y1 - 2021/1/1

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

AN - SCOPUS:85124268026

SN - 2398-7340

VL - 80

SP - 32

EP - 54

JO - EPiC Series in Computing

JF - EPiC Series in Computing

Y2 - 9 July 2021 through 9 July 2021

ER -

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

Abstract

Access to Document

Fingerprint

Cite this