Document Open Access Logo

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)

Authors Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic and all authors of the abstracts in this report

PDF

File

Thumbnail PDF
PDF
DagRep.9.2.48.pdf
  • Filesize: 10.18 MB
  • 25 pages

Document Identifiers

Subject Classification

Keywords
  • Cyber-physical systems
  • formal specifications
  • runtime verification and control

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar
19071 "Specification Formalisms for Modern Cyber-Physical Systems."
Specifications play a major role in evaluating behaviors of modern
cyber-physical systems (CPS). There is currently no specification
language that allows joint description of safety, performance,
security, privacy, and reliability aspects of CPS applications.  The
Dagstuhl seminar brought together researchers and practitioners from
formal methods, control theory, machine learning and robotics to
discuss the state-of-the-art and open challenges in specifying
properties of modern CPS. Special attention was given to exploring the
intersection of machine learning and formal specification languages,
where formal specifications can serve as a bridge between the world of
verification and the world of learning and data-mining.

Cite As Get BibTex

Jyotirmoy V. Deshmukh, Oded Maler, and Dejan Nickovic. Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071). In Dagstuhl Reports, Volume 9, Issue 2, pp. 48-72, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019) https://doi.org/10.4230/DagRep.9.2.48

Author Details

Jyotirmoy V. Deshmukh
Oded Maler
Dejan Nickovic
and all authors of the abstracts in this report
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
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact