ARCH19. 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 Pages 1-13 | Pages 14-40 | Pages 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 P. Vinod Pages 62-102 | Pages 103-119 | Pages 120-128 | Pages 129-140 | Pages 141-161 | Pages 162-169 | Pages 170-182 | Pages 183-200 | Pages 201-210 | Pages 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 |
|