Mathematical control of complex systems

Copyright © 2013 ZidongWang et al.This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited

Robust model-based fault estimation and fault-tolerant control : towards an integration

To maintain robustly acceptable system performance, fault estimation (FE) is adopted to reconstruct fault signals and a fault-tolerant control (FTC) controller is employed to compensate for the fault effects. The inevitably existing system and estimation uncertainties result in the so-called bi-directional robustness interactions defined in this work between the FE and FTC functions, which gives rise to an important and challenging yet open integrated FE/FTC design problem concerned in this thesis. An example of fault-tolerant wind turbine pitch control is provided as a practical motivation for integrated FE/FTC design.To achieve the integrated FE/FTC design for linear systems, two strategies are proposed. A H∞ optimization based approach is first proposed for linear systems with differentiable matched faults, using augmented state unknown input observer FE and adaptive sliding mode FTC. The integrated design is converted into an observer-based robust control problem solved via a single-step linear matrix inequality formulation.With the purpose of an integrated design with more freedom and also applicable for a range of general fault scenarios, a decoupling approach is further proposed. This approach can estimate and compensate unmatched non-differentiable faults and perturbations by combined adaptive sliding mode augmented state unknown input observer and backstepping FTC controller. The observer structure renders a recovery of the Separation Principle and allows great freedom for the FE/FTC designs.Integrated FE/FTC design strategies are also developed for Takagi-Sugeno fuzzy modelling nonlinear systems, Lipschitz nonlinear systems, and large-scale interconnected systems, based on extensions of the H∞ optimization approach for linear systems.Tutorial examples are used to illustrate the design strategies for each approach. Physical systems, a 3-DOF (degree-of-freedom) helicopter and a 3-machine power system, are used to provide further evaluation of the proposed integrated FE/FTC strategies. Future research on this subject is also outlined

Distributed Set-Based Observers Using Diffusion Strategy

Distributed estimation is more robust against single points of failure and requires less communication overhead compared to the centralized version. Among distributed estimation techniques, set-based estimation has gained much attention as it provides estimation guarantees for safety-critical applications and copes with unknown but bounded uncertainties. We propose two distributed set-based observers using interval-based and set-membership approaches for a linear discrete-time dynamical system with bounded modeling and measurement uncertainties. Both algorithms utilize a new over-approximating zonotopes intersection step named the set-based diffusion step. We use the term diffusion since our intersection of zonotopes formula resembles the traditional diffusion step in the stochastic Kalman filter. Our new zonotopes intersection takes linear time. Our set-based diffusion step decreases the estimation errors and the size of estimated sets and can be seen as a lightweight approach to achieve partial consensus between the distributed estimated sets. Every node shares its measurement with its neighbor in the measurement update step. The neighbors intersect their estimated sets constituting our proposed set-based diffusion step. We represent sets as zonotopes since they compactly represent high-dimensional sets, and they are closed under linear mapping and Minkowski addition. The applicability of our algorithms is demonstrated by a localization example. All used data and code to recreate our findings are publicly availabl

Second order sliding mode observers for fault reconstruction in power networks

This is the author accepted manuscript. The final version is available from the publisher via the DOI in this record.This paper proposes a 2-sliding mode observer to detect and reconstruct a certain class of load altering faults in a power network. The observer design is based on the recently proposed multivariable super-twisting structure. The IEEE benchmark power networks used to test the scheme are modelled as a semi-explicit class of differential algebraic equations (DAEs). For the purpose of developing the detection scheme, only the phase angles of the generators are measured, which represent a subset of the differential states of the DAEs. The objective is to estimate the differential states (the phase angles and frequencies of the generators), the algebraic states (the phase angles of the load bus tensions) and to reconstruct a class of load altering faults affecting the network. The proposed observer is assessed in simulation on two IEEE benchmarks: the 9-bus and 14-bus networks, so as to verify its capability to correctly estimate the differential and algebraic states of the network in spite of its complexity and uncertainty. Moreover, the capability of the proposed scheme to detect the presence of a load altering fault, to exactly identify its position in the network, and to precisely reconstruct the shape of the fault itself is shown and discussed

Robust de-centralized control and estimation for inter-connected systems

The thesis is concerned with the theoretical development of the control of inter-connected systems to achieve the whole overall stability and specific performance. A special included feature is the Fault-Tolerant Control (FTC) problem for the inter-connected system in terms of local subsystem actuator fault estimation. Hence, the thesis describes the main FTC challenges of distributed control of uncertain non-linear inter-connected systems. The basic principle adopted throughout the work is that the controller has two components, one involving the nominal control with unmatched components including uncertainties and disturbances. The second controller dealing with matched components including uncertainties and actuator faults.The main contributions of the thesis are summarised as follows:- The non-linear inter-connected systems are controlled by two controllers. The linear part via a linear matrix inequality (LMI) technique and the discontinuous part by using Integral Sliding Mode Control (ISMC) based on state feedback control.- The development of a new observer-based state estimate control strategy for non-linear inter-connected systems. The technique is applied either to every individual subsystem or to the whole as one shot system.- A new proposal of Adaptive Output Integral Sliding Mode Control (AOISMC) based only on output information plus static output feedback control is designed via an LMI formulation to control non-linear inter-connected systems. The new method is verified by application to a mathematical example representing an electrical power generator.- The development of a new method to design a dynamic control based on an LMI framework with Output Integral Sliding Mode Control (OISMC) to improve the stability and performance.- Using the above framework, making use of LMI tools and ISMC, a method of on-line actuator fault estimation has been proposed using the Proportional Multiple Integral Observer (PMIO) for fault estimation applicable to non-linear inter-connected systems

Robust de-centralized control and estimation for inter-connected systems

The thesis is concerned with the theoretical development of the control of inter-connected systems to achieve the whole overall stability and specific performance. A special included feature is the Fault-Tolerant Control (FTC) problem for the inter-connected system in terms of local subsystem actuator fault estimation. Hence, the thesis describes the main FTC challenges of distributed control of uncertain non-linear inter-connected systems. The basic principle adopted throughout the work is that the controller has two components, one involving the nominal control with unmatched components including uncertainties and disturbances. The second controller dealing with matched components including uncertainties and actuator faults. The main contributions of the thesis are summarised as follows: - The non-linear inter-connected systems are controlled by two controllers. The linear part via a linear matrix inequality (LMI) technique and the discontinuous part by using Integral Sliding Mode Control (ISMC) based on state feedback control. - The development of a new observer-based state estimate control strategy for non-linear inter-connected systems. The technique is applied either to every individual subsystem or to the whole as one shot system. - A new proposal of Adaptive Output Integral Sliding Mode Control (AOISMC) based only on output information plus static output feedback control is designed via an LMI formulation to control non-linear inter-connected systems. The new method is verified by application to a mathematical example representing an electrical power generator. - The development of a new method to design a dynamic control based on an LMI framework with Output Integral Sliding Mode Control (OISMC) to improve the stability and performance. - Using the above framework, making use of LMI tools and ISMC, a method of on-line actuator fault estimation has been proposed using the Proportional Multiple Integral Observer (PMIO) for fault estimation applicable to non-linear inter-connected systems

Distributed estimation techniques forcyber-physical systems

Nowadays, with the increasing use of wireless networks, embedded devices and agents with processing and sensing capabilities, the development of distributed estimation techniques has become vital to monitor important variables of the system that are not directly available. Numerous distributed estimation techniques have been proposed in the literature according to the model of the system, noises and disturbances. One of the main objectives of this thesis is to search all those works that deal with distributed estimation techniques applied to cyber-physical systems, system of systems and heterogeneous systems, through using systematic review methodology. Even though systematic reviews are not the common way to survey a topic in the control community, they provide a rigorous, robust and objective formula that should not be ignored. The presented systematic review incorporates and adapts the guidelines recommended in other disciplines to the field of automation and control and presents a brief description of the different phases that constitute a systematic review. Undertaking the systematic review many gaps were discovered: it deserves to be remarked that some estimators are not applied to cyber-physical systems, such as sliding mode observers or set-membership observers. Subsequently, one of these particular techniques was chosen, set-membership estimator, to develop new applications for cyber-physical systems. This introduces the other objectives of the thesis, i.e. to present two novel formulations of distributed set-membership estimators. Both estimators use a multi-hop decomposition, so the dynamics of the system is rewritten to present a cascaded implementation of the distributed set-membership observer, decoupling the influence of the non-observable modes to the observable ones. So each agent must find a different set for each sub-space, instead of a unique set for all the states. Two different approaches have been used to address the same problem, that is, to design a guaranteed distributed estimation method for linear full-coupled systems affected by bounded disturbances, to be implemented in a set of distributed agents that need to communicate and collaborate to achieve this goal

Hierarchical-Structure-Based Fault Estimation and Fault-Tolerant Control for Multiagent Systems

This paper proposes a hierarchical-structure-based fault estimation and fault-tolerant control design with bidirectional interactions for nonlinear multiagent systems with actuator faults. The hierarchical structure consists of distributed multiagent system hierarchy, undirected topology hierarchy, decentralized fault estimation hierarchy, and distributed fault-tolerant control hierarchy. The states and faults of the system are estimated simultaneously by merging the unknown input observer in a decentralized fashion. The distributed-constant-gain-based and node-based fault-tolerant control schemes are developed to guarantee the asymptotic stability and H-infinity performance of multiagent systems, respectively, based on the estimated information in the fault estimation hierarchy and the relative output information from neighbors. Two simulation cases validate the efficiency of the proposed hierarchical structure control algorithm

Decentralized sliding mode control and estimation for large-scale systems

This thesis concerns the development of an approach of decentralised robust control and estimation for large scale systems (LSSs) using robust sliding mode control (SMC) and sliding mode observers (SMO) theory based on a linear matrix inequality (LMI) approach. A complete theory of decentralized first order sliding mode theory is developed. The main developments proposed in this thesis are: The novel development of an LMI approach to decentralized state feedback SMC. The proposed strategy has good ability in combination with other robust methods to fulfill specific performance and robustness requirements. The development of output based SMC for large scale systems (LSSs). Three types of novel decentralized output feedback SMC methods have been developed using LMI design tools. In contrast to more conventional approaches to SMC design the use of some complicated transformations have been obviated. A decentralized approach to SMO theory has been developed focused on the Walcott-Żak SMO combined with LMI tools. A derivation for bounds applicable to the estimation error for decentralized systems has been given that involves unknown subsystem interactions and modeling uncertainty. Strategies for both actuator and sensor fault estimation using decentralized SMO are discussed.The thesis also provides a case study of the SMC and SMO concepts applied to a non-linear annealing furnace system modelderived from a distributed parameter (partial differential equation) thermal system. The study commences with a lumped system decentralised representation of the furnace derived from the partial differential equations. The SMO and SMC methods derived in the thesis are applied to this lumped parameter furnace model. Results are given demonstrating the validity of the methods proposed and showing a good potential for a valuable practical implementation of fault tolerant control based on furnace temperature sensor faults