Model-based Test-Driven Cyber-Physical System Design

2018 ◽  
Author(s):  
Yujian Fu ◽  
Wichien Choosilp ◽  
Zhijiang Dong

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.


Author(s):  
Cunbin Li ◽  
Ding Liu ◽  
Yi Wang ◽  
Chunyan Liang

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.


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

Sign in / Sign up

Export Citation Format

Share Document