Benutzer: Gast  Login
Titel:

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

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Luca Geretti, Julien Alexandre dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger
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 2021. This year, 5 tools Ariadne, CORA, DynIbex, JuliaReach and Kaa (in alphabetic order) participated. These tools are applied to solve reachability analysis problems on five benchmark problems, two of them featuring hybrid dynamics...     »
Stichworte:
justITSELF
Herausgeber:
Frehse, G.; Althoff, M.
Kongress- / Buchtitel:
Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Band / Teilband / Volume:
80
Verlag / Institution:
EasyChair
Jahr:
2021
Seiten:
32-54
Serientitel:
EPiC Series in Computing
Volltext / DOI:
doi:10.29007/2jw8
WWW:
https://easychair.org/publications/paper/GWwz
 BibTeX