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

ARCH18: Volume Information

ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems

Editors: Goran Frehse

EPiC Series in Computing•Volume 54

17 articles•250 pages•Published: September 17, 2018

Papers

Results of ARCH-COMP18

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

Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'Ul Mufid and Enea Zaffanella

1-13

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

Lei Bu, Rajarshi Ray and Stefan Schupp

14-22

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

Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling and Stefan Schupp

23-52

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

Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar and Majid Zamani

53-70

ARCH-COMP18 Category Report: Stochastic Modelling

Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian-Ioan Vasile and Abraham P. Vinod

71-103

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo and Sean Sedwards

104-109

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang and Naijun Zhan

110-127

Contributed Papers

ARCH-COMP18 Repeatability Evaluation Report

Taylor T. Johnson

128-134

Numerical Verification of 10000-dimensional Linear Systems 10000x Faster

135-144

Implementation of Taylor models in CORA 2018

Matthias Althoff, Dmitry Grebenyuk and Niklas Kochdumper

145-173

Benchmarks

Linear Differential-Algebraic Equations (Benchmark Proposal)

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

174-184

Discrete-Space Analysis of Partial Differential Equations

Hoang-Dung Tran, Tianshu Bao and Taylor T. Johnson

185-195

Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)

Patrick Musau and Taylor T. Johnson

196-207

Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers

Peter Heidlauf, Alexander Collins, Michael Bolender and Stanley Bak

208-217

Space Debris Collision Detection using Reachability

Kerianne Hobbs, Peter Heidlauf, Alexander Collins and Stanley Bak

218-228

Lane change maneuver for autonomous vehicles (Benchmark Proposal)

Nikolaos Kekatos, Daniel Heß and Goran Frehse

229-241

Benchmarks for stochastic models from building automation systems

Nathalie Cauchi and Alessandro Abate

242-250

Keyphrases

AABB Trees, affine arithmetic, airplane, autonomous vehicles, benchmark⁴, Building Automation Systems, CEGAR, collision detection, control design, control synthesis, CORA, counter-example generation, differential-algebraic equations, F-16, finite difference method, Flow*, hybrid automaton, Hylaa, interval arithmetic, INTLAB, lane change, linear systems, neural networks, nonlinear, ODEs, orbital dynamics, partial differential equations, probabilistic reachability analysis, probabilistic safety, reachability, reachability analysis⁴, Recurrent Neural Networks, rigorous function bounds, RNNs, simulation², Specifications, stochastic hybrid systems, stochastic models, Taylor models, Thermal modelling, verification².