ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics

10 pages•Published: June 27, 2017

Xin Chen, Matthias Althoff and Fabian Immler

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 2017. This year, three tools CORA, Flow* and Isabelle/HOL (in alphabetic order) participated. They are applied to solve the reachability analysis problems on three benchmarks which have 2, 7 and 12 variables respectively. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools. Besides, the computational settings presented here provide a guide to use the tools although they might not be optimal.

In: Goran Frehse and Matthias Althoff (editors). ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 48, pages 160-169.

Links:	https://easychair.org/publications/paper/sr6
	https://doi.org/10.29007/v6g4

BibTeX entry

@inproceedings{ARCH17:ARCH_COMP17_Category_Report,
  author    = {Xin Chen and Matthias Althoff and Fabian Immler},
  title     = {ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics},
  booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {48},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/sr6},
  doi       = {10.29007/v6g4},
  pages     = {160-169},
  year      = {2017}}

Download PDF Open PDF in browser