DARS 2018

Third Workshop on Design and Analysis of Robust Systems
April 10, 2018, Porto, Portugal
Co-located with CPS Week 2018

The DARS Workshop Series

DARS 2018 is the 3rd in an international workshop series dedicated to the design and analysis of robust systems. Robustness refers to the ability of a system to behave reliably in the presence of perturbation, either in the system parameters or irregularities in the system's operating environment. This is particularly important in the context of embedded systems that interact with a physical environment through sensors and actuators, and communicate over wired or wireless networks. Such systems are routinely subject to deviations arising from sensor or actuation noise, quantization and sampling of data, uncertainty in the physical environment, and delays or packet drops over unreliable network channels. When deployed in safety critical applications, system robustness in the presence of uncertainty is not just desirable, but crucial.

The goal of DARS is to foster dialogue and exchange of ideas and techniques across several disciplines with an interest in robustness such as formal verification, programming languages, fault-tolerance, control theory and hybrid systems.

Domains of interest include, but are not limited to: reactive, timed, hybrid or probabilistic systems and programs, approximate computing, fault tolerance of distributed systems, and robustness of neural networks.

Important Dates
All deadlines are AOE (Anywhere on Earth)

Extended abstract submission February 5, 2018
Author notification February 26, 2018
Workshop April 10, 2018



We gratefuly acknowledge sponsorship from the RiSE network.

Submission on Easy Chair

We solicit extended abstracts of no more than 3 pages including references that provide an overview of recently published work of the authors or work in progress. We expect that the extended abstracts will focus on providing intuitions (main results and their implications), rather than technical details (formal definitions). The extended abstracts along with a one paragraph abstract (for announcement on the webpage, if accepted) can be uploaded to Easychair using the above link.

Steering Committee

Pavithra Prabhakar, Kansas State University
Roopsha Samanta, Purdue University

Program Chairs

Thomas Ferrère, IST Austria
Sicun Gao, University of California, San Diego

Program Committee

Houssam Abbas, University of Pennsylvania
Stanley Bak, Air Force Research Lab
Ezio Bartocci, Vienna University of Technology
Xin Chen, University of Colorado Boulder
Jyotirmoy Deshmukh, University of Southern California
Thomas Ferrère, IST Austria
Sicun Gao, University of California, San Diego
Miriam García Soto, IMDEA Software Institute
Antoine Girard, Laboratoire des Signaux et Systèmes, CNRS
Radu Grosu, Vienna University of Technology
Md Ariful Islam, Carnegie Mellon University
Soonho Kong, Toyota Research Institute
Dejan Ničković, Austrian Institute of Technology
Jan Otop, University of Wrocław
Ivan Papusha, University of Texas at Austin
Paulo Tabuada, University of California, Los Angeles
Paolo Zuliani, Newcastle University
Invited Talks

10:30 Opening remarks

Keynote Talk.
Measuring robustness for cyber-physical systems: real-world experiences and challenges
Jim Kapinski

A quantitative approach on safety, reachability and stability specifications
Alina Eqtami and Antoine Girard

Measuring Neural Net Robustness
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori and Antonio Criminisi

12:30 Lunch break
14:00 Keynote Talk.
Robust to Dynamics Optimization
Amir Ali Ahmadi

A CEGAR Approach for Hybrid Systems Reachability Analysis
Stefan Schupp and Erika Abraham

15:30 Coffee break
16:00 Probabilistic Bounded Reachability for Stochastic Hybrid Systems
Fedor Shmarov

Computing the mutational robustness of gene regulatory network
Mirco Giacobbe, Ashutosh Gupta, Calin C. Guet, Thomas A. Henzinger, Tiago Paixao, and Tatjana Petrov

Closing remarks and discussion