TY - GEN
T1 - ARCH-COMP22 Category Report
T2 - 9th International Workshop on Applied Verification of Continuous and Hybrid Systems
AU - Geretti, Luca
AU - Sandretto, Julien Alexandre Dit
AU - Althoff, Matthias
AU - Benet, Luis
AU - Collins, Pieter
AU - Duggirala, Parasara Sridhar
AU - Forets, Marcelo
AU - Kim, Edward
AU - Mitsch, Stefan
AU - Schilling, Christian
AU - Wetzlinger, Mark
N1 - Funding Information:
Luca Geretti acknowledges the support from MIUR, Project “Dipartimenti d’Eccellenza, 2018-2022” and by Fondazione Cariverona with the grant “Ricerca&Sviluppo”. Luis Benet acknowledges support from PAPIIT grant IG-101122. Matthias Althoff acknowledges support by the European Commission project justITSELF under grant number 817629. Mark Wetzlinger acknowledges support from the research training group CONVEY funded by the German Research Foundation under grant GRK 2428. Julien Alexandre dit Sandretto: this work was supported by the “Chair Complex Systems Engineering-Ecole polytechnique, THALES, DGA, FX, Dassault Aviation, DCNS Research, ENSTA Paris, Télécom Paris, and Fondation ParisTech” and partially supported by DGA AID. Parasara Sridhar Duggirala and Edward Kim acknowledge the support of the Air Force Office of Scientific Research under award number FA9550-19-1-0288 and FA9550-21-1-0121 and National Science Foundation (NSF) under grant numbers CNS 1935724 and CNS 2038960. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the United States Air Force or National Science Foundation. Stefan Mitsch was sponsored by the AFOSR under grant number FA9550-16-1-0288. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of any sponsoring institution, the U.S. government or any other entity. Christian Schilling acknowledges support from DIREC-Digital Research Centre Denmark and the Villum Investigator Grant S4OS.
Funding Information:
Christian Schilling acknowledges support from DIREC - Digital Research Centre Denmark and the Villum Investigator Grant S4OS.
Funding Information:
Stefan Mitsch was sponsored by the AFOSR under grant number FA9550-16-1-0288. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of any sponsoring institution, the U.S. government or any other entity.
Funding Information:
Mark Wetzlinger acknowledges support from the research training group CONVEY funded by the German Research Foundation under grant GRK 2428.
Funding Information:
Matthias Althoff acknowledges support by the European Commission project justITSELF under grant number 817629.
Funding Information:
Luca Geretti acknowledges the support from MIUR, Project “Dipartimenti d’Eccellenza, 2018-2022” and by Fondazione Cariverona with the grant “Ricerca&Sviluppo”. Luis Benet acknowledges support from PAPIIT grant IG-101122.
Funding Information:
Julien Alexandre dit Sandretto: this work was supported by the “Chair Complex Systems Engineering - Ecole polytechnique, THALES, DGA, FX, Dassault Aviation, DCNS Research, ENSTA Paris, Télécom Paris, and Fondation ParisTech” and partially supported by DGA AID.
Funding Information:
Parasara Sridhar Duggirala and Edward Kim acknowledge the support of the Air Force Office of Scientific Research under award number FA9550-19-1-0288 and FA9550-21-1-0121 and National Science Foundation (NSF) under grant numbers CNS 1935724 and CNS 2038960. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the United States Air Force or National Science Foundation.
Publisher Copyright:
© 2022, EasyChair. All rights reserved.
PY - 2022/1/1
Y1 - 2022/1/1
N2 - 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 2022. This year, 6 tools Ariadne, CORA, DynIbex, JuliaReach, Kaa and KeYmaera X (in alphabetic order) participated. 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.
AB - 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 2022. This year, 6 tools Ariadne, CORA, DynIbex, JuliaReach, Kaa and KeYmaera X (in alphabetic order) participated. 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.
U2 - 10.29007/fnzc
DO - 10.29007/fnzc
M3 - Conference article in proceeding
VL - 90
T3 - EPiC Series in Computing
SP - 86
EP - 112
BT - Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Y2 - 5 September 2022 through 5 September 2022
ER -