ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics | Zendy

Xin Chen | Zendy; Matthias Althoff | Zendy; Fabian Immler | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics

Author(s) -

Xin Chen,

Matthias Althoff,

Fabian Immler

Publication year - 2018

Publication title -

epic series in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 2398-7340

DOI - 10.29007/v6g4

Subject(s) - reachability , hol , computer science , nonlinear system , hybrid system , formal verification , rank (graph theory) , programming language , theoretical computer science , mathematics , machine learning , physics , quantum mechanics , combinatorics

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research