ARCH16:Editor's Preface

This volume of proceedings contains the papers presented at the third International Workshop on Applied veRification for Continuous and Hybrid systems (ARCH). The workshop was held as part of Cyber-Physical Systems Week (CPSWeek) on April 11, 2016 in Vienna, Austria. It follows the 2014 ARCH workshop (Berlin) and the 2015 ARCH workshop (Seattle). The goal of the ARCH workshops is to bring people from industry together with researchers and tool developers interested in applying verification techniques to continuous and hybrid systems. The workshops are accompanied by a collaborative website (cps-vo.org/group/ARCH), which features a curated collection of benchmarks, disseminates results submitted by researchers and tool developers, and provides feedback from practitioners in the form of experience reports. The benchmark repository is intended to serve as a lasting and evolving resource to the research community.

The workshop received 16 submissions. Each submission was reviewed by 3-4 program committee members, including at least one member from academia and one from industry. The committee accepted 14 papers. The program included the invited talk

  • Dirk Beyer: Reliable and Reproducible Competition Results.

This volume also contains a paper presented at the ARCH14 workshop: Verifying a PI Controller using SoapBox and Stabhyli, by Willem Hagemann, Eike Möhlmann, and Astrid Rakow.

As in previous years, the ARCH workshop awarded a prize to an outstanding submission. This year, four candidates were proposed by the program committee and the workshop attendees selected the final winner. The 2016 prize for the best tool went to the paper

  • Stanley Bak, Sergiy Bogomolov and Christian Schilling: High-level Hybrid Systems Analysis with Hypy

We gratefully acknowledge the sponsorship by Bosch.


Goran Frehse, Matthias Althoff (Program Chairs)
Sergiy Bogomolov (Publicity Chair)
Taylor T. Johnson (Evaluation Chair)
April 11, 2016
Grenoble, Munich, Vienna, Arlington