HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Program Committee •Keywords •BibTex Entries

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

Editors: Goran Frehse and Matthias Althoff
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
Pages 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
Pages 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
Pages 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 P. Vinod
Pages 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
Pages 103-119
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
Lei Bu, Rajarshi Ray and Stefan Schupp
Pages 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
Pages 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
Pages 141-161
ARCH-COMP19 Repeatability Evaluation Report
Taylor T. Johnson
Pages 162-169
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees
Stanley Bak and Kerianne Hobbs
Pages 170-182
Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing
Maximilian Gaukler and Peter Ulbrich
Pages 183-200
Verification of Closed-loop Systems with Neural Network Controllers
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran and Taylor T. Johnson
Pages 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
Pages 211-219

Keyphrases

Copyright © 2012-2024 easychair.org. All rights reserved.