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

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

Contributions to fuzzy polynomial techniques for stability analysis and control

The present thesis employs fuzzy-polynomial control techniques in order to improve the stability analysis and control of nonlinear systems. Initially, it reviews the more extended techniques in the field of Takagi-Sugeno fuzzy systems, such as the more relevant results about polynomial and fuzzy polynomial systems. The basic framework uses fuzzy polynomial models by Taylor series and sum-of-squares techniques (semidefinite programming) in order to obtain stability guarantees. The contributions of the thesis are: ¿ Improved domain of attraction estimation of nonlinear systems for both continuous-time and discrete-time cases. An iterative methodology based on invariant-set results is presented for obtaining polynomial boundaries of such domain of attraction. ¿ Extension of the above problem to the case with bounded persistent disturbances acting. Different characterizations of inescapable sets with polynomial boundaries are determined. ¿ State estimation: extension of the previous results in literature to the case of fuzzy observers with polynomial gains, guaranteeing stability of the estimation error and inescapability in a subset of the zone where the model is valid. ¿ Proposal of a polynomial Lyapunov function with discrete delay in order to improve some polynomial control designs from literature. Preliminary extension to the fuzzy polynomial case. Last chapters present a preliminary experimental work in order to check and validate the theoretical results on real platforms in the future.Pitarch Pérez, JL. (2013). Contributions to fuzzy polynomial techniques for stability analysis and control [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/34773TESI

Control synthesis for polynomial discrete-time systems under input constraints via delayed-state Lyapunov functions

This paper presents a discrete-time control design methodology for input-saturating systems using a Lyapunov function with dependence on present and past states. The approach is used to bypass the usual difficulty with full polynomial Lyapunov functions of expressing the problem in a convex way. Also polynomial controllers are allowed to depend on both present and past states. Furthermore, by considering saturation limits on the control action, the information about the relationship between the present and past states is introduced via Positivstellensatz multipliers. Sum-of-squares techniques and available semi-definite programming (SDP) software are used in order to find the controller.The research work by J.L. Pitarch and A. Sala has been partially supported by the Spanish government under research project [grant number DPI2011-27845-C02-01 (MINECO)]; Generalitat Valenciana [grant number PROMETEOII/2013/004]. The work by T.M. Guerra and J. Lauber has been supported by the International Campus on Safety and Intermodality in Transportation, the European Community, Delegation Regionale a la Recherche et a la Technologie, Ministere de l'Enseignement superieur et de la Recherche, Region Nord Pas de Calais and the Centre National de la Recherche Scientifique.Pitarch Pérez, JL.; Sala Piqueras, A.; Lauber, J.; Guerra, TM. (2016). Control synthesis for polynomial discrete-time systems under input constraints via delayed-state Lyapunov functions. International Journal of Systems Science. 47(5):1176-1184. https://doi.org/10.1080/00207721.2014.915357S1176118447

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

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

Stability analysis and control design for 2-D fuzzy systems via basis-dependent Lyapunov functions

This paper investigates the problem of stability analysis and stabilization for two-dimensional (2-D) discrete fuzzy systems. The 2-D fuzzy system model is established based on the Fornasini-Marchesini local state-space model, and a control design procedure is proposed based on a relaxed approach in which basis-dependent Lyapunov functions are used. First, nonquadratic stability conditions are derived by means of linear matrix inequality (LMI) technique. Then, by introducing an additional instrumental matrix variable, the stabilization problem for 2-D fuzzy systems is addressed, with LMI conditions obtained for the existence of stabilizing controllers. Finally, the effectiveness and advantages of the proposed design methods based on basis-dependent Lyapunov functions are shown via two examples. © 2011 The Author(s).published_or_final_versionSpringer Open Choice, 28 May 201

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