1 Search Results for "Prabhakhar, Pavithra"


Document
Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362)

Authors: Martin Fränzle, James Kapinski, and Pavithra Prabhakhar

Published in: Dagstuhl Reports, Volume 6, Issue 9 (2017)


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".

Cite as

Martin Fränzle, James Kapinski, and Pavithra Prabhakhar. Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362). In Dagstuhl Reports, Volume 6, Issue 9, pp. 29-45, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{franzle_et_al:DagRep.6.9.29,
  author =	{Fr\"{a}nzle, Martin and Kapinski, James and Prabhakhar, Pavithra},
  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 =	{Fr\"{a}nzle, Martin and Kapinski, James and Prabhakhar, Pavithra},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.6.9.29},
  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}
}
  • Refine by Author
  • 1 Fränzle, Martin
  • 1 Kapinski, James
  • 1 Prabhakhar, Pavithra

  • Refine by Classification

  • Refine by Keyword
  • 1 aerospace
  • 1 automotive
  • 1 cyber-physical systems
  • 1 fault tolerance
  • 1 formal verification
  • Show More...

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2017

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail