ARCH19: Volume InformationARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems13 articles•219 pages•Published: May 25, 2019 PapersGoran 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 |
KeyphrasesAABB 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. |
|