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

ARCH21: Volume Information

8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)

Editors: Goran Frehse and Matthias Althoff

EPiC Series in Computing•Volume 80

11 articles•202 pages•Published: December 6, 2021

Papers

ARCH-COMP'21 Category Reports

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

Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp and Mark Wetzlinger

1-31

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

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling and Mark Wetzlinger

32-54

ARCH-COMP21 Category Report: Stochastic Models

Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman and Paolo Zuliani

55-89

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

Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer and Insup Lee

90-119

ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving

Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan

120-132

ARCH-COMP 2021 Category Report: Falsification with Validation of Results

Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata and Zhenya Zhang

133-152

ARCH-COMP21 Repeatability Evaluation Report

Taylor T. Johnson

153-160

ARCH'21 Contributed Papers

Guaranteed State Estimation in CORA 2021

Matthias Althoff

161-175

ORBITADOR: A tool to analyze the stability of periodical dynamical systems

176-183

Verification of Collision Avoidance for CommonRoad Traffic Scenarios

Niklas Kochdumper, Philipp Gassert and Matthias Althoff

184-194

Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators

Zahra Ramezani, Alexandre Donze, Martin Fabian and Knut Åkesson

195-202

Keyphrases

Applied verification, ARCH-COMP, Artificial Intelligence, autonomous vehicles, benchmark, collision avoidance, constrained zonotopes, continuous systems, control synthesis, control theory², CORA, Cyber-Physical Systems, differential dynamic logic, differential equations, dynamical systems, ellipsoids, falsification², formal methods, formal verification, Friendly Competition, guaranteed state estimation, Hybrid Hoare Logic, hybrid systems⁵, Hydra, intelligent control systems, interval observers, JuliaReach, limit cycle, linear continuous dynamics, machine learning, model checking, Neural Network Control Systems, neural networks, nonlinear dynamics, periodicity, propagation-based observers, Pulse generators, reachability², reachability analysis², repeatability, simulation, SpaceEx, stability, stochastic models, strip-based observers, temporal logic, theorem proving, verification, zonotopes.