A review of convex approaches for control, observation and safety of linear parameter varying and Takagi-Sugeno systems

This paper provides a review about the concept of convex systems based on Takagi-Sugeno, linear parameter varying (LPV) and quasi-LPV modeling. These paradigms are capable of hiding the nonlinearities by means of an equivalent description which uses a set of linear models interpolated by appropriately defined weighing functions. Convex systems have become very popular since they allow applying extended linear techniques based on linear matrix inequalities (LMIs) to complex nonlinear systems. This survey aims at providing the reader with a significant overview of the existing LMI-based techniques for convex systems in the fields of control, observation and safety. Firstly, a detailed review of stability, feedback, tracking and model predictive control (MPC) convex controllers is considered. Secondly, the problem of state estimation is addressed through the design of proportional, proportional-integral, unknown input and descriptor observers. Finally, safety of convex systems is discussed by describing popular techniques for fault diagnosis and fault tolerant control (FTC).Peer ReviewedPostprint (published version

Probability-guaranteed H∞ finite-horizon filtering for a class of nonlinear time-varying systems with sensor saturations

This is the Post-Print version of the Article. The official published version can be accessed from the link below - Copyright @ 2012 ElsevierIn this paper, the probability-guaranteed H∞ finite-horizon filtering problem is investigated for a class of nonlinear time-varying systems with uncertain parameters and sensor saturations. The system matrices are functions of mutually independent stochastic variables that obey uniform distributions over known finite ranges. Attention is focused on the construction of a time-varying filter such that the prescribed H∞ performance requirement can be guaranteed with probability constraint. By using the difference linear matrix inequalities (DLMIs) approach, sufficient conditions are established to guarantee the desired performance of the designed finite-horizon filter. The time-varying filter gains can be obtained in terms of the feasible solutions of a set of DLMIs that can be recursively solved by using the semi-definite programming method. A computational algorithm is specifically developed for the addressed probability-guaranteed H∞ finite-horizon filtering problem. Finally, a simulation example is given to illustrate the effectiveness of the proposed filtering scheme.This work was supported in part by the National Natural Science Foundation of China under Grants 61028008, 60825303 and 60834003, National 973 Project under Grant 2009CB320600, the Fok Ying Tung Education Fund under Grant 111064, the Special Fund for the Author of National Excellent Doctoral Dissertation of China under Grant 2007B4, the Key Laboratory of Integrated Automation for the Process Industry (Northeastern University) from the Ministry of Education of China, the Engineering and Physical Sciences Research Council (EPSRC) of the U.K. under Grant GR/S27658/01, the Royal Society of the U.K., and the Alexander von Humboldt Foundation of Germany

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

Robust filtering for uncertain linear systems with delayed states and outputs

Copyright [2002] IEEE. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Brunel University's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.Deals with the robust filtering problem for uncertain linear systems with delayed states and outputs. Both time-invariant and time-varying cases are considered. For the time-invariant case, an algebraic Riccati matrix inequality approach is proposed to design a robust H∞ filter such that the filtering process remains asymptotically stable for all admissible uncertainties, and the transfer function from the disturbance inputs to error state outputs satisfies the prespecified H∞ norm upper bound constraint. We establish the conditions under which the desired robust H ∞ filters exist, and derive the explicit expression of these filters. For the time-varying case, we develop a differential Riccati inequality method to design the robust filters. A numerical example is provided to demonstrate the validity of the proposed design approac

Fault estimation and active fault tolerant control for linear parameter varying descriptor systems

Starting with the baseline controller design, this paper proposes an integrated approach of active fault tolerant control based on proportional derivative extended state observer (PDESO) for linear parameter varying descriptor systems. The PDESO can simultaneously provide the estimates of the system states, sensor faults, and actuator faults. The L₂ robust performance of the closed-loop system to bounded exogenous disturbance and bounded uncertainty is achieved by a two-step design procedure adapted from the traditional observer-based controller design. Furthermore, an LMI pole-placement region and the L₂ robustness performance are combined into a multiobjective formulation by suitably combing the appropriate LMI descriptions. A parameter-varying system example is given to illustrate the design procedure and the validity of the proposed integrated design approach

An exact minimum variance filter for a class of discrete time systems with random parameter perturbations

An exact, closed-form minimum variance filter is designed for a class of discrete time uncertain systems which allows for both multiplicative and additive noise sources. The multiplicative noise model includes a popular class of models (Cox-Ingersoll-Ross type models) in econometrics. The parameters of the system under consideration which describe the state transition are assumed to be subject to stochastic uncertainties. The problem addressed is the design of a filter that minimizes the trace of the estimation error variance. Sensitivity of the new filter to the size of parameter uncertainty, in terms of the variance of parameter perturbations, is also considered. We refer to the new filter as the 'perturbed Kalman filter' (PKF) since it reduces to the traditional (or unperturbed) Kalman filter as the size of stochastic perturbation approaches zero. We also consider a related approximate filtering heuristic for univariate time series and we refer to filter based on this heuristic as approximate perturbed Kalman filter (APKF). We test the performance of our new filters on three simulated numerical examples and compare the results with unperturbed Kalman filter that ignores the uncertainty in the transition equation. Through numerical examples, PKF and APKF are shown to outperform the traditional (or unperturbed) Kalman filter in terms of the size of the estimation error when stochastic uncertainties are present, even when the size of stochastic uncertainty is inaccurately identified

Robust fault estimation based on zonotopic Kalman filter for discrete-time descriptor systems

This paper proposes a set-based approach for robust fault estimation of discrete-time descriptor systems. The considered descriptor systems are subject to unknown-but-bounded uncertainties (state disturbances and measurement noise) in predefined zonotopes and additive actuator faults. The zonotopic fault estimation filter for descriptor systems is built based on fault detectability indices and matrix to estimate fault magnitude in a deterministic set. The zonotopic fault estimation filter gain is designed in a parameterized form. Within a set-based framework, following the zonotopic Kalman filter, the optimal filter gain is computed by minimizing the size of the corresponding zonotopes to achieve robustness against uncertainties and the identification of occurred actuator faults. Besides, boundedness of the proposed zonotopic fault estimation is analyzed, which proves that the size of obtained fault estimation bounds is not growing in time. Finally, the simulation results with two application examples are provided to show the effectiveness of the proposed approach.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

H

This paper investigates the problem of H∞ filtering for class discrete-time Lipschitz nonlinear singular systems with measurement quantization. Assume that the system measurement output is quantized by a static, memoryless, and logarithmic quantizer before it is transmitted to the filter, while the quantizer errors can be treated as sector-bound uncertainties. The attention of this paper is focused on the design of a nonlinear quantized H∞ filter to mitigate quantization effects and ensure that the filtering error system is admissible (asymptotically stable, regular, and causal), while having a unique solution with a prescribed H∞ noise attenuation level. By introducing some slack variables and using the Lyapunov stability theory, some sufficient conditions for the existence of the nonlinear quantized H∞ filter are expressed in terms of linear matrix inequalities (LMIs). Finally, a numerical example is presented to demonstrate the effectiveness of the proposed quantized filter design method