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

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

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.

Original language	English
Pages (from-to)	41-61
Number of pages	21
Journal	EPiC Series in Computing
Volume	61
DOIs	https://doi.org/10.29007/m75b
Publication status	Published - 1 Jan 2019
Event	6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019 - Montreal, Canada Duration: 15 Apr 2019 → 15 Apr 2019

Access to Document

10.29007/m75b

Cite this

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

}

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.

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

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

Abstract

Access to Document

Other files and links

Fingerprint

Cite this