Resilient control of cyber-physical systems using adaptive super-twisting observer

In this work, the problem of online secure state estimation and attack reconstruction in the face of offensives that corrupt the sensor measurements and modify the actuator commands of cyber–physical systems is investigated for designing a resilient controller for the system. The states of cyber–physical system and its actuator attacks are estimated/reconstructed online using a novel adaptive line-by-line super-twisting observer, whereas sparse stealth attacks on unprotected sensors are reconstructed using a sparse recovery algorithm. The estimated attacks are used for attack compensation by a resilient controller. The efficacy of the proposed technique is illustrated via simulation on a real electric power system under deception actuator attack and stealth sensor attack.     

Reliable control strategy based on sliding mode observer against FDI attacks in smart grid

This paper is concerned with the reliable operation of cyber-physical systems under false data injection attacks. First of all, a robust adaptive sliding mode observer is designed to estimate the state of the power system; different from the traditional sliding mode observer, the observer we designed is not only robust to state errors but also can automatically adjust the parameter of attack identification. Secondly, a method of attack reconstruction has been given to estimate the actual attack signal. Finally, a reliable sliding mode control strategy is proposed to eliminate the impact of false data injection attacks; compared with the existing results, the designed defense strategy utilizes the reconstructed attack signal in the attack identification scheme and state error signal at the same time. Moreover, a power system with 3 generator buses and 6 load buses is taken as an simulation example to verify the availability of the proposed control strategy.     

Fault tolerant sliding mode control for T-S fuzzy stochastic time-delay system via a novel sliding mode observer approach

In this paper, a fault estimation and fault-tolerant control problem for a class of T-S fuzzy stochastic time-delay systems with actuator and sensor faults is investigated. A novel sliding mode observer is proposed, which can simultaneously estimate the system states, actuator and sensor faults with good accuracy. Based on the state and actuator fault estimation, a new sliding mode control scheme is developed, which can effectively eliminate the influence of actuator fault. Sufficient conditions for the existence of the proposed observer and fault-tolerant sliding mode controller are provided in terms of linear matrix inequality, and moreover, the reachability of the sliding mode surface can be guaranteed under the proposed control scheme. The propose sliding mode observer and fault-tolerant sliding mode controller can overcome the restrictive assumption that the input matrix of all local modes is the same. Finally, a numerical example is provided to verify the effectiveness of the proposed sliding mode observer and fault-tolerant sliding mode control technique.     

Aero‐Engine DCS Fault‐Tolerant Control with Markov Time Delay Based On Augmented Adaptive Sliding Mode Observer

With a focus on aero‐engine distributed control systems (DCSs) with Markov time delay, unknown input disturbance, and sensor and actuator simultaneous faults, a combined fault tolerant algorithm based on the adaptive sliding mode observer is studied. First, an uncertain augmented model of distributed control system is established under the condition of simultaneous sensor and actuator faults, which also considers the influence of the output disturbances. Second, an augmented adaptive sliding mode observer is designed and the linear matrix inequality (LMI) form stability condition of the combined closed‐loop system is deduced. Third, a robust sliding mode fault tolerant controller is designed based on fault estimation of the sliding mode observer, where the theory of predictive control is adopted to suppress the influence of random time delay on system stability. Simulation results indicate that the proposed sliding mode fault tolerant controller can be very effective despite the existence of faults and output disturbances, and is suitable for the simultaneous sensor and actuator faults condition.     

网络攻击下的信息物理系统安全状态估计研究综述

近年来,信息物理系统在工业界的广泛应用引起了人们对系统安全问题的极大关注.信息物理系统对通信网络的深度依赖,使得网络攻击成为其中最为严峻的威胁之一,特别是那些能够干扰系统状态认知的攻击,因此,安全状态估计(即在遭受攻击时正确估计系统状态)已成为各界广泛关注的安全问题之一.此文旨在总结网络攻击下信息物理系统安全状态估计研究的进展.首先,介绍典型的网络攻击,并详细阐述在稀疏攻击下的安全状态估计问题.其次,探讨集中式安全状态估计和分布式安全状态估计的研究现状.在考虑稀疏攻击下安全状态估计问题的难点时,关键在于如何快速找到受到攻击的信道集合(这可能涉及到高计算复杂度).因此,将安全状态估计方法分为遍历搜索和非遍历搜索两大类,并对现有方法的优缺点进行归纳总结和详细阐述.然后,介绍稀疏攻击下信息物理系统安全状态能观性分析的研究现状.现有的研究结果表明:增加检测机制或先验知识可以缓解在稀疏攻击下安全状态估计所需的基础冗余度要求;同时,通过区分攻击和故障,也能有效降低传感器冗余度要求.最后,对信息物理系统安全状态估计仍然存在的问题进行展望,并提出一些可能的解决方向.     

基于滑模观测器和广义观测器的故障估计方法

针对受未知干扰影响的一类非线性系统,提出一种基于滑模观测器和广义观测器的执行器故障和传感器故障估计方法.首先通过线性变换将原系统解耦为两个降阶的子系统,其中一个子系统受执行器故障和干扰的影响,另一个含有传感器故障和干扰,进一步将后一个子系统转化为广义系统.对两类子系统分别设计滑模观测器和广义观测器,给出估计误差一致最终有界的条件,得到系统状态和未知干扰的估计值.然后,利用等效输出控制原理重构执行器故障,引入干扰补偿保证重构算法的鲁棒性,再根据广义观测器的结果获得传感器故障的估计值.最后,通过计算机仿真验证了本文方法的有效性.     

网络攻击下的信息物理系统安全性研究综述

随着信息物理系统在现代工业和制造业中的广泛应用,其安全性逐渐成为关系社会健康发展的重要因素.由于信息物理系统内部物理设备和通信网络的深度融合,网络攻击对系统安全的威胁日益凸显.首先,从攻击者角度总结各类网络攻击的特点,揭示系统在不同攻击下的脆弱性;其次,针对不同网络攻击的特性,从防御者角度对信息物理系统的安全状态估计、攻击检测和安全控制进行介绍,并阐述各防御策略的主要应用场景和优势;最后,对信息物理系统安全性研究面临的主要挑战进行展望.     

恶意攻击下基于分布式稀疏优化的安全状态估计

恶意生成的量测攻击信号是导致信息物理系统(Cyber-physical system, CPS)探测失效的主要原因, 如何有效削弱其影响是实现精准探测、跟踪与感知的关键问题. 分布式传感器网络(Distributed sensor network, DSN)依靠多传感器协作与并行处理突破单一监测节点的任务包线, 能够显著提升探测系统跟踪精度与可靠性. 首先, 依据压缩感知理论, 将单一节点的目标运动状态估计建模为一种基于l₀范数最小化的稀疏优化问题, 采用正交匹配追踪法(Orthogonal matching pursuit, OMP)重构量测攻击信号, 以克服采用凸优化算法求解易陷入局部最优的缺陷. 通过卡尔曼滤波量测更新抵消攻击信号影响, 恢复目标运动的真实状态. 其次, 针对错误注入攻击等复杂量测攻击形式, 基于势博弈理论, 提出一种分布式稀疏优化安全状态估计方法, 利用多传感器节点信息交互与协作提升探测与跟踪的稳定性. 仿真结果表明, 所提方法在分布式传感器网络协作抵抗恶意攻击方面具有优越性.     

Robust fault diagnosis of disturbed linear systems via a sliding mode high order differentiator

A fault estimator for linear systems affected by disturbances is proposed. Faults appearing explicitly in the state equation and in the system output (actuator faults and sensor faults) are considered. With this design neither the estimation of the state vector nor the estimation of the disturbances is required, implying that the structural conditions are less restrictive than the ones required to design an unknown input observer. Furthermore, the number of unknown inputs (faults plus disturbances) may be greater than the number of outputs. The faults are written as an algebraic expression of a high-order derivative of a function depending on the output. Thus, the reconstruction of the fault signals is carried out by means of a sliding mode high-order differentiator, which requires the derivative of the faults to have a bounded norm.     

虚假数据注入攻击信号的融合估计

研究了信息物理系统中假数据注入(False data injection, FDI)攻击信号的检测问题. 在分布式融合框架下, 首先将FDI攻击信号建模为信息物理系统模型中的未知输入, 从而使得攻击信号的检测问题转化为对FDI攻击信号的实时估计问题. 其次, 在每个传感器端设计基于自适应卡尔曼滤波的FDI攻击信号的局部估计器; 在融合中心端引入补偿因子, 设计分布式信息融合准则以导出攻击信号的融合估计器. 特别地, 当FDI攻击信号是时变情况时, 融合过程中补偿因子的引入可以大大提高对攻击信号的估计精度. 最后, 通过两个仿真算例验证所提算法的有效性.     

Integrated fault estimation and fault‐tolerant control for uncertain Lipschitz nonlinear systems

This paper proposes an integrated fault estimation and fault‐tolerant control (FTC) design for Lipschitz non‐linear systems subject to uncertainty, disturbance, and actuator/sensor faults. A non‐linear unknown input observer without rank requirement is developed to estimate the system state and fault simultaneously, and based on these estimates an adaptive sliding mode FTC system is constructed. The observer and controller gains are obtained together via H_∞ optimization with a single‐step linear matrix inequality (LMI) formulation so as to achieve overall optimal FTC system design. A single‐link manipulator example is given to illustrate the effectiveness of the proposed approach. Copyright © 2016 John Wiley & Sons, Ltd.     

Secure estimation for cyber‐physical systems with adversarial attacks and unknown inputs: An L2‐gain method

This paper investigates the attack‐resilient state estimation problem for linear systems with adversarial attacks and unknown inputs, where the upper bound of the unknown inputs is unknown. It is assumed that the attacker has limited resources and can only manipulate a certain number of sensors. In most of the existing observer design approaches for the systems with unknown inputs even in the absence of attacks, the observer matching condition should be satisfied. To overcome this restriction, a novel switched observer is proposed, where the matched unknown inputs will be completely compensated by means of the outputs and the mismatched part will be suppressed in terms of L₂‐gain rejection property. Meanwhile, the observer can provide an attack‐resilient state estimation. Compared with the existing results, the proposed observer can guarantee that the resulting observer error system is stable with unknown input attenuation level γ that can be optimized. Finally, a simulation example of an unmanned ground vehicle is provided to show the effectiveness of the proposed approach.     

基于高增益鲁棒滑模观测器的故障检测和隔离

针对一类同时具有执行器和传感器故障的不确定线性系统,讨论了基于观测器的故障检测和隔离方法.首先,通过引入增维向量,使得在构造的增维系统中,故障向量包含了原系统的执行器故障和传感器故障.通过构造辅助输出使增维系统的观测器匹配条件得以满足,同时设计高增益滑模观测器对辅助输出进行估计.然后,对增维系统构造鲁棒滑模观测器并用作故障检测观测器,通过滑模控制项来抑制干扰,使观测器具有鲁棒性.在此基础上,结合多观测器故障隔离思想,提出了可以同时对执行器故障和传感器故障进行检测和隔离的方法. 最后,通过对一个五阶飞行器模型进行仿真,证明了所提方法的有效性.     

A bounded-error approach to simultaneous state and actuator fault estimation for a class of nonlinear systems

This paper proposes an approach for the joint state and fault estimation for a class of uncertain nonlinear systems with simultaneous unknown input and actuator faults. This is achieved by designing an unknown input observer combined with a set-membership estimation in the presence of disturbances and measurement noise. The observer is designed using quadratic boundedness approach that is used to overbound the estimation error. Sufficient conditions for the existence and stability of the proposed state and actuator fault estimator are expressed in the form of linear matrix inequalities (LMIs). Simulation results for a quadruple-tank system show the effectiveness of the proposed approach.     

Sliding mode estimation schemes for incipient sensor faults

This paper proposes a new method for the analysis and design of sliding mode observers for sensor fault reconstruction. The proposed scheme addresses one of the restrictions inherent in other sliding mode estimation approaches for sensor faults in the literature (which effectively require the open-loop system to be stable). For open-loop unstable systems, examples can be found, for certain combinations of sensor faults, for which existing sliding mode and unknown input linear observer schemes cannot be employed, to reconstruct faults. The method proposed in this paper overcomes these limitations. Simulation results demonstrate the effectiveness of the design framework proposed in the paper.     

Sensor fault diagnosis for a class of time delay uncertain nonlinear systems using neural network

In this paper, a sliding mode observer scheme of sensor fault diagnosis is proposed for a class of time delay nonlinear systems with input uncertainty based on neural network. The sensor fault and the system input uncertainty are assumed to be unknown but bounded. The radial basis function (RBF) neural network is used to approximate the sensor fault. Based on the output of the RBF neural network, the sliding mode observer is presented. Using the Lyapunov method, a criterion for stability is given in terms of matrix inequality. Finally, an example is given for illustrating the availability of the fault diagnosis based on the proposed sliding mode observer.     

基于广义未知输入观测器的鲁棒故障估计方法

当干扰存在时,有效地估计故障且放松故障的限制条件需要进一步的研究,为此针对含未知干扰的非线性连续系统的鲁棒故障估计问题提出一种广义未知输入观测器方法。首先,将执行器故障向量和传感器故障向量与原系统状态向量组成广义系统,放松对故障类型的限制,对此广义系统设计未知输入观测器解耦干扰,保证鲁棒性的同时估计出状态变量、执行器故障及其一阶微分和传感器故障。然后通过解线性矩阵不等式（LMI）给出估计误差渐近收敛的条件。最后,在MATLAB 的simulink平台上用三叶片水平轴风力模型仿真验证本文观测器的故障估计有效性鲁棒性。     

Robust discrete‐time nonlinear sliding mode state estimation of uncertain nonlinear systems

In this paper, we propose a discrete‐time nonlinear sliding mode observer for state and unknown input estimations of a class of single‐input/single‐output nonlinear uncertain systems. The uncertainties are characterized by a state‐dependent vector and a scalar disturbance/unknown input. The discrete‐time model is derived through Taylor series expansion together with nonlinear state transformation. A design methodology that combines the discrete‐time sliding mode (DSM) and a nonlinear observer design is adopted, and a strategy is developed to guarantee the convergence of the estimation error to a bound within the specified boundary layer. A relation between sliding mode gain and boundary layer is established for the existence of DSM, and the estimation is made robust to external disturbances and uncertainties. The unknown input or disturbance can also be estimated through the sliding mode. The conditions for the asymptotical stability of the estimation error are analysed. Application to a bioreactor is given and the simulation results demonstrate the effectiveness of the proposed scheme. Copyright © 2006 John Wiley & Sons, Ltd.     

Joint attack detection and secure state estimation of cyber‐physical systems

This paper deals with secure state estimation of cyber‐physical systems subject to switching (on/off) attack signals and injection of fake packets (via either packet substitution or insertion of extra packets). The random set paradigm is adopted in order to model, via random finite sets (RFSs), the switching nature of both system attacks and the injection of fake measurements. The problem of detecting an attack on the system and jointly estimating its state, possibly in the presence of fake measurements, is then formulated and solved in the Bayesian framework for systems with and without direct feedthrough of the attack input to the output. This leads to the analytical derivation of a hybrid Bernoulli filter (HBF) that updates in real time the joint posterior density of a Bernoulli attack RFS and of the state vector. A closed‐form Gaussian mixture implementation of the proposed HBF is fully derived in the case of invertible direct feedthrough. Finally, the effectiveness of the developed tools for joint attack detection and secure state estimation is tested on two case studies concerning a benchmark system for unknown input estimation and a standard IEEE power network application.