Filtering for uncertain 2-D discrete systems with state delays

This is the post print version of the article. The official published version can be obtained from the link below - Copyright 2007 Elsevier Ltd.This paper is concerned with the problem of robust H∞ filtering for two-dimensional (2-D) discrete systems with time-delays in states. The 2-D systems under consideration are described in terms of the well-known Fornasini–Marchesini local state-space (FMLSS) models with time-delays. Our attention is focused on the design of a full-order filter such that the filtering error system is guaranteed to be asymptotically stable with a prescribed H∞ disturbance attenuation performance. Sufficient conditions for the existence of desired filters are established by using a linear matrix inequality (LMI) approach, and the corresponding filter design problem is then cast into a convex optimization problem that can be efficiently solved by resorting to some standard numerical software. Furthermore, the obtained results are extended to more general cases where the system matrices contain either polytopic or norm-bounded parameter uncertainties. A simulation example is provided to illustrate the effectiveness of the proposed design method.This work was partially supported by the National Natural Science Foundation of China (60504008), Program for New Century Excellent Talents in University of China and the Postdoctoral Science Foundation of China (20060390231)

Robust ℋ2 Performance: Guaranteeing Margins for LQG Regulators

This paper shows that ℋ2 (LQG) performance specifications can be combined with structured uncertainty in the system, yielding robustness analysis conditions of the same nature and computational complexity as the corresponding conditions for ℋ∞ performance. These conditions are convex feasibility tests in terms of Linear Matrix Inequalities, and can be proven to be necessary and sufficient under the same conditions as in the ℋ∞ case. With these results, the tools of robust control can be viewed as coming full circle to treat the problem where it all began: guaranteeing margins for LQG regulators

A Data-driven Approach to Robust Control of Multivariable Systems by Convex Optimization

The frequency-domain data of a multivariable system in different operating points is used to design a robust controller with respect to the measurement noise and multimodel uncertainty. The controller is fully parametrized in terms of matrix polynomial functions and can be formulated as a centralized, decentralized or distributed controller. All standard performance specifications like $H_2$, $H_\infty$ and loop shaping are considered in a unified framework for continuous- and discrete-time systems. The control problem is formulated as a convex-concave optimization problem and then convexified by linearization of the concave part around an initial controller. The performance criterion converges monotonically to a local optimal solution in an iterative algorithm. The effectiveness of the method is compared with fixed-structure controllers using non-smooth optimization and with full-order optimal controllers via simulation examples. Finally, the experimental data of a gyroscope is used to design a data-driven controller that is successfully applied on the real system

Necessary and sufficient conditions for robust gain scheduling

Recent results in the design of controllers for parameter dependent systems are extended to systems with plant uncertainty. The solution takes the form of an affine matrix inequality (AMI), which is both a necessary and sufficient condition for the posed problem to have a solution. The results in this paper may be used for the design of gain scheduled controllers for a class of uncertain systems

Robust H∞ filtering for discrete nonlinear stochastic systems with time-varying delay

This is the postprint version of the article. The official published version can be accessed from the link below - © 2007 Elsevier IncIn this paper, we are concerned with the robust H∞ filtering problem for a class of nonlinear discrete time-delay stochastic systems. The system under study involves parameter uncertainties, stochastic disturbances, time-varying delays and sector-like nonlinearities. The problem addressed is the design of a full-order filter such that, for all admissible uncertainties, nonlinearities and time delays, the dynamics of the filtering error is constrained to be robustly asymptotically stable in the mean square, and a prescribed H∞ disturbance rejection attenuation level is also guaranteed. By using the Lyapunov stability theory and some new techniques, sufficient conditions are first established to ensure the existence of the desired filtering parameters. These conditions are dependent on the lower and upper bounds of the time-varying delays. Then, the explicit expression of the desired filter gains is described in terms of the solution to a linear matrix inequality (LMI). Finally, a numerical example is exploited to show the usefulness of the results derived.This work was supported in part by the Engineering and Physical Sciences Research Council (EPSRC) of the UK under Grant GR/S27658/01, the Nuffield Foundation of the UK under Grant NAL/00630/G, the Alexander von Humboldt Foundation of Germany, the National Natural Science Foundation of China (60774073 and 10471119), the NSF of Jiangsu Province of China (BK2007075 and BK2006064), the Natural Science Foundation of Jiangsu Education Committee of China under Grant 06KJD110206, and the Scientific Innovation Fund of Yangzhou University of China under Grant 2006CXJ002

Stability analysis of linear ODE-PDE interconnected systems

Les systèmes de dimension infinie permettent de modéliser un large spectre de phénomènes physiques pour lesquels les variables d'états évoluent temporellement et spatialement. Ce manuscrit s'intéresse à l'évaluation de la stabilité de leur point d'équilibre. Deux études de cas seront en particulier traitées : l'analyse de stabilité des systèmes interconnectés à une équation de transport, et à une équation de réaction-diffusion. Des outils théoriques existent pour l'analyse de stabilité de ces systèmes linéaires de dimension infinie et s'appuient sur une algèbre d'opérateurs plutôt que matricielle. Cependant, ces résultats d'existence soulèvent un problème de constructibilité numérique. Lors de l'implémentation, une approximation est réalisée et les résultats sont conservatifs. La conception d'outils numériques menant à des garanties de stabilité pour lesquelles le degré de conservatisme est évalué et maîtrisé est alors un enjeu majeur. Comment développer des critères numériques fiables permettant de statuer sur la stabilité ou l'instabilité des systèmes linéaires de dimension infinie ? Afin de répondre à cette question, nous proposons ici une nouvelle méthode générique qui se décompose en deux temps. D'abord, sous l'angle de l'approximation sur les polynômes de Legendre, des modèles augmentés sont construits et découpent le système original en deux blocs : d'une part, un système de dimension finie approximant est isolé, d'autre part, l'erreur de troncature de dimension infinie est conservée et modélisée. Ensuite, des outils fréquentiels et temporels de dimension finie sont déployés afin de proposer des critères de stabilité plus ou moins coûteux numériquement en fonction de l'ordre d'approximation choisi. En fréquentiel, à l'aide du théorème du petit gain, des conditions suffisantes de stabilité sont obtenues. En temporel, à l'aide du théorème de Lyapunov, une sous-estimation des régions de stabilité est proposée sous forme d'inégalité matricielle linéaire et une sur-estimation sous forme de test de positivité. Nos deux études de cas ont ainsi été traitées à l'aide de cette méthodologie générale. Le principal résultat obtenu concerne le cas des systèmes EDO-transport interconnectés, pour lequel l'approximation et l'analyse de stabilité à l'aide des polynômes de Legendre mène à des estimations des régions de stabilité qui convergent exponentiellement vite. La méthode développée dans ce manuscrit peut être adaptée à d'autres types d'approximations et exportée à d'autres systèmes linéaires de dimension infinie. Ce travail ouvre ainsi la voie à l'obtention de conditions nécessaires et suffisantes de stabilité de dimension finie pour les systèmes de dimension infinie.Infinite dimensional systems allow to model a large panel of physical phenomena for which the state variables evolve both temporally and spatially. This manuscript deals with the evaluation of the stability of their equilibrium point. Two case studies are treated in particular: the stability analysis of ODE-transport, and ODE-reaction-diffusion interconnected systems. Theoretical tools exist for the stability analysis of these infinite-dimensional linear systems and are based on an operator algebra rather than a matrix algebra. However, these existence results raise a problem of numerical constructibility. During implementation, an approximation is performed and the results are conservative. The design of numerical tools leading to stability guarantees for which the degree of conservatism is evaluated and controlled is then a major issue. How can we develop reliable numerical criteria to rule on the stability or instability of infinite-dimensional linear systems? In order to answer this question, one proposes here a new generic method, which is decomposed in two steps. First, from the perspective of Legendre polynomials approximation, augmented models are built and split the original system into two blocks: on the one hand, a finite-dimensional approximated system is isolated, on the other hand, the infinite-dimensional truncation error is preserved and modeled. Then, frequency and time tools of finite dimension are deployed in order to propose stability criteria that have high or low numerical load depending on the approximated order. In frequencies, with the aid of the small gain theorem, sufficient stability conditions are obtained. In temporal, with the aid of the Lyapunov theorem, an under estimate of the stability regions is proposed as a linear matrix inequality and an over estimate as a positivity test. Our two case studies have been treated with this general methodology. The main result concerns the case of ODE-transport interconnected systems, for which the approximation and stability analysis using Legendre polynomials leads to exponentially fast converging estimates of stability regions. The method developed in this manuscript can be adapted to other types of approximations and exported to other infinite-dimensional linear systems. Thus, this work opens the way to obtain necessary and sufficient finite-dimensional conditions of stability for infinite-dimensional systems

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

Sets and Constraints in the Analysis Of Uncertain Systems

This thesis is concerned with the analysis of dynamical systems in the presence of model uncertainty. The approach of robust control theory has been to describe uncertainty in terms of a structured set of models, and has proven successful for questions, like stability, which call for a worst-case evaluation over this set. In this respect, a first contribution of this thesis is to provide robust stability tests for the situation of combined time varying, time invariant and parametric uncertainties. The worst-case setting has not been so attractive for questions of disturbance rejection, since the resulting performance criteria (e.g., ℋ∞,) treat the disturbance as an adversary and ignore important spectral structure, usually better characterized by the theory of stochastic processes. The main contribution of this thesis is to show that the set-based methodology can indeed be extended to the modeling of white noise, by employing standard statistical tests in order to identify a typical set, and performing subsequent analysis in a worst-case setting. Particularly attractive sets are those described by quadratic signal constraints, which have proven to be very powerful for the characterization of unmodeled dynamics. The combination of white noise and unmodeled dynamics constitutes the Robust ℋ2 performance problem, which is rooted in the origins of robust control theory. By extending the scope of the quadratic constraint methodology we obtain a solution to this problem in terms of a convex condition for robustness analysis, which for the first time places it on an equal footing with the ℋ∞ performance measure. A separate contribution of this thesis is the development of a framework for analysis of uncertain systems in implicit form, in terms of equations rather than input-output maps. This formulation is motivated from first principles modeling, and provides an extension of the standard input-output robustness theory. In particular, we obtain in this way a standard form for robustness analysis problems with constraints, which also provides a common setting for robustness analysis and questions of model validation and system identification

Robust Anti-Windup Control Considering Multiple Design Objectives

A new saturation control technique is proposed to design multiobjective and robust anti-windup controllers for linear systems with input saturations. Based on the characterization of saturation nonlinearities and modeling uncertainties via integral quadratic constraints (IQCs), this method considers a mixed H2/H∞ performance indexes while maintaining dynamic constraints on the controller. The analysis and synthesis conditions are presented in terms of scaled linear matrix inequalities (LMIs). The proposed control algorithm can improve the performance of the input-constrained system while also guaranteeing robustness with respect to the modeling uncertainties. Finally, a numerical example is given to illustrate the effectiveness of the developed techniques