Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics

Fabian Immler; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen; Marcelo Forets; Luca Geretti; Niklas Kochdumper; David P. Sanders; Christian Schilling

doi:10.29007/m75b

Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics

Fabian Immler
, Matthias Althoff
, Luis Benet
, Alexandre Chapoutot
, Xin Chen
, Marcelo Forets
, Luca Geretti
, Niklas Kochdumper
, David P. Sanders
, Christian Schilling

Carnegie Mellon University
Technical University of Munich
Universidad Nacional Autónoma de México
University of Dayton
Universidad de la República
University of Verona
University of Freiburg

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

11 Citations (Scopus)

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 2019. In this year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. They are applied to solve reachability analysis problems on four benchmark problems, one of them with 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 - à)	41-61
Nombre de pages	21
journal	EPiC Series in Computing
Volume	61
Les DOIs	https://doi.org/10.29007/m75b
état	Publié - 1 janv. 2019
Evénement	6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019 - Montreal, Canada Durée: 15 avr. 2019 → 15 avr. 2019

Accès au document

10.29007/m75b

Contient cette citation

@article{e1c665c42aec4cf9b7dada370c0a7d5b,

title = "Arch-comp19 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 2019. In this year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. They are applied to solve reachability analysis problems on four benchmark problems, one of them with 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 = "Fabian Immler and Matthias Althoff and Luis Benet and Alexandre Chapoutot and Xin Chen and Marcelo Forets and Luca Geretti and Niklas Kochdumper and Sanders, \{David P.\} and Christian Schilling",

note = "Publisher Copyright: {\textcopyright} 2019, EasyChair. All rights reserved.; 6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019 ; Conference date: 15-04-2019 Through 15-04-2019",

year = "2019",

month = jan,

day = "1",

doi = "10.29007/m75b",

language = "English",

volume = "61",

pages = "41--61",

journal = "EPiC Series in Computing",

issn = "2398-7340",

publisher = "EasyChair",

}

TY - JOUR

T1 - Arch-comp19 category report

T2 - 6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019

AU - Immler, Fabian

AU - Althoff, Matthias

AU - Benet, Luis

AU - Chapoutot, Alexandre

AU - Chen, Xin

AU - Forets, Marcelo

AU - Geretti, Luca

AU - Kochdumper, Niklas

AU - Sanders, David P.

AU - Schilling, Christian

PY - 2019/1/1

Y1 - 2019/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 2019. In this year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. They are applied to solve reachability analysis problems on four benchmark problems, one of them with 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 2019. In this year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. They are applied to solve reachability analysis problems on four benchmark problems, one of them with 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/m75b

DO - 10.29007/m75b

M3 - Conference article

AN - SCOPUS:85080023078

SN - 2398-7340

VL - 61

SP - 41

EP - 61

JO - EPiC Series in Computing

JF - EPiC Series in Computing

Y2 - 15 April 2019 through 15 April 2019

ER -

Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics

Résumé

Accès au document

Empreinte digitale

Contient cette citation