Robust fault detection of non-linear systems using set-membership state estimation based on constraint satisfaction

In this paper, the robust fault detection problem for non-linear systems considering both bounded parametric modelling errors and measurement noises is addressed. The non-linear system is monitored by using a state estimator with bounded modelling uncertainty and bounded process and measurement noises. Additionally, time-variant and time-invariant system models are taken into account. Fault detection is formulated as a set-membership state estimation problem, which is implemented by means of constraint satisfaction techniques. Two solutions are presented: the first one solves the general case while the second solves the time-variant case, being this latter a relaxed solution of the first one. The performance of the time-variant approach is tested in two applications: the well-known quadruple-tank benchmark and the dynamic model of a representative portion of the Barcelona's sewer network. In both applications, different scenarios are presented: a faultless situation and some faulty situations. All considered scenarios are intended to show the effectiveness of the presented approach.Peer ReviewedPostprint (author's final draft

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 fault diagnosis of nonlinear systems using interval constraint satisfaction and analytical redundancy relations

In this paper, a robust fault diagnosis problem for nonlinear systems considering both bounded parametric modeling errors and noise is addressed using parity-equation-based analytical redundancy relations (ARR) and interval constraint satisfaction techniques. Fault detection, isolation, and estimation tasks are considered. Moreover, the problem of quantifying the uncertainty in the ARR parameters is also addressed. To illustrate the usefulness of the proposed approach, a case study based on the well-known wind turbine benchmark is used.This work has been supported by WATMAN (Ref. DPI-2009-13744) and SHERECS Projects (DPI-2011-26243) of the Spanish Science and Innovation Ministry and the DGR of Generalitat de Catalunya (SAC group Ref. 2009/SGR/1491).Peer Reviewe

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 fault detection for nonlinear dynamic systems

In this chapter, an innovative approach to fault detection for nonlinear dynamic systems is proposed, based on the recently introduced quasi-local set membership- identification method, overcoming some relevant issues proper of the “classical” techniques. The approach is based on the direct identification from experimental data of a suitable filter and related uncertainty bounds. These bounds are used to detect when a change (e.g., a fault) has occurred in the dynamics of the system of inter- est. The main advantage of the approach compared to the existing methods is that it avoids the utilization of complex modeling and filter design procedures, since the filter/observer is directly designed from data. Other advantages are that the approach does not require to choose any threshold (as typically done in many “classical” tech- niques), and it is not affected by under-modeling problems. An experimental study regarding fault detection for a drone actuator is finally presented to demonstrate the effectiveness of the proposed approach

Optimal Distribution Reconfiguration and Demand Management within Practical Operational Constraints

This dissertation focuses on specific aspects of the technical design and operation of a `smart\u27 distribution system incorporating new technology in the design process. The main purpose of this dissertation is to propose new algorithms in order to achieve a more reliable and economic distribution system. First, a general approach based on Mixed Integer Programming (MIP) is proposed to formulate the reconfiguration problem for a radial/weakly meshed distribution network or restoration following a fault. Two objectives considered in this study are to minimize the active power loss, and to minimize the number of switching operations with respect to operational constraints, such as power balance, line ow limits, voltage limit, and radiality of the network. The latter is the most challenging issue in solving the problem by MIP. A novel approach based on Depth-First Search (DFS) algorithm is implemented to avoid cycles and loops in the system. Due to insufficient measurements and high penetration of controllable loads and renewable resources, reconfiguration with deterministic optimization may not lead to an optimal/feasible result. Therefore, two different methods are proposed to solve the reconfiguration problem in presence of load uncertainty. Second, a new pricing algorithm for residential load participation in demand response program is proposed. The objective is to reduce the cost to the utility company while mitigating the impact on customer satisfaction. This is an iterative approach in which residents and energy supplier exchange information on consumption and price. The prices as well as appliance schedule for the residential customers will be achieved at the point of convergence. As an important contribution of this work, distribution network constraints such as voltage limits, equipment capacity limits, and phase balance constraints are considered in the pricing algorithm. Similar to the locational marginal price (LMP) at the transmission level, different prices for distribution nodes will be obtained. Primary consideration in the proposed approach, and frequently ignored in the literature, is to avoid overly sophisticated decision-making at the customer level. Most customers will have limited capacity or need for elaborate scheduling where actual energy cost savings will be modest

Set-membership parity space approach for fault detection in linear uncertain dynamic systems

Special Issue: Set-Membership Methods Applied to FDI and FTC.In this paper, a set-membership parity space approach for linear uncertain dynamic systems is proposed. First, a set of parity relations derived from the parity space approach is obtained by means of a transformation derived from the system characteristic polynomial. As a result of this transformation, parity relations can be expressed in regressor form. On the one hand, this facilitates the parameter estimation of those relations using a zonotopic set-membership algorithm. On the other hand, fault detection is then based on checking, at every sample time, the non-existence of a parameter value in the parameter uncertainty set such that the model is consistent with all the system measurements. The proposed approach is applied to two examples: a first illustrative case study based on a two-tank system and a more realistic case study based on the wind turbine fault detection and isolation benchmark in order to evaluate its effectiveness.This work has been partially funded by the grant CICYT SHERECS DPI-2011-26243 of Spanish Ministry of Education and by the European contract i-Sense (ref FP7-ICT-2009-6-270428)Peer Reviewe

Design of Experiments for Nonlinear System Identification

L'abstract è presente nell'allegato / the abstract is in the attachmen

Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems

We introduce reachability analysis for the formal examination of robots. We propose a novel identification method, which preserves reachset conformance of linear systems. We additionally propose a simultaneous identification and control synthesis scheme to obtain optimal controllers with formal guarantees. In a case study, we examine the effectiveness of using reachability analysis to synthesize a state-feedback controller, a velocity observer, and an output feedback controller.Comment: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessibl