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

ARCH19: Volume Information

ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems

Editors: Goran Frehse and Matthias Althoff

EPiC Series in Computing•Volume 61

13 articles•219 pages•Published: May 25, 2019

Papers

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics

Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta and Enea Zaffanella

1-13

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

Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling and Stefan Schupp

14-40

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 and Christian Schilling

41-61

ARCH-COMP19 Category Report: Stochastic Modelling

Alessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort and Abraham Vinod

62-102

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 and Taylor T. Johnson

103-119

ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics

Lei Bu, Rajarshi Ray and Stefan Schupp

120-128

ARCH-COMP 2019 Category Report: Falsification

Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata and Zhenya Zhang

129-140

ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan

141-161

ARCH-COMP19 Repeatability Evaluation Report

Taylor T. Johnson

162-169

Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees

Stanley Bak and Kerianne Hobbs

170-182

Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing

Maximilian Gaukler and Peter Ulbrich

183-200

Verification of Closed-loop Systems with Neural Network Controllers

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran and Taylor T. Johnson

201-210

Under the Hood of a Stand-Alone Lagrangian Reachability Tool

Sophie Gruenbacher, Jacek Cyranka, Md Ariful Islam, Max Tschaikowski, Scott Smolka and Radu Grosu

211-219

Keyphrases

AABB Trees, closed-loop system, collision detection, control systems, Finite Strain Theory, hybrid automata, hybrid system, interval arithmetic, Jitter, Lagrangian Reachability, Lagrangian Reachtube, Lohner QR Method, neural network controller, Reachability Algorithm, Reachtube tool, real-time system, Safety Checking, safety verification, sampled-data control, spatial data structures, verification, verification benchmark.