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

Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Ivanova, Elena; Li, Yangge; Mitra, Sayan; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark; Zhuang, Daniel

doi:10.29007/93f2

Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link

Dokumenttyp:: Konferenzbeitrag
Autor(en):: Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Ivanova, Elena; Li, Yangge; Mitra, Sayan; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark; Zhuang, Daniel
Titel:: ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
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 2023. This year, 6 tools participated: Ariadne, CORA, DynIbex, JuliaReach, KeYmaera X and Verse (in alphabetic order). These tools are applied to solve reachability analysis problems on six 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. «
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 2023. This year, 6 tools participated: Ariadne, CORA, DynIbex, JuliaReach, KeYmaera X and Verse (in alphabetic order). These tools are applied to solve reachability analysis problems on six benchmark problems, two of them featuring h... »
Kongress- / Buchtitel:: EPiC Series in Computing
Verlag / Institution:: EasyChair
Publikationsdatum:: 18.10.2023
Jahr:: 2023
Volltext / DOI:: doi:10.29007/93f2
BibTeX

Vorkommen:

mediaTUM Gesamtbestand Hochschulbibliographie 2023 Schools und Fakultäten TUM School of Computation, Information and Technology Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)

mediaTUM Gesamtbestand Einrichtungen Schools TUM School of Computation, Information and Technology Departments Computer Engineering Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)2023