ARCH19: Volume Information

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

13 articles219 pagesPublished: May 25, 2019

Papers

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
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling and Stefan Schupp
14-40
Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders and Christian Schilling
41-61
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
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov and Taylor T. Johnson
103-119
Lei Bu, Rajarshi Ray and Stefan Schupp
120-128
Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata and Zhenya Zhang
129-140
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan
141-161
Taylor T. Johnson
162-169
Stanley Bak and Kerianne Hobbs
170-182
Maximilian Gaukler and Peter Ulbrich
183-200
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran and Taylor T. Johnson
201-210
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.