Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

ARCH-COMP24: Volume Information

Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems

Editors: Goran Frehse and Matthias Althoff

EPiC Series in Computing•Volume 103

8 articles•181 pages•Published: October 10, 2024

Papers

Results of ARCH-COMP24

ARCH-COMP24 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking

Lei Bu, Atanu Kundu, Rajarshi Ray and Yuhui Shi

1-14

ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Matthias Althoff, Marcelo Forets, Christian Schilling and Mark Wetzlinger

15-38

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

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Stefan Mitsch, Christian Schilling, Joris Tillet and Mark Wetzlinger

39-63

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

Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Clemens Blab, Marcelo Forets, Yuhao Jia, Taylor T Johnson, Manuel Kranzl, Tobias Ladner, Lukas Linauer, Philipp Neubauer, Sophie Neubauer, Christian Schilling, Huan Zhang and Xiangru Zhong

64-121

ARCH-COMP 2024 Category Report: Falsification

Tanmay Khandait, Federico Formica, Paolo Arcaini, Surdeep Chotaliya, Georgios Fainekos, Abdelrahman Hekal, Atanu Kundu, Ethan Lew, Michele Loreti, Claudio Menghi, Laura Nenzi, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Valentin Soloviev, Ennio Visconti, Masaki Waga and Zhenya Zhang

122-144

Regular Papers

Stability Verification of an Industrial Switched PI Control Systems

Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta and Vassilios Tsachouridis

145-152

Randomized Generation of Arbitrarily Difficult Verification Benchmarks for Linear Time-Invariant Systems

Mark Wetzlinger and Matthias Althoff

153-162

Implementation of Polyhedral Operations in CORA 2024

Mark Wetzlinger, Viktor Kotsev, Adrian Kulmburg and Matthias Althoff

163-181

Keyphrases

Aerospace Design, ARCH-COMP, Benchmarking, continuous systems, CORA², Cyber-Physical Systems, evaluation, falsification, formal methods², formal verification, Friendly Competition, hybrid systems³, JuliaReach, linear continuous dynamics, linear systems, Lyapunov functions, nonlinear dynamics, polyhedra, Polytopes, Randomized testing, reachability analysis², set-based computing, set-representations, stability, verification.