Robust fault detection and isolation based on zonotopic unknown input observers for discrete-time descriptor systems

In this paper, we propose a robust fault detection and isolation (FDI) strategy based on zonotopic unknown input observers (UIOs) for discrete-time descriptor linear time-varying (LTV) systems subject to uncertainties and additive actuator faults. System uncertainties including state disturbances and measurement noise are unknown but bounded by predefined zonotopes. The uncertain state estimations and constructed residuals for robust FDI are propagated in a sequence of zonotopes. Based on a defined performance criterion, the fault detection (FD) observer gain is designed to be robust against uncertainties and meanwhile sensitive to faults. The explicit computational method for the FD observer gain is derived. In addition to include fault isolation, a bank of zonotopic UIOs are employed. Finally, we apply the proposed method into two case studies to show its effectiveness.Peer ReviewedPostprint (published version

Zonotopic fault detection observer design for Takagi–Sugeno fuzzy systems

This paper considers zonotopic fault detection observer design in the finite-frequency domain for discrete-time Takagi–Sugeno fuzzy systems with unknown but bounded disturbances and measurement noise. We present a novel fault detection observer structure, which is more general than the commonly used Luenberger form. To make the generated residual sensitive to faults and robust against disturbances, we develop a finite-frequency fault detection observer based on generalised Kalman–Yakubovich–Popov lemma and P-radius criterion. The design conditions are expressed in terms of linear matrix inequalities. The major merit of the proposed method is that residual evaluation can be easily implemented via zonotopic approach. Numerical examples are conducted to demonstrate the proposed methodPeer ReviewedPostprint (author's final draft

Zonotopic fault estimation filter design for discrete-time descriptor systems

This paper considers actuator-fault estimation for discrete-time descriptor systems with unknown but bounded system disturbance and measurement noise. A zonotopic fault estimation filter is designed based on the analysis of fault detectability indexes. To ensure estimation accuracy, the filter gain in the zonotopic fault estimation filter is optimized through the zonotope minimization. The designed zonotopic filter not only can estimate fault magnitudes, but it also provides fault estimation results in an interval, i.e. the upper and lower bounds of fault magnitudes. Moreover, the proposed fault estimation filter has a non-singular structure and hence is easy to implement. Finally, simulation results are provided to illustrate the effectiveness of the proposed method.Postprint (published version

Zonotopic unknown input observer of discrete-time descriptor systems for state estimation and robust fault detection

© . This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/This paper studies a set-based unknown input observer based on zonotopes for discrete-time descriptor systems affected by uncertainties with application to state estimation and robust fault detection. In this paper, two types of uncertainties are considered: (i) disturbances and noise both bounded by zonotopes; (ii) unknown inputs that can be decoupled. In terms of different applications, the observer gain for state estimation is designed to minimize the effects of unknown-but-bounded disturbances and noise as well as state estimation errors. On the other hand, for robust fault detection, in addition to attenuating uncertainties, the designed observer gain is also expected to be sensitive to faults. To achieve this goal, we propose an iterative algorithm to design the fault detection gain. Finally, some illustrative results in an application example show the effectiveness of the proposed algorithms.Peer ReviewedPostprint (author's final draft

Advances in state estimation, diagnosis and control of complex systems

This dissertation intends to provide theoretical and practical contributions on estimation, diagnosis and control of complex systems, especially in the mathematical form of descriptor systems. The research is motivated by real applications, such as water networks and power systems, which require a control system to provide a proper management able to take into account their specific features and operating limits in presence of uncertainties related to their operation and failures from component malfunctions. Such a control system is expected to provide an optimal operation to obtain efficient and reliable performance. State estimation is an essential tool, which can be used not only for fault diagnosis but also for the controller design. To achieve a satisfactory robust performance, set theory is chosen to build a general framework for descriptor systems subject to uncertainties. Under certain assumptions, these uncertainties are propagated and bounded by deterministic sets that can be explicitly characterized at each iteration step. Moreover, set-invariance characterizations for descriptor systems are also of interest to describe the steady performance, which can also be used for active mode detection. For the controller design for complex systems, new developments of economic model predictive control (EMPC) are studied taking into account the case of underlying periodic behaviors. The EMPC controller is designed to be recursively feasible even with sudden changes in the economic cost function and the closed-loop convergence is guaranteed. Besides, a robust technique is plugged into the EMPC controller design to maintain these closed-loop properties in presence of uncertainties. Engineering applications modeled as descriptor systems are presented to illustrate these control strategies. From the real applications, some additional difficulties are solved, such as using a two-layer control strategy to avoid binary variables in real-time optimizations and using nonlinear constraint relaxation to deal with nonlinear algebraic equations in the descriptor model. Furthermore, the fault-tolerant capability is also included in the controller design for descriptor systems by means of the designed virtual actuator and virtual sensor together with an observer-based delayed controller.Esta tesis propone contribuciones de carácter teórico y aplicado para la estimación del estado, el diagnóstico y el control óptimo de sistemas dinámicos complejos en particular, para los sistemas descriptores, incluyendo la capacidad de tolerancia a fallos. La motivación de la tesis proviene de aplicaciones reales, como redes de agua y sistemas de energía, cuya naturaleza crítica requiere necesariamente un sistema de control para una gestión capaz de tener en cuenta sus características específicas y límites operativos en presencia de incertidumbres relacionadas con su funcionamiento, así como fallos de funcionamiento de los componentes. El objetivo es conseguir controladores que mejoren tanto la eficiencia como la fiabilidad de dichos sistemas. La estimación del estado es una herramienta esencial que puede usarse no solo para el diagnóstico de fallos sino también para el diseño del control. Con este fin, se ha decidido utilizar metodologías intervalares, o basadas en conjuntos, para construir un marco general para los sistemas de descriptores sujetos a incertidumbres desconocidas pero acotadas. Estas incertidumbres se propagan y delimitan mediante conjuntos que se pueden caracterizar explícitamente en cada instante. Por otra parte, también se proponen caracterizaciones basadas en conjuntos invariantes para sistemas de descriptores que permiten describir comportamientos estacionarios y resultan útiles para la detección de modos activos. Se estudian también nuevos desarrollos del control predictivo económico basado en modelos (EMPC) para tener en cuenta posibles comportamientos periódicos en la variación de parámetros o en las perturbaciones que afectan a estos sistemas. Además, se demuestra que el control EMPC propuesto garantiza la factibilidad recursiva, incluso frente a cambios repentinos en la función de coste económico y se garantiza la convergencia en lazo cerrado. Por otra parte, se utilizan técnicas de control robusto pata garantizar que las estrategias de control predictivo económico mantengan las prestaciones en lazo cerrado, incluso en presencia de incertidumbre. Los desarrollos de la tesis se ilustran con casos de estudio realistas. Para algunas de aplicaciones reales, se resuelven dificultades adicionales, como el uso de una estrategia de control de dos niveles para evitar incluir variables binarias en la optimización y el uso de la relajación de restricciones no lineales para tratar las ecuaciones algebraicas no lineales en el modelo descriptor en las redes de agua. Finalmente, se incluye también una contribución al diseño de estrategias de control con tolerancia a fallos para sistemas descriptores

Set-membership approach and Kalman observer based on zonotopes for discrete-time descriptor systems

© . This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/This paper proposes a set-membership state estimator and a zonotopic Kalman observer for discrete-time descriptor systems. Both approaches are developed in a set-based context considering system disturbances, measurement noise, and unknown inputs. This set-membership state estimation approach determines the set of consistent states with the model and measurements by constructing a parameterized intersection zonotope. Two methods to minimize the size of this intersection zonotope are provided: one inspired by Kalman filtering and the other based on solving an optimization problem involving a series of linear matrix inequalities. Additionally, we propose a zonotopic Kalman observer for discrete-time descriptor systems. Moreover, the relationship between both approaches is discussed. In particular, it is proved that the zonotopic Kalman observer in the current estimation type is equivalent to the set-membership approach. Finally, a numerical example is used to illustrate and compare the effectiveness of the proposed approaches.Peer ReviewedPostprint (author's final draft

Zonotopic set-membership state estimation for discrete-time descriptor LPV systems

© 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.This technical note proposes a novel set-membership state estimation approach based on zonotopes for discrete-time descriptor linear parameter-varying systems. The consistency test between the system model and measured outputs is implemented to construct a parameterized intersection zonotope with respect to a correction matrix. With a defined zonotope minimization criterion, we propose a novel offline optimization problem to obtain the optimal correction matrix. In addition, with the proposed approach, an adaptive bound of the radius of the intersection zonotope is also provided. Finally, a case study with a truck-trailer system is shown to illustrate the proposed approach.Peer ReviewedPostprint (author's final draft

Set-based state estimation and fault diagnosis of linear discrete-time descriptor systems using constrained zonotopes

This paper presents new methods for set-valued state estimation and active fault diagnosis of linear descriptor systems. The algorithms are based on constrained zonotopes, a generalization of zonotopes capable of describing strongly asymmetric convex sets, while retaining the computational advantages of zonotopes. Additionally, unlike other set representations like intervals, zonotopes, ellipsoids, paralletopes, among others, linear static constraints on the state variables, typical of descriptor systems, can be directly incorporated in the mathematical description of constrained zonotopes. Therefore, the proposed methods lead to more accurate results in state estimation in comparison to existing methods based on the previous sets without requiring rank assumptions on the structure of the descriptor system and with a fair trade-off between accuracy and efficiency. These advantages are highlighted in two numerical examples.Comment: This paper was accepted and presented in the 1st IFAC Virtual World Congress, 202

Set-based state estimation and fault diagnosis using constrained zonotopes and applications

This doctoral thesis develops new methods for set-based state estimation and active fault diagnosis (AFD) of (i) nonlinear discrete-time systems, (ii) discrete-time nonlinear systems whose trajectories satisfy nonlinear equality constraints (called invariants), (iii) linear descriptor systems, and (iv) joint state and parameter estimation of nonlinear descriptor systems. Set-based estimation aims to compute tight enclosures of the possible system states in each time step subject to unknown-but-bounded uncertainties. To address this issue, the present doctoral thesis proposes new methods for efficiently propagating constrained zonotopes (CZs) through nonlinear mappings. Besides, this thesis improves the standard prediction-update framework for systems with invariants using new algorithms for refining CZs based on nonlinear constraints. In addition, this thesis introduces a new approach for set-based AFD of a class of nonlinear discrete-time systems. An affine parametrization of the reachable sets is obtained for the design of an optimal input for set-based AFD. In addition, this thesis presents new methods based on CZs for set-valued state estimation and AFD of linear descriptor systems. Linear static constraints on the state variables can be directly incorporated into CZs. Moreover, this thesis proposes a new representation for unbounded sets based on zonotopes, which allows to develop methods for state estimation and AFD also of unstable linear descriptor systems, without the knowledge of an enclosure of all the trajectories of the system. This thesis also develops a new method for set-based joint state and parameter estimation of nonlinear descriptor systems using CZs in a unified framework. Lastly, this manuscript applies the proposed set-based state estimation and AFD methods using CZs to unmanned aerial vehicles, water distribution networks, and a lithium-ion cell.Comment: My PhD Thesis from Federal University of Minas Gerais, Brazil. Most of the research work has already been published in DOIs 10.1109/CDC.2018.8618678, 10.23919/ECC.2018.8550353, 10.1016/j.automatica.2019.108614, 10.1016/j.ifacol.2020.12.2484, 10.1016/j.ifacol.2021.08.308, 10.1016/j.automatica.2021.109638, 10.1109/TCST.2021.3130534, 10.1016/j.automatica.2022.11042

Robust fault detection and isolation in semi-actively controlled building structures using a set of unknown input observers

Building structures are subject to earthquakes and unwanted vibrations which can be effectively managed via controllers. Semi-actively controlled building structures are prone to sensor and actuator faults very similar to other dynamical systems. When a fault occurs in sensors or actuators of a controlled systems, the system faces a performances degradation or even failure. Consequently, it is vitally important to detect and isolate a fault at the right time in these systems. To do so, here, unknown input observers (UIO) are proposed for robust fault detection and isolation of actuators and sensors in buildings. For the proof of concept, a three-story structure with magnetorheological (MR) dampers is taken into account. Via designing these observers, each faulty actuator and/or sensor is detected and isolated. Here, the LQR controller is also used to facilitate an optimal control strategy over the system. The obtained simulation results utter the acceptable accuracy of the proposed method in the detection of fault (time and location) and the robustness of the fault detection method against external disturbances