8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)11 articles•202 pages•Published: December 6, 2021 PapersARCH-COMP'21 Category Reports | Pages 1-31 | Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling and Mark Wetzlinger Pages 32-54 | Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman and Paolo Zuliani Pages 55-89 | Pages 90-119 | Pages 120-132 | Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata and Zhenya Zhang Pages 133-152 | Pages 153-160 | ARCH'21 Contributed Papers | Pages 161-175 | Pages 176-183 | Pages 184-194 | Pages 195-202 |
KeyphrasesApplied verification, ARCH-COMP, Artificial Intelligence, autonomous vehicles, benchmark, collision avoidance, constrained zonotopes, continuous systems, control synthesis, control theory2, CORA, Cyber-Physical Systems, differential dynamic logic, differential equations, dynamical systems, ellipsoids, falsification2, formal methods, formal verification, Friendly Competition, guaranteed state estimation, Hybrid Hoare Logic, hybrid systems5, Hydra, intelligent control systems, interval observers, JuliaReach, limit cycle, linear continuous dynamics, machine learning, model checking, Neural Network Control Systems, neural networks, nonlinear dynamics, periodicity, propagation-based observers, Pulse generators, reachability2, reachability analysis2, repeatability, simulation, SpaceEx, stability, stochastic models, strip-based observers, temporal logic, theorem proving, verification, zonotopes |
|