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

21 pages•Published: May 25, 2019

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

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.

In: Goran Frehse and Matthias Althoff (editors). ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 61, pages 41-61.

Links:	https://easychair.org/publications/paper/4FSh
	https://doi.org/10.29007/m75b

BibTeX entry

@inproceedings{ARCH19:ARCH_COMP19_Category_Report,
  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 David P. Sanders and Christian Schilling},
  title     = {ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/4FSh},
  doi       = {10.29007/m75b},
  pages     = {41-61},
  year      = {2019}}

Download PDF Open PDF in browser