[TYPES/announce] Call for Participation: The 1st Workshop on Design and Analysis of Robust Systems (DARS 2016), Vienna, April 11, 2016

Roopsha Samanta roopsha.samanta at ist.ac.at
Wed Mar 9 13:20:19 EST 2016

                          The First Workshop
           Design and Analysis of Robust Systems
                              (DARS 2016)

                             April 11, 2016
    Co-located with CPS Week 2016, Vienna, Austria


Important Dates:
Early registration: ***18 March, 2016***
Workshop:            11 April, 2016

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 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. The first DARS workshop will consist of a number of invited
speakers who will share their diverse perspectives on the robustness problem.
The workshop will be informal, with plenty of time for Q&A and brainstorming

Pavithra Prabhakar, Kansas State University
Roopsha Samanta, IST Austria

Invited Speakers (partial list):
Roderick Bloem, Graz University of Technology
Georgios Fainekos, Arizona State University
Antoine Girard, CNRS
Jan Otop, University of Wrocław
Matthias Rungger, Technische Universität München
Ulrich Schmidt, Vienna University of Technology

More information about the Types-announce mailing list