Asymptotically exact stabilisation for constrained discrete Takagi-Sugeno systems via set-invariance

[EN] Given a Takagi-Sugeno (TS) system, this paper proposes a novel methodology to obtain the state feedback controller guaranteeing, asymptotically as a Polya-related complexity parameter grows, the largest (membership-shape independent) possible domain-of-attraction with contraction-rate performance lambda, based on polyhedral lambda-contractive sets from constrained linear systems literature. The resulting controller is valid for any realisation of the memberships, as usual in most TS literature. For a finite complexity parameter, an inner estimate of such largest set is obtained; the frontier of such approximation can be understood as the level set of a polyhedral control-Lyapunov function. Convergence of a proposed iterative algorithm is asymptotically necessary and sufficient for TS system stabilisation: for a high-enough value of the complexity parameter, any conceivable shape-independent Lyapunov controller design procedure will yield a proven domain of attraction smaller or equal to the algorithm's output. (C) 2016 Elsevier B.V. All rights reserved.This work has been supported by grants DPI2015-70433- P and DPI2016-81002-R, from Spanish Government (MINECO) and grant PROMETEOII/2013/004 from Generalitat Valenciana.Ariño-Latorre, CV.; Sala, A.; Pérez Soler, E.; Bedate Boluda, F.; Querol-Ferrer, A. (2017). Asymptotically exact stabilisation for constrained discrete Takagi-Sugeno systems via set-invariance. Fuzzy Sets and Systems. 316:117-138. https://doi.org/10.1016/j.fss.2016.10.004S11713831

Fuzzy control turns 50: 10 years later

In 2015, we celebrate the 50th anniversary of Fuzzy Sets, ten years after the main milestones regarding its applications in fuzzy control in their 40th birthday were reviewed in FSS, see [1]. Ten years is at the same time a long period and short time thinking to the inner dynamics of research. This paper, presented for these 50 years of Fuzzy Sets is taking into account both thoughts. A first part presents a quick recap of the history of fuzzy control: from model-free design, based on human reasoning to quasi-LPV (Linear Parameter Varying) model-based control design via some milestones, and key applications. The second part shows where we arrived and what the improvements are since the milestone of the first 40 years. A last part is devoted to discussion and possible future research topics.Guerra, T.; Sala, A.; Tanaka, K. (2015). Fuzzy control turns 50: 10 years later. Fuzzy Sets and Systems. 281:162-182. doi:10.1016/j.fss.2015.05.005S16218228

Polytopic invariant and contractive sets for closed-loop discrete fuzzy systems

In this work a procedure for obtaining polytopic lambda-contractive sets for Takagi Sugeno fuzzy systems is presented, adapting well-known algorithms from literature on discrete-time linear difference inclusions (LDI) to multi-dimensional summations. As a complexity parameter increases, these sets tend to the maximal invariant set of the system when no information on the shape of the membership functions is available. lambda-contractive sets are naturally associated to level sets of polyhedral Lyapunov functions proving a decay-rate of lambda. The paper proves that the proposed algorithm obtains better results than a class of Lyapunov methods for the same complexity degree: if such a Lyapunov function exists, the proposed algorithm converges in a finite number of steps and proves a larger lambda-contractive set.This work has been supported by Projects DPI2011-27845-C02-01 and DPI2011-27845-C02-02, both from Spanish Government.Arino, C.; Perez, E.; Sala Piqueras, A.; Bedate, F. (2014). Polytopic invariant and contractive sets for closed-loop discrete fuzzy systems. Journal of The Franklin Institute. 351(7):3559-3576. https://doi.org/10.1016/j.jfranklin.2014.03.014S35593576351

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

Contributions to nonlinear system modelling and controller synthesis via convex structures

Esta tesis discute diferentes metodologías de modelado para extraer mejores prestaciones o resultados de estabilidad que aquéllas que el modelado convencional basado en sector no-lineal de sistemas Takagi-Sugeno (también denominados cuasi-LPV) es capaz de producir. En efecto, incluso si las LMIs pueden probar distintas cotas de prestaciones o márgenes de estabilidad (tasa de decaimiento, $\mathcal H_\infty$, etc.) para sistemas politópicos, es bien conocido que las prestaciones probadas dependen del modelo elegido y, dado un sistema no-lineal, dicho modelo politópico no es único. Por tanto, se presentan exploraciones hacia cómo obtener el modelo que es menos perjudicial para la medida de prestaciones elegida. Como una última contribución, mejores resultados son obtenidos mediante la extensión del modelado politópico Takagi-Sugeno a un marco de inclusiones en diferencias cuasi-convexas con planificación de ganancia. En efecto, una versión sin planificación de ganancia fue propuesta por un equipo de investigadores de la Universidad de Sevilla (Fiaccini, Álamo, Camacho) para generalizar el modelado politópico, y esta tesis propone una version aún más general de algunos de dichos resultados que incorpora planificación de ganancia.This thesis discusses different modelling methodologies to eke out best performance/stability results than conventional sector-nonlinearity Takagi-Sugeno (also known as quasi-LPV) systems modelling techniques are able to yield. Indeed, even if LMIs can prove various performance and stability bounds (decay rate, $\mathcal H_\infty$, etc.) for polytopic systems, it is well known that the proven performance depends on the chosen model and, given a nonlinear dynamic systems, the polytopic embeddings available for it are not unique. Thus, explorations on how to obtain the model which is less deletereous for performance are presented. As a last contribution, extending the polytopic Takagi-Sugeno setup to a gain-scheduled quasi-convex difference inclusion framework allows to improve the results over the polytopic models. Indeed, the non-scheduled convex difference inclusion framework was proposed by a research team in University of Seville (Fiacchini, Alamo, Camacho) as a generalised modelling methodology which included the polytopic one; this thesis poses a further generalised gain-scheduled version of some of these results.Aquesta tesi discuteix diferents metodologies de modelatge per extreure millors prestacions o resultats d'estabilitat que aquelles que el modelatge convencional basat en sector no-lineal de sistemes Takagi-Sugeno (també anomenats quasi-LPV) és capaç de produir. En efecte, fins i tot si les LMIs poden provar diferents cotes de prestacions o marges d'estabilitat (taxa de decaïment, $\mathcal H_\infty$, etc.) per a sistemes politòpics, és ben conegut que les prestacions provades depenen del model triat i, donat un sistema no-lineal, el dit model politòpic no és únic. Per tant, es presenten exploracions cap a com obtenir el model que és menys perjudicial per a la mesura de prestacions triada. Com una darrera contribució, millors resultats són obtinguts mitjançant l'extensió del modelatge politòpic Takagi-Sugeno a un marc d'inclusions en diferències quasi-convexes amb planificació de guany. En efecte, una versió sense planificació de guany va ser proposada per un equip d'investigadors de la Universitat de Sevilla (Fiaccini, Álamo, Camacho) per a generalitzar el modelatge politòpic, i aquesta tesi proposa una versió més general d'alguns d'aquests resultats que incorpora planificació de guany.Robles Ruiz, R. (2018). Contributions to nonlinear system modelling and controller synthesis via convex structures [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/100848TESI

BIBO stabilisation of continuous time takagi sugeno systems under persistent perturbations and input saturation

[EN] This paper presents a novel approach to the design of fuzzy state feedback controllers for continuous-time non-linear systems with input saturation under persistent perturbations. It is assumed that all the states of the Takagi¿Sugeno (TS) fuzzy model representing a non-linear system are measurable. Such controllers achieve bounded input bounded output (BIBO) stabilisation in closed loop based on the computation of inescapable ellipsoids. These ellipsoids are computed with linear matrix inequalities (LMIs) that guarantee stabilisation with input saturation and persistent perturbations. In particular, two kinds of inescapable ellipsoids are computed when solving a multiobjective optimization problem: the maximum volume inescapable ellipsoids contained inside the validity domain of the TS fuzzy model and the smallest inescapable ellipsoids which guarantee a minimum *-norm (upper bound of the 1-norm) of the perturbed system. For every initial point contained in the maximum volume ellipsoid, the closed loop will enter the minimum *-norm ellipsoid after a finite time, and it will remain inside afterwards. Consequently, the designed controllers have a large domain of validity and ensure a small value for the 1-norm of closed loop.The authors wish to thank the Editor-in-Chief and the anonymous reviewers for their valuable comments and suggestions. This work has been funded by Ministerio de Economia y Competitividad (Spain) through the research project DPI2015-71443-R and by Generalitat Valenciana (Valencia, Spain) through the research project GV/2017/029.Salcedo-Romero-De-Ávila, J.; Martínez Iranzo, MA.; Garcia-Nieto, S.; Hilario Caballero, A. (2018). BIBO stabilisation of continuous time takagi sugeno systems under persistent perturbations and input saturation. International Journal of Applied Mathematics and Computer Science (Online). 28(3):457-472. https://doi.org/10.2478/amcs-2018-0035S45747228

Piecewise-Takagi-Sugeno asymptotically exact estimation of the domain of attraction of nonlinear systems

[EN] This report generalises recent results on stability analysis and estimation of the domain of attraction of nonlinear systems via exact piecewise affine Takagi Sugeno models. Algorithms in the form of linear matrix inequalities are proposed that produce progressively better estimates which are proved to asymptotically render the actual domain of attraction; regions already proven to belong to such domain of attraction can be removed and the estimate can contain significant portions of the modelling region boundary; in this way, level-set approaches in prior literature can be significantly improved. Illustrative examples and comparisons are provided. (C) 2016 The Franklin Institute. Published by Elsevier Ltd. All rights reserved.The authors gratefully acknowledge the support of the following institutions: Project Ciencia Basica SEP-CONACYT CB-168406, the CONACyT/COECYT Sonora scholarship 383252, project DPI2016-81002-R (Spanish government, MINECO), and the scholarship GRISOLIA/2014/006 from Generalitat Valenciana (regional government).Gonzalez-German, IT.; Sala, A.; Bernal Reza, MÁ.; Robles-Ruiz, R. (2017). Piecewise-Takagi-Sugeno asymptotically exact estimation of the domain of attraction of nonlinear systems. Journal of the Franklin Institute. 354(3):1514-1541. https://doi.org/10.1016/j.jfranklin.2016.11.033S15141541354

Robust H∞ Control of Takagi–Sugeno Systems with Actuator Saturation

Producción CientíficaThe robust static output feedback control for continuous-time Takagi–Sugeno systems subject to actuator saturation is solved here, including H∞ performance guarantees. Based on a polytopic model of the saturation, sufficient conditions are proposed for designing these controllers in terms of Linear Matrix Inequalities. With the aid of some special derivations, bilinear matrix inequalities are converted into a set of linear matrix inequalities which can be solved easily without requiring iterative algorithms or equality constraints, moreover, the output matrix of the considered system does not require to be full row rank. Finally, some examples are presented to show the validity of the proposed methodology

Local Stabilization of Time-Delay Nonlinear Discrete-Time Systems Using Takagi-Sugeno Models and Convex Optimization

A convex condition in terms of linear matrix inequalities (LMIs) is developed for the synthesis of stabilizing fuzzy state feedback controllers for nonlinear discrete-time systems with time-varying delays. A Takagi-Sugeno (T-S) fuzzy model is used to represent exactly the nonlinear system in a restricted domain of the state space, called region of validity. The proposed stabilization condition is based on a Lyapunov-Krasovskii (L-K) function and it takes into account the region of validity to determine a set of initial conditions for which the actual closed-loop system trajectories are asymptotically stable and do not evolve outside the region of validity. This set of allowable initial conditions is determined from the level set associated to a fuzzy L-K function as a Cartesian product of two subsets: one characterizing the set of states at the initial instant and another for the delayed state sequence necessary to characterize the initial conditions. Finally, we propose a convex programming problem to design a fuzzy controller that maximizes the set of initial conditions taking into account the shape of the region of validity of the T-S fuzzy model. Numerical simulations are given to illustrate this proposal