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

Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Stefan Mitsch; Christian Schilling; Mark Wetzlinger

doi:10.29007/fnzc

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

Luca Geretti
, Julien Alexandre Dit Sandretto
, Matthias Althoff
, Luis Benet
, Pieter Collins
, Parasara Sridhar Duggirala
, Marcelo Forets
, Edward Kim
, Stefan Mitsch
, 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
Carnegie Mellon University
Aalborg University

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

Résumé

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 2022. This year, 6 tools Ariadne, CORA, DynIbex, JuliaReach, Kaa and KeYmaera X (in alphabetic order) participated. 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.

langue originale	Anglais
Pages (de - à)	86-112
Nombre de pages	27
journal	EPiC Series in Computing
Volume	90
Les DOIs	https://doi.org/10.29007/fnzc
état	Publié - 1 janv. 2022
Evénement	9th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2022 - Munich, Allemagne Durée: 5 sept. 2022 → 5 sept. 2022

Accès au document

10.29007/fnzc

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{34ffa1622dfa4cfdae40aff1f98161fb,

title = "ARCH-COMP22 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 2022. This year, 6 tools Ariadne, CORA, DynIbex, JuliaReach, Kaa and KeYmaera X (in alphabetic order) participated. 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 Sandretto, \{Julien Alexandre Dit\} and Matthias Althoff and Luis Benet and Pieter Collins and Duggirala, \{Parasara Sridhar\} and Marcelo Forets and Edward Kim and Stefan Mitsch and Christian Schilling and Mark Wetzlinger",

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

year = "2022",

month = jan,

day = "1",

doi = "10.29007/fnzc",

language = "English",

volume = "90",

pages = "86--112",

journal = "EPiC Series in Computing",

issn = "2398-7340",

}

TY - JOUR

T1 - ARCH-COMP22 Category Report

T2 - 9th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2022

AU - Geretti, Luca

AU - Sandretto, Julien Alexandre Dit

AU - Althoff, Matthias

AU - Benet, Luis

AU - Collins, Pieter

AU - Duggirala, Parasara Sridhar

AU - Forets, Marcelo

AU - Kim, Edward

AU - Mitsch, Stefan

AU - Schilling, Christian

AU - Wetzlinger, Mark

PY - 2022/1/1

Y1 - 2022/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 2022. This year, 6 tools Ariadne, CORA, DynIbex, JuliaReach, Kaa and KeYmaera X (in alphabetic order) participated. 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 2022. This year, 6 tools Ariadne, CORA, DynIbex, JuliaReach, Kaa and KeYmaera X (in alphabetic order) participated. 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.

UR - https://www.scopus.com/pages/publications/85148893771

U2 - 10.29007/fnzc

DO - 10.29007/fnzc

M3 - Conference article

AN - SCOPUS:85148893771

SN - 2398-7340

VL - 90

SP - 86

EP - 112

JO - EPiC Series in Computing

JF - EPiC Series in Computing

Y2 - 5 September 2022 through 5 September 2022

ER -

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

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation