Interval observer versus set‐membership approaches for fault detection in uncertain systems using zonotopes

This paper presents both analysis and comparison of the interval observer–based and set‐membership approaches for the state estimation and fault detection (FD) in uncertain linear systems. The considered approaches assume that both state disturbance and measurement noise are modeled in a deterministic context following the unknown but bounded approach. The propagation of uncertainty in the state estimation is bounded through a zonotopic set representation. Both approaches have been mathematically related and compared when used for state estimation and FD. A case study based on a two‐tanks system is employed for showing the relationship between both approaches while comparing their performance.     

Interval observers for discrete‐time systems

Interval observers are constructed for discrete‐time systems. First, time‐invariant interval observers are proposed for a family of nonlinear systems. Second, it is shown that, for any time‐invariant exponentially stable discrete‐time linear system with additive disturbances, time‐varying exponentially stable discrete‐time interval observers can be constructed. The latter result relies on the design of time‐varying changes of coordinates, which transform a linear system into a nonnegative one. Copyright © 2013 John Wiley & Sons, Ltd.     

Using set invariance to design robust interval observers for discrete‐time linear systems

Based on interval and invariant set computation, an interval version of the Luenberger state observer for uncertain discrete‐time linear systems is proposed in this work. This new interval observer provides a punctual estimation of the state vector and guaranteed bounds on the estimation error. An off‐line and an on‐line approach to characterize, in a guaranteed way, the estimation error are introduced. Compared with the existing approaches, the proposed interval observer design method is not restrictive in terms of required assumptions, complexity, and on‐line computation time. Furthermore, the convergence issue of the estimation error is well established and to reduce the conservatism of the estimated state enclosure induced by the bounded additive state disturbance and noise measurement, an H_∞ method to compute the optimal observer gain is proposed. The performance of the proposed state estimation approach are highlighted on different illustrative examples.     

Active fault detection based on set‐membership approach for uncertain discrete‐time systems

Active fault detection facilitates determination of the fault characteristics by injecting proper auxiliary input signals into the system. This article proposes an observer‐based on‐line active fault detection method for discrete‐time systems with bounded uncertainties. First, the output including disturbances, measurement noise and interval uncertainties at each sample time is enclosed in a zonotope. In order to reduce the conservativeness in the fault detection process, a zonotopic observer is designed to estimate the system states allowing to generate the output zonotopes. Then, a proper auxiliary input signal is designed to separate the output zonotopes of the faulty model from the healthy model that is injected into the system to facilitate the detection of small fault . Since the auxiliary input signal generation leads to a nonconvex optimization problem, it is transformed into a mixed integer quadratic programming problem. Finally, a case study based on a DC motor is used to show the effectiveness of the proposed method.     

Observer‐based controller design of discrete‐time piecewise affine systems

This paper presents a novel observer‐based controller design method for discrete‐time piecewise affine (PWA) systems. The basic idea is as follows: at first, a piecewise linear (without affine terms) state feedback controller and a PWA observer are designed separately, and then it is proved that the output feedback controller constructed by the resulting observer and state feedback controller gains can guarantee the stability of the closed‐loop system. During the controller design, the piecewise‐quadratic Lyapunov function technique is used. Moreover, the region information is taken into account to treat the affine terms, so the controller gains can be obtained by solving a set of linear matrix inequalities, which are numerically feasible with commercially available software. Three simulation examples are given finally to verify the proposed theoretical results. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

Nonlinear observer design for one‐sided Lipschitz systems with time‐varying delay and uncertainties

This paper investigates the problem of state observer design for a class of nonlinear uncertain dynamical systems with interval time‐varying delay and the one‐sided Lipschitz condition. By constructing the novel Lyapunov–Krasovskii functional while utilizing the free‐weighting matrices approach, the one‐sided Lipschitz condition and the quadratic inner‐bounded condition, novel sufficient conditions, which guarantee the observer error converge asymptotically to zero, are established for a class of nonlinear dynamical systems with interval time‐varying delay in terms of the linear matrix inequalities. The computing method for observer gain matrix is given. Finally, two examples illustrate the effectiveness of the proposed method. Copyright © 2016 John Wiley & Sons, Ltd.     

Interval set‐membership estimation for continuous linear systems

This article proposes a mixed interval set‐membership estimation (ISME) method for continuous linear time‐invariant (LTI) systems by combining the positive system theory and the set theory. The proposed ISME method gives a new mixed interval‐set estimation framework for continuous LTI systems, whose benefit consists in that it has potential to achieve a balance of computational complexity and robust state estimation conservatism with respect to the interval observer (IO) and the set‐valued observer (SVO) for continuous LTI systems. Particularly, the proposed ISME method first uses a coordinate transformation such that the original system is transformed into an equivalent system. Second, the equivalent system is partitioned into two subsystems, where the first subsystem has a Meztler and Hurwitz subsystem matrix and then an IO is designed for the first subsystem based on the positive system theory. Because it is not guaranteed that the second subsystem also has a Meztler and Hurwitz subsystem matrix, a zonotopic SVO is further designed for the second subsystem based on the set theory. Consequently, an integration of the two steps above provides the whole SE results for the original system. At the end of this article, an example is used to illustrate the effectiveness of the proposed ISME method.     

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 method.     

Robust Nonlinear Observer And Observer‐Backstepping Control Design For Surface Ships

A robust passive non‐linear observer, utilizing the sliding mode concept and acceleration feedback (AFB) technique, is developed for ships. The main advantage of the proposed observer is that it is robust and that it takes the Coriolis‐centripetal matrix (C‐matrix) into account. The observer reconstructs velocities of ships and bias from slowly varying environmental disturbances. It also filters out the noise and wave frequency data from measurements to protect the actuators from wear and excessive fuel consumption. The sliding mode technique is introduced to improve robust performance against neglected disturbances, uncertainties, and unmodeled dynamics. The acceleration feedback technique and coordinate transformation are used for reshaping the inertia matrix and removing the C‐matrix from the mathematical model. Then, the observer design and stability analysis become simpler. An output feedback controller using observer backstepping and the Lyapunov redesign technique is derived, and the global stability of the observer and observer‐controller system is shown by Lyapunov stability theory. A set of simulations was carried out to verify the performance of the proposed observer and controller.     

Observer design with guaranteed RMS gain for discrete‐time LPV systems with Markovian jumps

In this paper we consider the problem of designing state observers with guaranteed power‐to‐power (RMS) gain for a class of stochastic discrete‐time linear systems that possess both measurable parameter variations and Markovian jumps in their dynamics. It is shown in the paper that an upper bound on the RMS gain of the observer can be characterized in terms of feasibility of a family of parameter‐dependent linear matrix inequalities (LMIs). Any feasible solution to these LMIs can then be used to explicitly construct a parameter‐varying jump observer that guarantees the desired performance level. This design framework is then specialized to a problem of state estimation for a linear parameter‐varying plant whose state measurements are available through a lossy Bernoulli channel. Two numerical examples illustrate the results. Copyright © 2008 John Wiley & Sons, Ltd.     

Global tracking sliding mode control for a class of nonlinear systems via variable gain observer

A novel output‐feedback sliding mode control strategy is proposed for a class of single‐input single‐output (SISO) uncertain time‐varying nonlinear systems for which a norm state estimator can be implemented. Such a class encompasses minimum‐phase systems with nonlinearities affinely norm bounded by unmeasured states with growth rate depending nonlinearly on the measured system output and on the internal states related with the zero‐dynamics. The sliding surface is generated by using the state of a high gain observer (HGO) whereas a peaking free control amplitude is obtained via a norm observer. In contrast to the existing semi‐global sliding mode control solutions available in the literature for the class of plants considered here, the proposed scheme is free of peaking and achieves global tracking with respect to a small residual set. The key idea is to design a time‐varying HGO gain implementable from measurable signals. Copyright © 2010 John Wiley & Sons, Ltd.     

Observer‐based finite‐time stabilization for extended Markov jump systems

In this paper, we study the problem of observer‐based finite‐time stabilization for a class of extended Markov jump systems with norm‐bounded uncertainties and external disturbances. The stochastic character under consideration is governed by a finite‐state Markov process, but with only partial information on the transition jump rates. Based on the finite‐time stability analysis, sufficient conditions for the existence of the observer‐based controller are derived via a linear matrix inequality approach such that the closed‐loop system trajectory stays within a prescribed bound in a fixed time interval. When these conditions are satisfied, the designed observer‐based controller gain matrices can be obtained by solving a convex optimization problem. Simulation results demonstrate the effectiveness of the approaches proposed in this paper. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

Nonlinear H∞ observer design for one‐sided Lipschitz discrete‐time singular systems with time‐varying delay

This paper investigates the H_∞ observer design problem for a class of nonlinear discrete‐time singular systems with time‐varying delays and disturbance inputs. The nonlinear systems can be rectangular and the nonlinearities satisfy the one‐sided Lipschitz condition and quadratically inner‐bounded condition, which are more general than the traditional Lipschitz condition. By appropriately dealing with these two conditions and applying several important inequalities, a linear matrix inequality–based approach for the nonlinear observer design is proposed. The resulting nonlinear H_∞ observer guarantees asymptotic stability of the estimation error dynamics with a prescribed performance γ. The synthesis condition of H_∞ observer design for nonlinear discrete‐time singular systems without time delays is also presented. The design is first addressed for one‐sided Lipschitz discrete‐time singular systems. Finally, two numerical examples are given to show the effectiveness of the present approach.     

Discrete‐Valued Model Predictive Control Using Sum‐of‐Absolute‐Values Optimization

In this paper, we propose a new design method of discrete‐valued model predictive control for continuous‐time linear time‐invariant systems based on sum‐of‐absolute‐values (SOAV) optimization. The finite‐horizon discrete‐valued control design is formulated as an SOAV optimal control, which is an expansion of L¹ optimal control. It is known that under the normality assumption, the SOAV optimal control exists and takes values in a fixed finite alphabet set if the initial state lies in a subset of the reachable set. In this paper, we analyze the existence and discreteness property for systems that do not necessarily satisfy the normality assumption. Then, we extend the finite‐horizon SOAV optimal control to infinite‐horizon model predictive control (MPC). We give sufficient conditions for the recursive feasibility and the stability of the MPC‐based feedback system in the presence of bounded noise. Simulation results show the effectiveness of the proposed method.     

Design of Robust Discrete‐Time Observer‐Based Repetitive‐Control System

This paper concerns the design of a robust discrete‐time observer‐based repetitive‐control system for a class of linear plants with periodic uncertainties. A discrete two‐dimensional model is built that partially uncouples the control and learning actions of a repetitive‐control system, enabling their preferential adjustment. The combination of a singular‐value decomposition of the output matrix and Lyapunov stability theory is used to derive a linear‐matrix‐inequality‐based design algorithm that determines the control and state‐observer gains. A numerical example illustrates the main advantage of the method: easy, preferential adjustment of control and learning by means of two tuning parameters in an linear‐matrix‐inequality‐based condition.     

Observer‐based H ∞ output tracking control for networked control systems

This paper is concerned with observer‐based H _∞ output tracking control for networked control systems. An observer‐based controller is implemented through a communication network to drive the output of a controlled plant to track the output of a reference model. The inputs of the controlled plant and the observer‐based tracking controller are updated in an asynchronous way because of the effects of network‐induced delays and packet dropouts in the controller‐to‐actuator channel. Taking the asynchronous characteristic into consideration, the resulting closed‐loop system is modeled as a system with two interval time‐varying delays. A Lyapunov–Krasovskii functional, which makes use of information about the lower and upper bounds of the interval time‐varying delays, is constructed to derive a delay‐dependent criterion such that the closed‐loop system has a desired H _∞ tracking performance. Notice that a separation principle cannot be used to design an observer gain and a control gain due to the asynchronous inputs of the plant and the controller. Instead, a novel design algorithm is proposed by applying a particle swarm optimization technique with the feasibility of the stability criterion to search for the minimum H _∞ tracking performance and the corresponding gains. The effectiveness of the proposed method is illustrated by an example. Copyright © 2013 John Wiley & Sons, Ltd.     

H ∞ observer design for uncertain nonlinear discrete‐time systems with time‐delay: LMI optimization approach

We present a robust H _∞ observer for a class of nonlinear discrete‐time systems. The class under study includes an unknown time‐varying delay limited by upper and lower bounds, as well as time‐varying parametric uncertainties. We design a nonlinear H _∞ observer, by using the upper and lower bounds of the delay, that guarantees asymptotic stability of the estimation error dynamics and is also robust against time‐varying parametric uncertainties. The described problem is converted to a standard optimization problem, which can be solved in terms of linear matrix inequalities (LMIs). Then, we expand the problem to a multi‐objective optimization problem in which the maximum admissible Lipschitz constant and the minimum disturbance attenuation level are the problem objectives. Finally, the proposed observer is illustrated with two examples. Copyright © 2014 John Wiley & Sons, Ltd.     

Observer‐based synthesis of linear parameter‐varying mixed sensitivity controllers

This article presents a computationally efficient way of synthesizing linear parameter‐varying (LPV) controllers. It reviews the possibility of a separate observer and state feedback synthesis with guaranteed performance and shows that a standard mixed sensitivity problem can be solved in this way. The resultant output feedback controller consists of an LPV observer, augmented with dynamic filters to incorporate integral control and roll‐off properties, and an LPV state feedback gain. It is thus highly structured, which is beneficial for implementation. Moreover, it does not depend on scheduling parameter rates regardless of whether parameter‐dependent Lyapunov matrices are used during synthesis. A representative control design for active flutter suppression on an aeroelastic unmanned aircraft demonstrates the benefits of the proposed method in comparison with state‐of‐the‐art LPV output feedback synthesis.