Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Fränzle, Martin; Kapinski, James; Prabhakhar, Pavithra http://www.dagstuhl.de/dagrep License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-69135
URL:

; ;
Weitere Beteiligte (Hrsg. etc.): Martin Fränzle and James Kapinski and Pavithra Prabhakar

Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362)

pdf-format:


Abstract

Electronically controlled systems have become pervasive in modern society and are increasingly being used to control safety-critical applications, such as medical devices and transportation systems. At the same time, these systems are increasing in complexity at an alarming rate, making it difficult to produce system designs with guaranteed robust performance. Cyber-physical systems (CPS) is a new multi-disciplinary field aimed at providing a rigorous framework for designing and analyzing these systems, and recent developments in CPS-related fields provide techniques to increase robustness in the design and analysis of complex systems. This seminar brought together researchers from both academia and industry working in hybrid control systems, mechatronics, formal methods, and real-time embedded systems. Participants identified and discussed newly available techniques related to robust design and analysis that could be applied to open issues in the area of CPS and identified open issues and research questions that require collaboration between the communities. This report documents the program and the outcomes of Dagstuhl Seminar 16362 "Robustness in Cyber-Physical Systems".

BibTeX - Entry

@Article{frnzle_et_al:DR:2017:6913,
  author =	{Martin Fr{\"a}nzle and James Kapinski and Pavithra Prabhakhar},
  title =	{{Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362)}},
  pages =	{29--45},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{6},
  number =	{9},
  editor =	{Martin Fr{\"a}nzle and James Kapinski and Pavithra Prabhakar},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/6913},
  URN =		{urn:nbn:de:0030-drops-69135},
  doi =		{10.4230/DagRep.6.9.29},
  annote =	{Keywords: aerospace, automotive, cyber-physical systems, fault tolerance, formal verification, real-time and embedded systems, robustness}
}

Keywords: aerospace, automotive, cyber-physical systems, fault tolerance, formal verification, real-time and embedded systems, robustness
Seminar: Dagstuhl Reports, Volume 6, Issue 9
Issue date: 2017
Date of publication: 2017


DROPS-Home | Fulltext Search | Imprint Published by LZI