TOP
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
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 11441

Science and Engineering of Cyber-Physical Systems

( Nov 01 – Nov 04, 2011 )

(Click in the middle of the image to enlarge)

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/11441

Organizers

Contact


Schedule

Summary

Today, a new category of engineering systems is emerging that combines physical processes with computational control in a holistic way: Cyber-physical systems (CPS). Cyber Physical Systems are engineered systems of synergistically interacting physical and computational components. The key property of these systems is that functionality and salient system properties are emerging from an intensive interaction of physical and computational components. As the computational components are aware of their physical context, they are intrinsically distributed, (time)-synchronizing, have to cope with uncertainty of sensoric-input and need to produce real-time reactions. Consider an unmanned aerial vehicle (UAV) with active wings. In such an UAV, a cyber-physical system may consist of an embedded controller, monitoring the airflow over the wing surface and electromechanical actuators modulating the airflow to ensure laminar flow such that the vehicle is capable of extreme maneuvers. Unlike more traditional embedded systems, full-fledged CPSs are often designed as networks of interacting elements including autonomous automotive systems, medical monitoring, process control systems, distributed robotics, and automatic pilot avionics. The question naturally arises: are cyber-physical systems fundamentally different such that they need a different fundamental science, a different development approach, or is the current approach sufficient and no new research is necessary? We argue that new science, new techniques, and a new view are necessary.

Traditional separation along engineering disciplines in the design of such systems leads to various quality, maintainability and evolutionary problems: thus, integrated theories and engineering techniques are urgently needed.

The technology is pervasive, transcends industrial sectors and serves as the engine of innovation for new generation of products. CPS is also a disruptive technology that transforms established industries, may create new ones and possibly rearranges the status quo of development in entire industrial sectors. Current industrial experience tells us that we have reached the limits of our knowledge regarding integration of computers and physical systems.

These shortcomings range from technical limitations in the scientific foundations of cyber-physical systems through the engineering processes to the way we educate engineers and scientists that support cyber-physical system design.

However, besides the National Science Foundation initiative in the US, the topic is currently addressed by initiatives such as intelligent and autonomic automobiles, ambient intelligence, self-organizing embedded systems, plant-control and reparation, self-optimizing mechatronic systems, "smart" power grids, in-home medical assistance devices, etc.

This seminar focused on the scientific foundations and the engineering aspects of cyber-physical systems by bringing together researchers from both academia and industry to discuss the new scientific foundations and engineering principles for the vastly emerging field of CPS.


Participants
  • Luis Almeida (University of Porto, PT) [dblp]
  • Panos J. Antsaklis (University of Notre Dame, US)
  • Karl-Erik Arzén (Lund University, SE)
  • Gary Balas (University of Minnesota - Minneapolis, US)
  • Basil Becker (Hasso-Plattner-Institut - Potsdam, DE)
  • Kirstie Bellman (The Aerospace Corp. - El Segundo, US) [dblp]
  • Frédéric Boulanger (Supélec - Gif-sur-Yvette, FR) [dblp]
  • Christian Buckl (fortiss GmbH - München, DE)
  • John S. Fitzgerald (University of Newcastle, GB) [dblp]
  • Martin Fränzle (Universität Oldenburg, DE) [dblp]
  • Holger Giese (Hasso-Plattner-Institut - Potsdam, DE) [dblp]
  • Cecile Hardebolle (Supélec - Gif-sur-Yvette, FR)
  • Constance L. Heitmeyer (Naval Research - Washington, US) [dblp]
  • Andreas Herkersdorf (TU München, DE) [dblp]
  • Jérôme Hugues (ISAE - Toulouse, FR) [dblp]
  • Michaela Huhn (TU Clausthal, DE) [dblp]
  • Hardi Hungar (DLR - Braunschweig, DE) [dblp]
  • Gabor Karsai (Vanderbilt University, US) [dblp]
  • Philip Koopman (Carnegie Mellon University - Pittsburgh, US) [dblp]
  • Stefan Kowalewski (RWTH Aachen, DE) [dblp]
  • Christoph Krauß (Fraunhofer AISEC - München, DE)
  • Peter Bernard Ladkin (Universität Bielefeld, DE)
  • Tom S. Maibaum (McMaster University - Hamilton, CA) [dblp]
  • Pieter J. Mosterman (The MathWorks Inc. - Natick, US) [dblp]
  • Jerzy W. Rozenblit (University of Arizona - Tucson, US)
  • Bernhard Rumpe (RWTH Aachen, DE) [dblp]
  • Bernhard Schätz (fortiss GmbH - München, DE) [dblp]
  • Janos Sztipanovits (Vanderbilt University, US) [dblp]
  • Hans Vangheluwe (McGill University, US & University of Antwerp, BE) [dblp]
  • Alan Wassyng (McMaster University - Hamilton, CA) [dblp]

Classification
  • sw-engineering
  • embedded systems
  • real-time systems
  • control

Keywords
  • Embedded systems
  • real-time systems
  • control
  • composition
  • system integration
  • design automation
  • model-driven development
  • validation & verification