DARS 2018: 3rd Workshop on Design and Analysis of Robust Systems Porto, Portugal, April 10, 2018 |
Conference website | https://darsworkshop.github.io/dars2018/index.html |
Submission link | https://easychair.org/conferences/?conf=dars2018 |
Submission deadline | February 5, 2018 |
Third Workshop on Design and Analysis of Robust Systems
DARS 2018
April 10, 2018
Co-located with CPS Week 2018, Porto, Portugal
Webpage: https://darsworkshop.github.io/dars2018/
Important Dates
Extended abstract submission: February 5, 2018
Author notification: February 26, 2018
Workshop: April 10, 2018
Scope
Robustness refers to the ability of a system to behave reliably in the presence of perturbation in the system parameters or irregularities in the system's operating environment. This is particularly important in the context of embedded and cyber-physical systems and software, which 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.
Our aim 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.
Submission Guidelines
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 following link:
https://easychair.org/conferences/?conf=dars2018
Organization
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
- Ariful Islam, Carnegie Mellon University
- Soonho Kong, Toyota Research Institute
- Dejan Ničković, Austrian Institute of Technology AIT
- Jan Otop, University of Wrocław
- Ivan Papusha, University of Texas at Austin
- Paulo Tabuada, University of California, Los Angeles
- Paolo Zuliani, Newcastle University
Program Chairs
- Thomas Ferrère, IST Austria
- Sicun Gao, University of California San Diego
Steering Committee
- Pavithra Prabhakar, Kansas State University
- Roopsha Samanta, Purdue University
Contact
All questions about submissions should be emailed to the program chairs, Thomas Ferrere and Sicun Gao.