Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 10451

Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

( Nov 07 – Nov 12, 2010 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:




Over the last decade and a half, a phase transition has occurred in the level of processing power that is incorporated in embedded systems. Simultaneously, a phase transition occurred in the scale of problems that can now be solved by automated reasoning methods. This is leading to a revolution in a range of disciplines, including model-based planning and scheduling, verification, diagnosis, and hybrid systems control: each discipline is applying automated reasoning to increasingly complex real-world problems, and is incorporating real-time versions of their respective methods on board embedded systems. These are employed in order to elevate the level at which the embedded system is commanded, to verify correctness of system behavior at runtime, to improve the reconfigurability of the system, and to automatically recover from failure. The future trend is to connect these computationally intensive systems into vast, networked embedded systems, such as nation-wide earth observing systems, coastal cabled observatories, or smart power grids.

The objective of this seminar is to catalyze a new field of model-based autonomous, embedded and robotic systems, with the salient characteristic that these devices incorporate a significant level of the above-mentioned online reasoning, based on a system model. A common vision is emerging of systems that combine varied forms of real-time reasoning on models within comprehensive run-time architectures, and that are programmed using new forms of high-level programming languages. However, while many of the appropriate languages and modeling formalisms exist, as well as real-time reasoning algorithms for planning and monitoring, these elements are currently spread amongst several disciplines. This seminar will therefore bring together researchers from four complementary disciplines to work towards languages and architectures for model-based autonomy:

  • Model-based Diagnosis and Execution
  • Runtime Verification
  • Continuous Planning and Dispatching
  • Control of Hybrid Discrete/Continuous Systems

Through a mix of technical presentations, tutorials, panels, and breakout discussions, we seek to map out the necessary architectures, languages, formal models, and underlying reasoning methods for predictable robust and autonomous embedded systems. Discussions at the seminar will thus help to identify research needs of autonomous systems in terms of capabilities for monitoring, verification, diagnosis, planning and control in the context of compelling applications. At the same time, participants will be able to discuss technical approaches that have emerged in various related research areas, and assess their applicability to this emerging field.

  • Cyrille Artho (AIST - Tokyo, JP) [dblp]
  • Andreas Bauer (NICTA - Canberra, AU) [dblp]
  • Johan de Kleer (Xerox PARC - Palo Alto, US)
  • Richard W. Dearden (University of Birmingham, GB) [dblp]
  • Alessandro Donati (ESA / ESOC - Darmstadt, DE) [dblp]
  • Bernd Finkbeiner (Universität des Saarlandes, DE) [dblp]
  • Maria Fox (University of Strathclyde, GB) [dblp]
  • Alban Grastien (NICTA - Canberra, AU)
  • Klaus Havelund (NASA - Pasadena, US) [dblp]
  • Michael W. Hofbaur (UMIT - Hall in Tirol, AT) [dblp]
  • Andreas Hofmann (MIT - Cambridge, US) [dblp]
  • Hadas Kress-Gazit (Cornell University, US) [dblp]
  • Martin Leucker (Universität Lübeck, DE) [dblp]
  • Derek Long (University of Strathclyde, GB) [dblp]
  • Daniele Magazzeni (University of Strathclyde, GB) [dblp]
  • Somayeh Malakuti (University of Twente, NL) [dblp]
  • Robert A. Morris (NASA - Moffett Field, US)
  • Charles Pecheur (University of Louvain, BE)
  • Doron A. Peled (Bar-Ilan University - Ramat Gan, IL) [dblp]
  • Gregory Provan (University College Cork, IE)
  • Kanna Rajan (MBARI - Moss Landing, US) [dblp]
  • Paul Robertson (Doll Inc. - MA, US)
  • Martin Sachenbacher (TU München, DE)
  • César Sánchez (IMDEA Software - Madrid, ES) [dblp]
  • Justin Seyster (SUNY - Stony Brook, US)
  • Julie Shah (MIT - Cambridge, US) [dblp]
  • Oleg Sokolsky (University of Pennsylvania - Philadelphia, US) [dblp]
  • Volker Stolz (United Nations University - Macau, CN) [dblp]
  • Olaf Stursberg (Universität Kassel, DE) [dblp]
  • Serdar Tasiran (Koc University - Istanbul, TR) [dblp]
  • Ufuk Topcu (CalTech - Pasadena, US) [dblp]
  • Louise Travé-Massuyès (LAAS - Toulouse, FR) [dblp]
  • Gerard Verfaillie (ONERA - Toulouse, FR)
  • Brian C. Williams (MIT - Cambridge, US) [dblp]
  • Franz Wotawa (TU Graz, AT)

Related Seminars
  • Dagstuhl Seminar 07011: Runtime Verification (2007-01-02 - 2007-01-06) (Details)
  • Dagstuhl Seminar 19432: Analysis of Autonomous Mobile Collectives in Complex Physical Environments (2019-10-20 - 2019-10-23) (Details)

  • artifical intelligence
  • robotics / data structures
  • algorithms
  • complexity / modelling
  • simulation / software engineering / verification
  • logic

  • Runtime Verification
  • Model-based Diagnosis
  • Planning
  • Control
  • Autonomous Systems