Filters








4 Hits in 2.6 sec

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

Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
unpublished
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 2019.  ...  A version of this benchmark with linearized dynamics is verified in the ARCH-COMP category Continuous and Hybrid Systems with Linear Continuous Dynamics.  ... 
doi:10.29007/m75b fatcat:qkyvij4hbrhtxnicg34d3td4ny

ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
unpublished
The HSTP category especially features many nonlinear and parametric continuous and hybrid systems.  ...  This paper reports on the Hybrid Systems Theorem Proving (HSTP) category in the ARCH-COMP Friendly Competition 2019.  ...  Introduction This report summarizes the experimental results of the Hybrid Systems Theorem Proving (HSTP) category in the ARCH-COMP19 friendly competition.  ... 
doi:10.29007/nrv8 fatcat:njxpq4jgcvh73lfc4eea7s6pwy

ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson
unpublished
This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with artificial intelligence (AI) components.  ...  The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019.  ...  Specifically, this report summarizes results obtained in the 2019 friendly competition of the ARCH workshop 1 for verifying hybrid systems with linear and non-linear continuous dynamics ẋ(t) = f (x(t),  ... 
doi:10.29007/rgv8 fatcat:npgsnyadfjbexf7qomgtimjdmq

ARCH-COMP21 Repeatability Evaluation Report

Taylor T. Johnson
unpublished
This report presents the results of the repeatability evaluation for the 5th Interna- tional Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP'21).  ...  The competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2021, affiliated with the 7th IFAC Conference on Analysis and Design of Hybrid Systems  ...  Introduction This report summarizes the repeatability evaluation for verification of continuous and hybrid systems for the ARCH-COMP friendly competition held in conjunction with the ARCH workshop, and  ... 
doi:10.29007/zqdx fatcat:ceprpbupqnghdgra7kbmgqkyn4