License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.4.3.85
URN: urn:nbn:de:0030-drops-45937
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2014/4593/
Go back to Dagstuhl Reports

Majumdar, Rupak ; Murray, Richard M. ; Prabhakar, Pavithra
Weitere Beteiligte (Hrsg. etc.): Rupak Majumdar and Richard M. Murray and Pavithra Prabhakar

Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)

pdf-format:
dagrep_v004_i003_p085_s14122.pdf (0.7 MB)

Abstract

Cyber-physical systems refer to a new genre of engineered systems consisting of a tight coupling between computation, communication and physical entities. The main focus of the seminar was to discuss issues related to the reliable development of cyber-physical systems by using formal verification. This is a multi-disciplinary area requiring collaboration between areas focusing discrete systems analysis and continuous systems analysis. To this end, the seminar brought together researchers working in the fields of formal methods, control theory and hybrid systems to identify and discuss potential issues and research questions which require collaboration between the communities. This report documents the program and the outcomes of Dagstuhl Seminar 14122 "Verification of Cyber-Physical Systems".

BibTeX - Entry

@Article{majumdar_et_al:DR:2014:4593,
  author =	{Rupak Majumdar and Richard M. Murray and Pavithra Prabhakar},
  title =	{{Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)}},
  pages =	{85--102},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{3},
  editor =	{Rupak Majumdar and Richard M. Murray and Pavithra Prabhakar},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4593},
  URN =		{urn:nbn:de:0030-drops-45937},
  doi =		{10.4230/DagRep.4.3.85},
  annote =	{Keywords: Formal Verification, Cyber-Physical Systems, Hybrid Systems}
}

Keywords: Formal Verification, Cyber-Physical Systems, Hybrid Systems
Collection: Dagstuhl Reports, Volume 4, Issue 3
Issue Date: 2014
Date of publication: 01.07.2014

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI