A survey on security control and attack detection for industrial cyber-physical systems

Cyberphysical systems (CPSs) are new class of engineered systems that offer close interaction between cyber and physical components. The field of CPS has been identified as a key area of research, and CPSs are expected to play a major role in the design and development of future systems. In this paper, we survey recent advancements made in the development and applications of CPSs. We classify the existing research work based on their characteristics and identify the future challenges. We also discuss the examples of prototypes of CPSs. The aim of this survey is to enable researchers and system designers to get insights into the working and applications of CPSs and motivate them to propose novel solutions for making wide-scale adoption of CPS a tangible reality.

Design Techniques and Applications of Cyberphysical Systems: A Survey

ion Refinement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Pei-Hsin Ho

Automated Technology for Verification and Analysis

Cyber-physical systems (CPS) are characterized by integrating cybernetic and physical processes. The theories and applications of CPS face the enormous challenges. The aim of this paper is to provide a latest understanding of this emerging multi-disciplinary methodology. First, the features of CPS are described, and the research progresses are summarized from different components in CPS, such as system modeling, information acquisition, communication, control and security. Each part is also followed by the future directions. Then some typical applications are given to show the prospects of CPS.

A comprehensive overview of cyber-physical systems: from perspective of feedback system

Cyber–physical interactions in power systems: A review of models, methods, and applications

In this paper, we describe an approach to the analysis and design of power grid dynamic performance based on hybrid systems theory. Power grid is a large-scale cyber-physical system for transmission of electrical energy. The joint dynamics of physical processes and cyber elements in power grids are typical of a mixture of continuous and discrete behaviors, that is, hybrid dynamics. We address problems on stability that are basic concerns in the performance of current and future power grids with the hybrid dynamics. Measures for stability of power grids are interpreted as safety specifications in hybrid system models and are translated into restrictions on the systems' reachable sets of states. Algorithmic reachability analysis of hybrid systems enables analysis of safe initial states and hence quantitative estimation of stability regions. Also it contributes to synthesis of safe initial states as well as switching conditions in order to satisfy safety specifications in a power grid. We demonstrate the approach for two problems on transient stability of the single machine/infinite bus (SMIB) system and on fault release control of a multimachine power grid.

/pdf/a-hybrid-system-approach-to-the-analysis-and-design-of-power-13ynhsv309.pdf

A Hybrid System Approach to the Analysis and Design of Power Grid Dynamic Performance

2005 International Symposium on Nonlinear Theory and its Applications (NOLTA2005), Bruges, Belgium, October 18-21, 2005

/pdf/application-of-hybrid-system-theory-to-power-system-4hpjkrsb20.pdf

Application of hybrid system theory to power system stability analysis

http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/73436/1/susuki_IFAC2006a.pdf

Predicting transient instability of power systems based on hybrid system reachability analysis

PREDICTING TRANSIENT INSTABILITY OF POWER SYSTEMS BASED ON HYBRID SYSTEM REACHABILITY ANALYSIS11This research is partially supported by the Ministry of Education, Culture, Sports, Sciences and Technology in Japan, The 21st Century COE Program (Grand No. 14213201).

In this paper, we describe an approach to the analysis and design of power grid dynamic performance based on hybrid systems theory. Power grid is a large-scale cyber- physical system for transmission of electrical energy. The joint dynamics of physical processes and cyber elements in power grids are typical of a mixture of continuous and discrete be- haviors, that is, hybrid dynamics. We address problems on stability that are basic concerns in the performance of current and future power grids with the hybrid dynamics. Measures for stability of power grids are interpreted as safety specifications in hybrid system models and are translated into restrictions on the systems' reachable sets of states. Algorithmic reachability analysis of hybrid systems enables analysis of safe initial states and hence quantitative estimation of stability regions. Also it contributes to synthesis of safe initial states as well as switch- ing conditions in order to satisfy safety specifications in a power grid. We demonstrate the approach for two problems on transient stability of the single machine/infinite bus (SMIB) system and on fault release control of a multimachine power grid.

A Hybrid System Approach to theAnalysisandDesignofPower Grid Dynamic Performance This paper develops a hybrid model-based theory and methods for managing the joint dynamics of cyber elements and physical processes in the smart grid and ensuring grid stability.

Hiroaki Ebina

Papers

A Hybrid System Approach to the Analysis and Design of Power Grid Dynamic Performance

Application of hybrid system theory to power system stability analysis

Predicting transient instability of power systems based on hybrid system reachability analysis

PREDICTING TRANSIENT INSTABILITY OF POWER SYSTEMS BASED ON HYBRID SYSTEM REACHABILITY ANALYSIS11This research is partially supported by the Ministry of Education, Culture, Sports, Sciences and Technology in Japan, The 21st Century COE Program (Grand No. 14213201).

A Hybrid System Approach to theAnalysisandDesignofPower Grid Dynamic Performance This paper develops a hybrid model-based theory and methods for managing the joint dynamics of cyber elements and physical processes in the smart grid and ensuring grid stability.