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

Autor: Geretti, Luca, Alexandre dit Sandretto, Julien, Althoff, Matthias, Benet, Luis, Chapoutot, Alexandre, Collins, Pieter, Duggirala, Parasara Sridhar, Forets, Marcelo, Kim, Edward, Linares, Uziel, Sanders, David P., Schilling, Christian, Wetzlinger, Mark, Frehse, Goran
Přispěvatelé: Dep. of Advanced Computing Sciences, RS: FSE DACS, RS: FSE DACS Mathematics Centre Maastricht, Frehse, G., Althoff, M.
Rok vydání: 2020
Předmět:
Zdroj: Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Geretti, L, Sandretto, J A D, Althoff, M, Benet, L, Chapoutot, A, Collins, P, Duggirala, P S, Forets, M, Kim, E, Linares, U, Sanders, D P, Schilling, C & Wetzlinger, M 2021, ARCH-COMP21 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics . in G Frehse & M Althoff (eds), 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) . EasyChair, EPiC Series in Computing, vol. 80, pp. 32-54, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Bruxelles, Belgium, 09/07/2021 . https://doi.org/10.29007/2jw8
ISSN: 2398-7340
DOI: 10.29007/2jw8
Popis: 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. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools.
Databáze: OpenAIRE
Externí odkaz: