Guaranteed cost control of cyber‐physical systems with packet dropouts under dos jamming attacks

Cyber‐Physical Systems (CPSs) are vulnerable to malicious network attacks due to tight combination of cyber‐system and physical system through a more open network communication. In this paper, a guaranteed cost control problem for a CPS under DoS jamming attacks is solved via both state feedback and output feedback methods. Specifically, an energy constraint DoS jammer with clear periodic attack strategy is proposed to attack wireless channel and to degrade the system performance. Without knowing the DoS jammer's attack strategy, a passive attack‐tolerant mechanism is established, and the corresponding state feedback and output feedback controllers are designed to achieve guaranteed cost control for the CPS with inherent packet dropouts under DoS jamming attacks. Finally, numerical examples are presented to demonstrate the effectiveness of the guaranteed cost controllers.     

Resilient filtering for cyber‐physical systems under denial‐of‐service attacks

Owing to the deep integration of control, computation, and communication, cyber‐physical systems (CPSs) play an important role in wide real‐world applications. In this paper, we investigate the problem of resilient filter design of CPSs under malicious denial‐of‐service (DoS) attacks launched by adversaries. Firstly, based on two standard assumptions concerning with the frequency and duration of DoS attacks, we state the H_∞ filtering problem for the CPSs under DoS attacks. Then, sufficient conditions are developed to ensure that, when there are DoS attacks, the filtering error dynamics of the underlying CPSs is mean square exponential stable with a prescribed H_∞ disturbance attenuation performance. Furthermore, a switched filter is designed for CPSs under DoS attacks. Examples are given to illustrate the effectiveness and potential of the proposed new design techniques.     

DoS攻击下基于多率采样的多智能体系统安全一致性

本 文 研 究 了 一 类 带 有 多 率 采 样 的 线 性 多 智 能 体 系 统(Multiagent Systems, MASs)在 拒 绝 服 务(Denial-of-Service, DoS)攻击下的安全一致性控制问题, 其中DoS攻击通常阻断智能体之间的信息传输. 本文将多 率采样在网络化控制系统中的结果推广到了多智能体系统, 并考虑了非理想通信网络环境. 首先, 通过引入一个匹 配机制来同步由多率采样引起的智能体不同状态分量的采样数据. 然后, 在DoS攻击下, 针对带有多率采样的线 性MAS提出了一个基于多率采样的安全一致性控制器. 通过使用李雅普诺夫稳定性理论和切换系统方法, 获得了 包含DoS 攻击持续时间以及攻击频率的安全一致性充分条件. 最后, 给出了一个仿真例子来验证所提方法的有效 性, 并给出了多率采样与单率采样机制的性能对比分析.     

BOUNDED ROBUST CONTROLLER DESIGN FOR MISMATCHED STATE‐DEPENDENT UNCERTAINTY

A bounded robust control is presented for dealing with matched external disturbance and mismatched state‐dependent uncertainty in linear time‐invariart systems. By using the famous pole‐assignment method, an important switching vector is selected first before the controller is designed. Based on the Lyapunov theory, system stability is proven, and the upper bound of the control input is discussed. It is found that the system initial state has to be located in a suitable region determined by the upper bounds on the control input, the matched disturbance and the mismatched uncertainty. A numerical example is used to demonstrate use of the bounded robust controller in simulation.     

Robust multiactuator fault‐tolerant MPC design for constrained systems

In this paper, we present a robust actuator fault‐tolerant control strategy for constrained linear systems in the presence of bounded state and input disturbances. The scheme is based on a bank of state estimators that match different fault situations that can occur in the system. A fault detection and isolation unit verifies that suitable residual variables lie inside pre‐computed sets and selects the estimate that matches the current plant behaviour. A bank of robustly stabilizing tube‐based model predictive control laws is designed, each associated to a fault scenario, and the appropriate controller is selected among them by using the information provided by the fault detection and isolation module. By means of ‘tubes’ of trajectories, we ensure robust closed‐loop exponential stability of the constrained system and good performance in the fault‐free case and under the occurrence of abrupt actuator faults, including actuator outage and loss of effectiveness by an unknown amount. Copyright © 2012 John Wiley & Sons, Ltd.     

Delay‐range‐dependent control of nonlinear time‐delay systems under input saturation

This paper describes a delay‐range‐dependent local state feedback controller synthesis approach providing estimation of the region of stability for nonlinear time‐delay systems under input saturation. By employing a Lyapunov–Krasovskii functional, properties of nonlinear functions, local sector condition and Jensen's inequality, a sufficient condition is derived for stabilization of nonlinear systems with interval delays varying within a range. Novel solutions to the delay‐range‐dependent and delay‐dependent stabilization problems for linear and nonlinear time‐delay systems, respectively, subject to input saturation are derived as specific scenarios of the proposed control strategy. Also, a delay‐rate‐independent condition for control of nonlinear systems in the presence of input saturation with unknown delay‐derivative bound information is established. And further, a robust state feedback controller synthesis scheme ensuring L₂ gain reduction from disturbance to output is devised to address the problem of the stabilization of input‐constrained nonlinear time‐delay systems with varying interval lags. The proposed design conditions can be solved using linear matrix inequality tools in connection with conventional cone complementary linearization algorithms. Simulation results for an unstable nonlinear time‐delay network and a large‐scale chemical reactor under input saturation and varying interval time‐delays are analyzed to demonstrate the effectiveness of the proposed methodology. Copyright © 2015 John Wiley & Sons, Ltd.     

On input‐to‐state stability of rigid‐body attitude control with quaternion representation

The concept of input‐to‐state stability (ISS) is important in robust control, as the state of an ISS system subject to disturbances can be stably regulated to a small region around the origin. In this study, the ISS property of the rigid‐body attitude system with quaternion representation is thoroughly investigated. It has been known that the closed loop with continuous controllers is not ISS with respect to arbitrarily small external disturbances. To deal with this problem, hybrid proportional‐derivative controllers with hysteresis are proposed to render the attitude system ISS. The controller is far from new, but it is investigated in a new aspect. To illustrate the applications of the results about ISS, 2 new robust hybrid controllers are designed. In the case of large bounded time‐varying disturbances, the hybrid proportional‐derivative controller is designed to incorporate a saturated high‐gain feedback term, and arbitrarily small ultimate bounds of the state can be obtained; in the case of constant disturbances, a hybrid adaptive controller is proposed, which is robust against small estimate error of inertia matrix. Finally, simulations are conducted to illustrate the effectiveness of the proposed control strategies.     

DoS攻击下网络化控制系统基于观测器的记忆型事件触发预测控制

本文研究了DoS攻击下网络化控制系统记忆型事件触发预测补偿控制问题. 首先, 由于网络带宽资源有限 和系统状态不完全可观测性, 引入了记忆型事件触发函数, 为观测器提供离散事件触发传输方案. 然后, 分析了网络 传输通道上发生的DoS攻击. 结合上述记忆型事件触发方案, 在控制节点设计一类新颖的预测控制算法, 节省网络 带宽资源并主动补偿DoS攻击. 同时, 建立了基于观测器的记忆型事件触发预测控制的闭环系统, 并且分析稳定性. 通过线性矩阵不等式(LMI)和Lyapunov稳定性理论, 建立了控制器、观测器和记忆型事件触发矩阵的联合设计方案, 并验证了该方案的可行性. 仿真结果表明, 该方案结合记忆型事件触发机制可以有效补偿DoS攻击, 节约网络带宽 资源.     

基于DoS攻击能量分级的ICPS综合安全控制与通信协同设计

针对一类有限能量拒绝服务（denial of service,DoS）攻击与执行器故障共存的工业信息物理系统（industry cyber-physical system,ICPS）,研究了综合安全控制与通信协同设计问题。首先,考虑单侧网络遭受DoS攻击的情形,构建了ICPS综合安全控制架构,并从防御者的视角通过分析不...     

Adaptive Observer‐Based Global Sliding Mode Control for Uncertain Discrete‐Time Nonlinear Systems with Time‐Delays and Input Nonlinearity

A new discrete‐time adaptive global sliding mode control (SMC) scheme combined with a state observer is proposed for the robust stabilization of uncertain nonlinear systems with mismatched time delays and input nonlinearity. A state observer is developed to estimate the unmeasured system states. By using Lyapunov stability theorem and linear matrix inequality (LMI), the condition for the existence of quasi‐sliding mode is derived and the stability of the overall closed‐loop system is guaranteed. Finally, simulation results are presented to demonstrate the validity of the proposed scheme.     

Observer‐based attack‐resilient control for linear systems against FDI attacks on communication links from controller to actuators

For the adversarial attacks on the communication links from the controller to the actuators, most of the existing attack‐resilient control results focus on denial‐of‐service attacks. Unlike the existing results, this paper studies the observer‐based attack‐resilient control problem for linear systems with false data injection attacks and process disturbances. Due to limited resources, the malicious attacker is assumed to only manipulate a certain number of communication links from the controller to the actuators. A novel control architecture is proposed, which consists of an attack‐resilient state observer, a controller gain scheme, and a supervisory switching strategy. The observer is developed based on the maximin strategy, and state estimation will be used to construct the controller. The switching strategy is designed to pick an appropriate controller gain and prevent the attack signals from entering the plant automatically. It is shown that the closed‐loop system is stable with an attack‐resilient performance. Finally, to verify the effectiveness of the proposed controller, simulation results on a linearized reduced‐order aircraft system and an IEEE six‐bus power system are provided.     

Robust Adaptive Fractional‐Order Terminal Sliding Mode Control for Lower‐Limb Exoskeleton

This paper introduces a robust adaptive fractional‐order non‐singular fast terminal sliding mode control (RFO‐TSM) for a lower‐limb exoskeleton system subject to unknown external disturbances and uncertainties. The referred RFO‐TSM is developed in consideration of the advantages of fractional‐order and non‐singular fast terminal sliding mode control (FONTSM): fractional‐order is used to obtain good tracking performance, while the non‐singular fast TSM is employed to achieve fast finite‐time convergence, non‐singularity and reducing chattering phenomenon in control input. In particular, an adaptive scheme is formulated with FONTSM to deal with uncertain dynamics of exoskeleton under unknown external disturbances, which makes the system robust. Moreover, an asymptotical stability analysis of the closed‐loop system is validated by Lyapunov proposition, which guarantees the sliding condition. Lastly, the efficacy of the proposed method is verified through numerical simulations in comparison with advanced and classical methods.     

Robust control of a family of uncertain nonminimum‐phase systems via continuous‐time and sampled‐data output feedback

The problem of global robust stabilization is studied by both continuous‐time and sampled‐data output feedback for a family of nonminimum‐phase nonlinear systems with uncertainty. The uncertain nonlinear system considered in this paper has an interconnect structure consisting of a driving system and a possibly unstable zero dynamics with uncertainty, ie, the uncertain driven system. Under a linear growth condition on the uncertain zero dynamics and a Lipschitz condition on the driving system, we show that it is possible to globally robustly stabilize the family of uncertain nonminimum‐phase systems by a single continuous‐time or a sampled‐data output feedback controller. The sampled‐data output feedback controller is designed by using the emulated versions of a continuous‐time observer and a state feedback controller, ie, by holding the input/output signals constant over each sampling interval. The design of either continuous‐time or sampled‐data output compensator uses only the information of the nominal system of the uncertain controlled plant. In the case of sampled‐data control, global robust stability of the hybrid closed‐loop system with uncertainty is established by means of a feedback domination method together with the robustness of the nominal closed‐loop system if the sampling time is small enough.     

Time‐varying input delay compensation for nonlinear systems with additive disturbance: An output feedback approach

This paper addresses the output feedback tracking control of a class of multiple‐input and multiple‐output nonlinear systems subject to time‐varying input delay and additive bounded disturbances. Based on the backstepping design approach, an output feedback robust controller is proposed by integrating an extended state observer and a novel robust controller, which uses a desired trajectory‐based feedforward term to achieve an improved model compensation and a robust delay compensation feedback term based on the finite integral of the past control values to compensate for the time‐varying input delay. The extended state observer can simultaneously estimate the unmeasurable system states and the additive disturbances only with the output measurement and delayed control input. The proposed controller theoretically guarantees prescribed transient performance and steady‐state tracking accuracy in spite of the presence of time‐varying input delay and additive bounded disturbances based on Lyapunov stability analysis by using a Lyapunov‐Krasovskii functional. A specific study on a 2‐link robot manipulator is performed; based on the system model and the proposed design procedure, a suitable controller is developed, and comparative simulation results are obtained to demonstrate the effectiveness of the developed control scheme.     

Robust passivity‐based control of switched‐reluctance motors

We propose a state‐feedback controller for switched‐reluctance motors as a preliminary step toward the solution of the sensorless control problem (without measurement of rotor variables). We establish global exponential stability. Furthermore, our controller renders the closed‐loop system robust to external disturbances, that is, input‐to‐state stable. Although there exist some works on sensorless control of switched‐reluctance motors, these consist mainly of ad hoc solutions without theoretical foundation. The few theoretically validated results in the literature are established under more stringent conditions such as knowledge of the load torque. Copyright © 2014 John Wiley & Sons, Ltd.     

DoS攻击下的信息物理系统事件触发预测控制设计

针对信息物理系统(CPS)安全控制设计问题,提出拒绝服务(DoS)攻击下具有任意有界丢包的事件触发预测控制(ETPC)方法.首先,考虑DoS攻击能量的有限性及攻击行为的任意性,将DoS攻击描述为事件触发通信机制下的任意有界丢包;其次,在控制器端利用最近一次收到的状态信息进行控制器增益序列的预测设计以补偿DoS攻击造成的数据包丢失;随后,基于Lyapunov稳定性理论及切换系统分析方法考虑了DoS攻击下CPS的安全性并给出了控制序列设计方法.所提出的ETPC设计方法只需利用最近时刻收到的状态信息,无需满足传统CPS稳定性对最大允许丢包数的约束,为大时滞CPS的稳定性分析及控制提供了有效的解决方案.最后,通过仿真实例验证所提出的基于事件触发预测控制设计方法的有效性.     

A nonlinear state‐feedback state‐feedforward tracking control strategy for a boiler‐turbine unit

A boiler‐turbine unit is a primary module for coal‐fired power plants, and an effective automatic control system is needed for the boiler‐turbine unit to track the load changes with the drum water level kept within an acceptable range. The aim of this paper is to develop a nonlinear tracking controller for the Bell‐Åström boiler‐turbine unit. A Takagi‐Sugeno fuzzy control system is introduced for the nonlinear modeling of the Bell‐Åström boiler‐turbine unit. Based on the Takagi‐Sugeno fuzzy models, a nonlinear tracking controller is developed, and the proposed control law is comprised of a state‐feedforward term and a state‐feedback term. The stability of the closed‐loop control system is analyzed on the basis of Lyapunov stability theory via the linear matrix inequality approach and Schur complement. Moreover, model uncertainties are also considered, and it is proved that with the proposed control law the tracking error converges to zero. To assess the performance of the proposed nonlinear state‐feedback state‐feedforward control strategy, a nonlinear model predictive control strategy and a linear strategy are presented as comparisons. The effectiveness and the advantages of the proposed nonlinear state‐feedback state‐feedforward control strategy are demonstrated by simulations.     

Robust identification of MISO neuro‐fractional‐order Hammerstein systems

This paper introduces a multiple‐input–single‐output (MISO) neuro‐fractional‐order Hammerstein (NFH) model with a Lyapunov‐based identification method, which is robust in the presence of outliers. The proposed model is composed of a multiple‐input–multiple‐output radial basis function neural network in series with a MISO linear fractional‐order system. The state‐space matrices of the NFH are identified in the time domain via the Lyapunov stability theory using input‐output data acquired from the system. In this regard, the need for the system state variables is eliminated by introducing the auxiliary input‐output filtered signals into the identification laws. Moreover, since practical measurement data may contain outliers, which degrade performance of the identification methods (eg, least‐square–based methods), a Gaussian Lyapunov function is proposed, which is rather insensitive to outliers compared with commonly used quadratic Lyapunov function. In addition, stability and convergence analysis of the presented method is provided. Comparative example verifies superior performance of the proposed method as compared with the algorithm based on the quadratic Lyapunov function and a recently developed input‐output regression‐based robust identification algorithm.     

Stability analysis on networked control systems under double attacks with predictive control

In this paper, stability of a networked control system under denial‐of‐service and false data injection attacks is analyzed with a predictive control method. To model denial‐of‐service attacks on the forward channel of networked control system, game theory is introduced for obtaining balanced results by denial‐of‐service frequency and duration. Then, measurement outputs of the networked control system are maliciously modified in the feedback channel. Under this double attack strategy, the stability of networked control system with predictive control is analyzed using a switched system method. By comparing three types of attack models, advantages of the double attacks are discussed to illustrate the necessity of this research. A numerical simulation is given to demonstrate effectiveness of the proposed methods on a networked control system under double attacks.