ARCH17: Volume Information

ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems

17 articles180 pagesPublished: June 27, 2017

Papers

Sebastian 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

Keyphrases

Affine 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.