Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

ARCH17: Volume Information

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

Editors: Goran Frehse and Matthias Althoff

EPiC Series in Computing•Volume 48

17 articles•180 pages•Published: June 27, 2017

Papers

Challenges for Safe Autonomous Flight

Sebastian Scherer

1

Benchmark Proposals

A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees

Daniele Ioli, Alessandro Falsone, Marianne Hartung, Axel Busboom and Maria Prandini

2-19

Verifying safety of an autonomous spacecraft rendezvous mission

Nicole Chan and Sayan Mitra

20-32

Distributed Autonomous Systems

Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang and Taylor T. Johnson

33-43

An Autonomous Vehicle Control Stack

Alena Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli and Rahul Mangharam

44-51

Reachability Analysis of Transformer-Isolated DC-DC Converters

Omar Beg, Ali Davoudi and Taylor T. Johnson

52-64

A Benchmark for Component-based Hybrid Systems Safety Verification

Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger and André Platzer

65-74

Contributed Papers

Formal Verification of a Multi-Basal Insulin Infusion Control Model

Xin Chen, Souradeep Dutta and Sriram Sankaranarayanan

75-91

Testbed for Model-based Verification of Cyber-physical Production Systems

Christof J. Budnik, Sebastian Eckl and Marco Gario

92-99

Modeling the Wind Turbine Benchmark with PWA Hybrid Automata

Nikolaos Kekatos, Marcelo Forets and Goran Frehse

100-113

Direct Verification of Linear Systems with over 10000 Dimensions

Stanley Bak and Parasara Sridhar Duggirala

114-123

Competition for the Verification of Continuous and Hybrid Systems (ARCH-COMP)

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics

Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu and Mirco Giacobbe

124-133

ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics

Lei Bu, Rajarshi Ray and Stefan Schupp

134-142

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray and Stefan Schupp

143-159

ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics

Xin Chen, Matthias Althoff and Fabian Immler

160-169

ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha and Georgios Fainekos

170-174

ARCH-COMP17 Repeatability Evaluation Report

Taylor T. Johnson

175-180

Keyphrases

Affine systems, Artificial Pancreas, autonomous systems, autonomous vehicle, Behavioral Planner, benchmark², component-based, continuous systems², Control Stack, cost map, Cyberphysical system, Data-driven design, DC-DC power converters, Flow*, Flowpipe Construction, formal verification, formation control, Hybrid automaton model, hybrid systems³, linear systems, mode transformation, passive safety, Performance, Probabilistic Reachability, reachability analysis², Repeatability Evaluation, reproducible research, safety verification, simulation, Simulink, Smart grid energy management, space rendezvous, SpaceEx, Testbed, trajectory planner, Trajectory Tracker, verification⁵, wind turbine.