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

ARCH22: Volume Information

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)

Editors: Goran Frehse, Matthias Althoff, Erwin Schoitsch and Jeremie Guiochet

EPiC Series in Computing•Volume 90

11 articles•230 pages•Published: December 13, 2022

Papers

Contributed Papers

Implementation of Ellipsoidal Operations in CORA 2022

Victor Gaßmann and Matthias Althoff

1-17

Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device

Mostafa Ayesh, Namya Mehan, Ethan Dhanraj, Abdul El-Rahwan, Simon Emil Opalka, Tony Fan, Akil Hamilton, Akshay Mathews Jacob, Rahul Anthony Sundarrajan, Bryan Widjaja and Claudio Menghi

18-25

Benchmarks for the Formal Verification of Power Systems

Matthias Althoff

26-43

ARCH-COMP Friendly Competition

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

Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi and Enea Zaffanella

44-57

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

Matthias Althoff, Marcelo Forets, Christian Schilling and Mark Wetzlinger

58-85

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

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling and Mark Wetzlinger

86-112

ARCH-COMP22 Category Report: Stochastic Models

Alessandro Abate, Henk Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani and Lisa Willemsen

113-141

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

Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T Johnson, Tobias Ladner, Wenchao Li, Christian Schilling and Qi Zhu

142-184

ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving

Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen and Jonathan Julián Huerta Y Munive

185-203

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources

Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata and Zhenya Zhang

204-221

ARCH-COMP22 Repeatability Evaluation Report

Taylor T Johnson

222-230

Keyphrases

ARCH-COMP², Artifact Evaluation, benchmark², Benchmarking, Bounded Model Checking, control synthesis, CORA², Cyber-Physical Systems, differential-algebraic equations, dynamical systems, ellipsoidal operations, Ellipsoidal Toolbox, ellipsoids, evaluation, falsification², formal methods, formal verification⁴, Friendly Competition, hybrid games, hybrid system, hybrid systems⁴, JuliaReach, linear continuous dynamics, Markov chains, Markov Decision Processes, model checker, Neural Network Control Systems, neural networks, nonlinear systems², Pacemaker, Piecewise Constant Dynamics, power systems, reachability², region of attraction, Repeatability Evaluation, reproducibility, robustness analysis, Simulink, stochastic models, testing, theorem proving, tools², transient stability, verification².