9.1.1 Semantic Platforms for Cyber‐Physical Systems

Abstract

Abstract. This paper describes the development of semantic platforms to support the modeling, architectural design, realization, and operation of cyber-physical systems. Platform architectures work directly with formal models of domain knowledge (not just raw data) that are determinate, provable (ambiguity free), executable, and with semantic parameters and rule engines that reason with physical quantities and across domains. These concepts are exercised in a case study application: the "decision-dilemma problem" for traffic systems.

An ontological framework for knowledge modeling and decision support in cyber-physical systems

“…Our focus will be on the domains layer of the architecture and its immediate parent (integration) and child (extension and computation support). This case study problem builds upon our previous work illustrating the implementation of the application layer, and the problem of a self-driving car car traveling through a traffic intersection controlled by a smart traffic light system [44,53]. In the latter, vehicles (i.e., the physical system) interact with the light (i.e., the cyber system) with the objective of maximizing traffic throughput, while ensuring vehicle crossings are safe at the intersection.…”

Collaborative Model‐based Systems Engineering for Cyber‐Physical Systems, with a Building Automation Case Study

“…There appears to be less work on the integration of diverse models into work flows. (Petnga and Austin, 2014) propose a systematic iterative work flow for CPS development that utilises semantic technologies, including the definition of ontologies for concepts in the application and infrastructure levels. This is complementary to the work we describe here, which focuses on the formal semantics of diverse modelling notations.…”