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

Recent Advances in Robust Control

Robust control has been a topic of active research in the last three decades culminating in H_2/H_\infty and \mu design methods followed by research on parametric robustness, initially motivated by Kharitonov's theorem, the extension to non-linear time delay systems, and other more recent methods. The two volumes of Recent Advances in Robust Control give a selective overview of recent theoretical developments and present selected application examples. The volumes comprise 39 contributions covering various theoretical aspects as well as different application areas. The first volume covers selected problems in the theory of robust control and its application to robotic and electromechanical systems. The second volume is dedicated to special topics in robust control and problem specific solutions. Recent Advances in Robust Control will be a valuable reference for those interested in the recent theoretical advances and for researchers working in the broad field of robotics and mechatronics

Event-triggered control for rational and Lur’e type nonlinear systems

In the present work, the design of event-triggered controllers for two classes of nonlinear systems is addressed: rational systems and Lur’e type systems. Lyapunov theory techniques are used in both cases to derive asymptotic stability conditions in the form of linear matrix inequalities that are then used in convex optimization problems as means of computing the control system parameters aiming at a reduction of the number of events generated. In the context of rational systems, state-feedback control is considered and differentialalgebraic representations are used as means to obtain tractable stability conditions. An event-triggering strategy which uses weighting matrices to strive for less events is proposed and then it is proven that this strategy does not lead to Zeno behavior. In the case of Lur’e systems, observer-based state-feedback is addressed with event generators that have access only to the system output and observed state, but it imposes the need of a dwell-time, i.e. a time interval after each event where the trigger condition is not evaluated, to cope with Zeno behavior. Two distinct approaches, exact time-discretization and looped-functional techniques, are considered to ensure asymptotic stability in the presence of the dwell-time. For both system classes, emulation design and co-design are addressed. In the emulation design context, the control law (and the observer gains, when appropriate) are given and the task is to compute the event generator parameters. In the co-design context, the event generator and the control law or the observer can be simultaneously designed. Numerical examples are presented to illustrate the application of the proposed methods.Neste trabalho é abordado o projeto de controladores baseados em eventos para duas classes de sistemas não lineares: sistemas racionais e sistemas tipo Lur’e. Técnicas da teoria de Lyapunov são usadas em ambos os casos para derivar condições de estabilidade assintótica na forma de inequações matriciais lineares. Tais condições são então utilizadas em problemas de otimização convexa como meio de calcular os parâmetros do sistema de controle, visando uma redução no número de eventos gerados. No contexto de sistemas racionais, realimentação de estados é considerada e representações algébrico-diferenciais são usadas como meio de obter condições de estabilidade tratáveis computacionalmente. Uma estratégia de disparo de eventos que usa uma medida de erro ponderado através de matrizes definidas positivas é proposta e é demonstrado que tal estratégia não gera comportamento de Zenão. No caso de sistemas tipo Lur’e, considera-se o caso de controladores com restrições de informações, a saber, com acesso apenas às saídas do sistema. Um observador de estados é então utilizado para recuperar a informação faltante. Neste contexto, é necessária a introdução de um tempo de espera (dwell time, em inglês) para garantir a inexistência de comportamento de Zenão. Todavia, a introdução do tempo de espera apresenta um desafio adicional na garantia de estabilidade que é tratado neste trabalho considerando duas técnicas possíveis: a discretização exata do sistema e o uso de looped-functionals (funcionais em laço, em uma tradução livre). Para ambas classes de sistemas, são tratados os problemas de projeto por emulação e co-design (projeto simultâneo, em uma tradução livre). No projeto por emulação, a lei de controle (e os ganhos do observador, quando apropriado) são dados a priori e a tarefa é projetar os parâmetros do gerador de eventos. No caso do co-design, o gerador de eventos e a lei de controle ou o observador são projetados simultaneamente. Exemplos numéricos são usados para ilustrar a aplicação dos métodos propostos

Control Theory in Engineering

The subject matter of this book ranges from new control design methods to control theory applications in electrical and mechanical engineering and computers. The book covers certain aspects of control theory, including new methodologies, techniques, and applications. It promotes control theory in practical applications of these engineering domains and shows the way to disseminate researchers’ contributions in the field. This project presents applications that improve the properties and performance of control systems in analysis and design using a higher technical level of scientific attainment. The authors have included worked examples and case studies resulting from their research in the field. Readers will benefit from new solutions and answers to questions related to the emerging realm of control theory in engineering applications and its implementation

Robustness analysis of linear time-varying systems with application to aerospace systems

In recent years significant effort was put into developing analytical worst-case analysis tools to supplement the Verification \& Validation (V\&V) process of complex industrial applications under perturbation. Progress has been made for parameter varying systems via a systematic extension of the bounded real lemma (BRL) for nominal linear parameter varying (LPV) systems to IQCs. However, finite horizon linear time-varying (LTV) systems gathered little attention. This is surprising given the number of nonlinear engineering problems whose linearized dynamics are time-varying along predefined finite trajectories. This applies to everything from space launchers to paper processing machines, whose inertia changes rapidly as the material is unwound. Fast and reliable analytical tools should greatly benefit the V\&V processes for these applications, which currently rely heavily on computationally expensive simulation-based analysis methods of full nonlinear models. The approach taken in this thesis is to compute the worst-case gain of the interconnection of a finite time horizon LTV system and perturbations. The input/output behavior of the uncertainty is described by integral quadratic constraints (IQC). A condition for the worst-case gain of such an interconnection can be formulated using dissipation theory. This utilizes a parameterized Riccati differential equation, which depends on the chosen IQC multiplier. A nonlinear optimization problem is formulated to minimize the upper bound of the worst-case gain over a set of admissible IQC multipliers. This problem can then be efficiently solved using custom-tailored meta-heuristic (MH) algorithms. One of the developed algorithms is initially benchmarked against non-tailored algorithms, demonstrating its improved performance. A second algorithm's potential application in large industrial problems is shown using the example of a touchdown constraints analysis for an autolanded aircraft as was as an aerodynamic loads analysis for space launcher under perturbation and atmospheric disturbance. By comparing the worst-case LTV analysis results with the results of corresponding nonlinear Monte Carlo simulations, the feasibility of the approach to provide necessary upper bounds is demonstrated. This comparison also highlights the improved computational speed of the proposed LTV approach compared to simulation-based nonlinear analyses

Robustness analysis of linear time-varying systems with application to aerospace systems

In recent years significant effort was put into developing analytical worst-case analysis tools to supplement the Verification \& Validation (V\&V) process of complex industrial applications under perturbation. Progress has been made for parameter varying systems via a systematic extension of the bounded real lemma (BRL) for nominal linear parameter varying (LPV) systems to IQCs. However, finite horizon linear time-varying (LTV) systems gathered little attention. This is surprising given the number of nonlinear engineering problems whose linearized dynamics are time-varying along predefined finite trajectories. This applies to everything from space launchers to paper processing machines, whose inertia changes rapidly as the material is unwound. Fast and reliable analytical tools should greatly benefit the V\&V processes for these applications, which currently rely heavily on computationally expensive simulation-based analysis methods of full nonlinear models. The approach taken in this thesis is to compute the worst-case gain of the interconnection of a finite time horizon LTV system and perturbations. The input/output behavior of the uncertainty is described by integral quadratic constraints (IQC). A condition for the worst-case gain of such an interconnection can be formulated using dissipation theory. This utilizes a parameterized Riccati differential equation, which depends on the chosen IQC multiplier. A nonlinear optimization problem is formulated to minimize the upper bound of the worst-case gain over a set of admissible IQC multipliers. This problem can then be efficiently solved using custom-tailored meta-heuristic (MH) algorithms. One of the developed algorithms is initially benchmarked against non-tailored algorithms, demonstrating its improved performance. A second algorithm's potential application in large industrial problems is shown using the example of a touchdown constraints analysis for an autolanded aircraft as was as an aerodynamic loads analysis for space launcher under perturbation and atmospheric disturbance. By comparing the worst-case LTV analysis results with the results of corresponding nonlinear Monte Carlo simulations, the feasibility of the approach to provide necessary upper bounds is demonstrated. This comparison also highlights the improved computational speed of the proposed LTV approach compared to simulation-based nonlinear analyses