ARCH17: Volume InformationARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems17 articles•180 pages•Published: June 27, 2017 PapersSebastian Scherer 1 | Benchmark Proposals | Daniele Ioli, Alessandro Falsone, Marianne Hartung, Axel Busboom and Maria Prandini 2-19 | Nicole Chan and Sayan Mitra 20-32 | Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang and Taylor T. Johnson 33-43 | Alena Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli and Rahul Mangharam 44-51 | Omar Beg, Ali Davoudi and Taylor T. Johnson 52-64 | Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger and André Platzer 65-74 | Contributed Papers | Xin Chen, Souradeep Dutta and Sriram Sankaranarayanan 75-91 | Christof J. Budnik, Sebastian Eckl and Marco Gario 92-99 | Nikolaos Kekatos, Marcelo Forets and Goran Frehse 100-113 | Stanley Bak and Parasara Sridhar Duggirala 114-123 | Competition for the Verification of Continuous and Hybrid Systems (ARCH-COMP) | Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu and Mirco Giacobbe 124-133 | Lei Bu, Rajarshi Ray and Stefan Schupp 134-142 | Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray and Stefan Schupp 143-159 | Xin Chen, Matthias Althoff and Fabian Immler 160-169 | Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha and Georgios Fainekos 170-174 | Taylor T. Johnson 175-180 |
KeyphrasesAffine systems, Artificial Pancreas, autonomous systems, autonomous vehicle, Behavioral Planner, benchmark2, component-based, continuous systems2, Control Stack, cost map, Cyberphysical system, Data-driven design, DC-DC power converters, Flow*, Flowpipe Construction, formal verification, formation control, Hybrid automaton model, hybrid systems3, linear systems, mode transformation, passive safety, Performance, Probabilistic Reachability, reachability analysis2, Repeatability Evaluation, reproducible research, safety verification, simulation, Simulink, Smart grid energy management, space rendezvous, SpaceEx, Testbed, trajectory planner, Trajectory Tracker, verification5, wind turbine. |
|