2026-07-22T21:50:42Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10858 2024-03-06T10:27:04Z ddc:004 open_access

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071) Deshmukh, Jyotirmoy V. Maler, Oded Nickovic, Dejan Cyber-physical systems formal specifications runtime verification and control 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Jyotirmoy V. Deshmukh and Oded Maler and Dejan Nickovic 2019 Is Part Of Dagstuhl Reports, Volume 9, Issue 2 (2019) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.9.2.48 urn:nbn:de:0030-drops-108581 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.2.48 eng https://creativecommons.org/licenses/by/3.0/legalcode