欺骗攻击环境下具有执行器故障的跳变耦合 信息物理系统的同步控制

Synchronization control of jumping coupled cyber physical system with actuator failures under deception attacks

中文关键词  信息物理系统  欺骗攻击  执行器故障  Markov跳变  同步控制

英文关键词  cyber physical system  deception attacks  actuator failures  Markov jumping  synchronization control

中文摘要

      针对一类离散Markov跳变耦合信息物理系统(Cyber Physical System, CPS)的同步控制问题, 在考虑系统参数跳变、耦合参数跳变、控制信息不完全和人为攻击的情况下, 设计同步控制器实现CPS的同步. 首先, 给出具有随机欺骗攻击和执行器故障的Markov 跳变耦合CPS模型. 其次, 基于矩阵Kronecker积, 得到同步误差系统, 将CPS的同步控制问题转化为同步误差系统的稳定性分析问题. 再次, 通过构造合适的Lyapunov-Krasovskii泛函, 并利用Lyapunov稳定性理论和线性矩阵不等式方法得到使同步误差系统稳定的充分条件, 在此基础上, 设计同步控制器实现对Markov跳变耦合CPS的同步控制. 最后, 通过数值仿真例子说明该同步控制器设计方法的有效性.

英文摘要

      This paper studies synchronization control problem for a class of discrete-time Markov jumping coupled cyber physical system (CPS). Considering both system and coupling parameter jumps, as well as incomplete control information and deception attacks, a set of synchronization controllers are designed to achieve synchronization of CPS. First, Markov jumping coupled CPS with random deception attacks and actuator failures are formulated. Then, synchronization error system is developed based on matrix Kronecker product to transform synchronization control problem for CPS to stability analysis problem for synchronization error system. Sufficient conditions for the stability of the synchronization error system are obtained by constructing a suitable Lyapunov-Krasovskii functional and utilizing Lyapunov stability theory and linear matrix inequality method. Then, synchronization controllers are designed to synchronize the Markov jumping coupled CPS. Finally, a numerical example is presented to show the validity of the proposed synchronization controllers design method.