Cyber Physical System Design

2015 ◽  
pp. 38-60
Keyword(s):  
Mathematical Modelling ◽  
Design Optimization ◽  
System Design ◽  
Dynamic Systems ◽  
Physical System ◽  
Cyber Physical Systems ◽  
Cyber Physical System ◽  
Large Set ◽  
Temporal Semantics ◽  
Model Based

A large set of CPS physical processes are referred to as Cyber Physical System community. This CPS community deals with the modelling and design optimization of CPS. The network elements that are model-based emphasize control over system with various temporal semantics. Model-based design is a great technique for CPSs and are mainly used for developing mathematical modelling to plan, examine, prove, and certify dynamic systems. This is described in ten fundamental steps. This design methodology helps in assessing the development of CPS. Due to difficulty and nonexistence of accurate and technical tools, the three necessary elements in the strategy and study of existing and forthcoming cyber-physical systems are also explained in the chapter.

Model-based Test-Driven Cyber-Physical System Design

2018 ◽  
Author(s):  
Yujian Fu ◽  
Wichien Choosilp ◽  
Zhijiang Dong
Keyword(s):  
System Design ◽  
Physical System ◽  
Cyber Physical System ◽  
Model Based

scholarly journals An ontological metamodel for cyber-physical system safety, security, and resilience coengineering

2021 ◽  
Author(s):  
Georgios Bakirtzis ◽  
Tim Sherburne ◽  
Stephen Adams ◽  
Barry M. Horowitz ◽  
Peter A. Beling ◽  
...  
Keyword(s):  
System Design ◽  
Physical System ◽  
Oil And Gas ◽  
Cyber Physical Systems ◽  
Cyber Physical System ◽  
Modeling Languages ◽  
System Safety ◽  
Physical Systems ◽  
Resilience Mechanisms ◽  
Pipeline Model

AbstractCyber-physical systems are complex systems that require the integration of diverse software, firmware, and hardware to be practical and useful. This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of “-ilities”, such that they are safe and secure and ultimately resilient to disruption of service. We propose an ontological metamodel for system design that augments an already existing industry metamodel to capture the relationships between various model elements (requirements, interfaces, physical, and functional) and safety, security, and resilient considerations. Employing this metamodel leads to more cohesive and structured modeling efforts with an overall increase in scalability, usability, and unification of already existing models. In turn, this leads to a mission-oriented perspective in designing security defenses and resilience mechanisms to combat undesirable behaviors. We illustrate this metamodel in an open-source GraphQL implementation, which can interface with a number of modeling languages. We support our proposed metamodel with a detailed demonstration using an oil and gas pipeline model.

Grid Cyber-Physical System Risk Management Model Based on Cooperative Game Theory

2020 ◽  
Vol 21 (1) ◽  
Author(s):  
Cunbin Li ◽  
Ding Liu ◽  
Yi Wang ◽  
Chunyan Liang
Keyword(s):  
Game Theory ◽  
Risk Management ◽  
Cooperative Game ◽  
Physical System ◽  
Cooperative Game Theory ◽  
Power Grid ◽  
Management Model ◽  
Cyber Physical System ◽  
Model Based ◽  
Generation Power

AbstractAdvanced grid technology represented by smart grid and energy internet is the core feature of the next-generation power grid. The next-generation power grid will be a large-scale cyber-physical system (CPS), which will have a higher level of risk management due to its flexibility in sensing and control. This paper explains the methods and results of a study on grid CPS’s behavior after risk. Firstly, a behavior model based on hybrid automata is built to simulate grid CPS’s risk decisions. Then, a GCPS risk transfer model based on cooperative game theory is built. The model allows decisions to ignore complex network structures. On this basis, a modified applicant-proposing algorithm to achieve risk optimum is proposed. The risk management model proposed in this paper can provide references for power generation and transmission decision after risk as well as risk aversion, an empirical study in north China verifies its validity.

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design

2019 ◽  
Vol 18 (1) ◽  
pp. 1-26 ◽  
Author(s):  
Pierluigi Nuzzo ◽  
Jiwei Li ◽  
Alberto L. Sangiovanni-Vincentelli ◽  
Yugeng Xi ◽  
Dewei Li
Keyword(s):  
System Design ◽  
Physical System ◽  
Cyber Physical System

scholarly journals OPEN-SCIENCE SPACE ISSUE: CALIBRATION OF MEASURING CHANNELS OF NON-DISMANTLING CYBER-PHYSICAL SYSTEMS

2021 ◽  
Vol 82 (3) ◽  
pp. 12-17
Author(s):  
Bohdan Stadnyk ◽  
◽  
Vasyl Yatsuk ◽  
Mykola Mykyjchuk ◽  
Svyatoslav Yatsyshyn ◽  
...  
Keyword(s):  
Physical System ◽  
Open Science ◽  
Cyber Physical Systems ◽  
Metrological Characteristics ◽  
Cyber Physical System ◽  
Cyberphysical Systems ◽  
Time Code ◽  
Efficient Operation ◽  
Physical Systems ◽  
Physical Quantities

The analysis of the concept of Open-Science Space is carried out. The existence of ways to achieve reproducibility and traceability of research results performed by a group of worldwide situated Cyber-physical system operators/supervisors is shown. Ways to ensure the efficient operation of Cyber-physical systems as complex technological nondemountable objects with high requirements for metrological characteristics have been studied. To develop the scattered cyberphysical systems, the portable stable-in-time code-controlled measures of physical quantities have been studied. They have to be metrologically confirmed in the laboratory before the delivery to the site of the measuring subsystem for its calibration.

Sign in / Sign up

Export Citation Format

Share Document