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

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

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

T-S Fuzzy Bibo Stabilisation of Non-Linear Systems Under Persistent Perturbations Using Fuzzy Lyapunov Functions and Non-PDC Control Laws

[EN] This paper develops an innovative approach for designing non-parallel distributed fuzzy controllers for continuous-time non-linear systems under persistent perturbations. Non-linear systems are represented using Takagi-Sugeno fuzzy models. These non-PDC controllers guarantee bounded input bounded output stabilisation in closed-loop throughout the computation of generalised inescapable ellipsoids. These controllers are computed with linear matrix inequalities using fuzzy Lyapunov functions and integral delayed Lyapunov functions. LMI conditions developed in this paper provide non-PDC controllers with a minimum *-norm (upper bound of the 1-norm) for the T-S fuzzy system under persistent perturbations. The results presented in this paper can be classified into two categories: local methods based on fuzzy Lyapunov functions with guaranteed bounds on the first derivatives of membership functions and global methods based on integral-delayed Lyapunov functions which are independent of the first derivatives of membership functions. The benefits of the proposed results are shown through some illustrative examples.This work has been funded by Ministerio de Economia y Competitividad, Spain (research project RTI2018-096904-B-I00) and Conselleria de Educacion, Cultura y Deporte-Generalitat Valenciana, Spain (research project AICO/2019/055).Salcedo-Romero-De-Ávila, J.; Martínez Iranzo, MA.; Garcia-Nieto, S.; Hilario Caballero, A. (2020). T-S Fuzzy Bibo Stabilisation of Non-Linear Systems Under Persistent Perturbations Using Fuzzy Lyapunov Functions and Non-PDC Control Laws. International Journal of Applied Mathematics and Computer Science (Online). 30(3):529-550. https://doi.org/10.34768/amcs-2020-0039S52955030

Estimation et commande des systèmes descripteurs

This thesis addresses the estimation and control for nonlinear descriptor systems. The developments are focused on a family of nonlinear descriptor models with a full-rank descriptor matrix. The proposed approaches are based on a Takagi-Sugeno (TS) descriptor representation of a given nonlinear descriptor model. This type of TS models is a generalization of the standard TS ones. One of the mains goals is to obtain conditions in terms of linear matrix inequalities (LMIs). In the existing literature, the observer design for TS descriptor models has led to bilinear matrix inequality (BMI) conditions. In addition, to the best of our knowledge, there are no results in the literature on controller/observer design for discrete-time TS descriptor models (with a non-constant and invertible descriptor matrix).Three problems have been addressed: state feedback controller design, observer design, and static output feedback controller design. LMI conditions have been obtained for both continuous and discrete-time TS descriptor models. In the continuous-time case, relaxed LMI conditions for the state feedback controller design have been achieved via parameterdependent LMI conditions. For the observer design, pure LMI conditions have been developed by using a different extended estimation error. For the static output feedback controller, LMI constraints can be obtained once an auxiliary matrix is fixed. In the discretetime case, results in the LMI form are provided for state/output feedback controller design and observer design; thus filling the gap in the literature. Several examples have been included to illustrate the applicability of the obtained results and the importance of keeping the original descriptor structure instead of computing a standard state-space.Cette thèse est consacrée au développement des techniques d’estimation et de commande pour systèmes descripteurs non linéaires. Les développements sont centrés sur une famille particulière de systèmes descripteurs non linéaires avec une matrice descripteur de rang plein. Toutes les approches présentées utilisent un formalisme de modélisation du type Takagi-Sugeno (TS) pour représenter les modèles descripteurs non linéaires. Un objectif très important est de développer des conditions sous la forme d’inégalités matricielles linéaires (LMI, en anglais). Dans la littérature, les conditions pour l’estimation des modèles TS descripteurs s’écrivent sous forme d’inégalités matricielles bilinéaires (BMI, en anglais). En plus, à notre connaissance, il n’y pas de résultats dans la littérature concernant la commande/estimation pour les modèles TS descripteurs en temps discret (avec une matrice descripteur régulière non linéaire).Trois problèmes ont été examinés : commande par retour d’état, estimation de l’état et commande statique par retour de la sortie. Dans le cas continu, des conditions moins conservatives ont été développées pour la commande par retour d’état. Pour l’estimation d’état, des conditions LMI ont été obtenues (au lieu des usuelles BMI) en utilisant un différent vecteur d’erreur augmenté. Pour la commande statique par retour de la sortie, des conditions LMI sont proposées si une matrice auxiliaire est fixée. Pour le temps discret, des nouveaux résultats sous la forme LMI ont été développées pour la commande/estimation, comblant ainsi certains manques de la littérature. Des exemples ont été inclus pour montrer l’applicabilité de tous les résultats que nous avons obtenus et ainsi l’importance de garder la structure originale des descripteurs

Nouveaux schémas de commande et d'observation basés sur les modèles de Takagi-Sugeno

This thesis addresses the estimation and controller design for continuous-time nonlinear systems. The methodologies developed are based on the Takagi-Sugeno (TS) representation of the nonlinear model via the sector nonlinearity approach. All strategies intend to get more relaxed conditions.The results presented for controller design are split in two parts. The first part is about standard TS models under control schemes based on: 1) a quadratic Lyapunov function (QLF); 2) a fuzzy Lyapunov function (FLF); 3) a line-integral Lyapunov functions (LILF); 4) a novel non-quadratic Lyapunov functional (NQLF). The second part concerns to TS descriptor models. Two strategies are proposed: 1) within the quadratic framework, conditions based on a general control law and some matrix transformations; 2) an extension to the nonquadratic approach based on a line-integral Lyapunov function (LILF) using non-PDC control law schemes and the Finsler’s Lemma; this strategy offers parameter-dependent linear matrix inequality (LMI) conditions instead of bilinear matrix inequality (BMI) constraints for second-order systems. On the other hand, the problem of the state estimation for nonlinear systems via TS models is also addressed considering: a) the particular case where premise vectors are based on measured variables and b) the general case where premise vectors can be based on unmeasured variables. Several examples have been included to illustrate the applicability of the obtained results.Cette thèse aborde l'estimation et la conception de commande de systèmes non linéaires à temps continu. Les méthodologies développées sont basées sur la représentation Takagi-Sugeno (TS) du modèle non linéaire par l'approche du secteur non-linéarité. Toutes les stratégies ont l'intention d'obtenir des conditions plus détendu. Les résultats présentés pour la conception de commande sont divisés en deux parties. La première partie est environ sur les modèles TS standard au titre des schémas de commande basés sur: 1) une fonction de Lyapunov quadratique (QLF); 2) une fonction de Lyapunov floue (FLF); 3) une fonction de Lyapunov intégrale de ligne (LILF); 4) un nouveau fonctionnelle de Lyapunov non-quadratique (NQLF). La deuxième partie concerne des modèles TS descripteurs. Deux stratégies sont proposées: 1) dans le cadre quadratique, des conditions basées sur une loi de commande général et quelques transformations de matrices; 2) une extension de l'approche non quadratique basée sur LILF utilisant un schéma de commande non-PDC et le lemme du Finsler; cette stratégie offre conditions sur la forme d’inégalité matricielles linéaires (LMI) dépendant des paramètres au lieu des contraintes sur la forme d’inégalité matricielles bilinéaires (BMI) pour les systèmes de second ordre. D'autre part, le problème de l'estimation de l'état pour les systèmes non linéaires via modèles TS est également abordé considérant: a) le cas particulier où les vecteurs prémisses sont basées sur les variables mesurées et b) le cas général où les vecteurs prémisse peuvent être basés sur des variables non mesurées. Plusieurs exemples ont été inclus pour illustrer l'applicabilité des résultats obtenus

Shape-independent model predictive control for Takagi-Sugeno fuzzy systems

[EN] Predictive control of TS fuzzy systems has been addressed in prior literature with some simplifying assumptions or heuristic approaches. This paper presents a rigorous formulation of the model predictive control of TS systems, so that results are valid for any membership value (shape-independent) with a suitable account of causality (control can depend on current and past memberships and state). As in most fuzzy control results, a family of progressively better controllers can be obtained by increasing Polya-related complexity parameters, generalising over prior proposals. (C) 2017 Elsevier Ltd. All rights reserved.The authors are grateful to the financial support of Spanish Ministry of Economy and European Union, grant DPI2016-81002-R (AEI/FEDER, UE), and grant P11B2015-36 (Universitat Jaume I).Ariño-Latorre, CV.; Querol-Ferrer, A.; Sala, A. (2017). Shape-independent model predictive control for Takagi-Sugeno fuzzy systems. Engineering Applications of Artificial Intelligence. 65:493-505. https://doi.org/10.1016/j.engappai.2017.07.011S4935056

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