Stabilizing control for power converters connected to transmission lines

This paper proposes a switching control strategy for the set-point stabilization of a power converter connected via a transmission line to a resistive load. The strategy employs a Lyapunov function that is directly based on energy considerations of the power converter, as well as of the transmission line described by the telegraph equations. The proposed stabilizing switching control still allows a certain freedom in the choice of the control law, a comparison between a maximum descent strategy and a minimum commutation strategy being discussed on a simple example.

Approximately bisimilar symbolic models for incrementally stable switched systems

Switched systems constitute an important modeling paradigm faithfully describing many engineering systems in which software interacts with the physical world. Despite considerable progress on stability and stabilization of switched systems, the constant evolution of technology demands that we make similar progress with respect to different, and perhaps more complex, objectives. This paper describes one particular approach to address these different objectives based on the construction of approximately equivalent (bisimilar) symbolic models for switched systems. The main contribution of this paper consists in showing that under standard assumptions ensuring incremental stability of a switched system (i.e. existence of a common Lyapunov function, or multiple Lyapunov functions with dwell time), it is possible to construct a finite symbolic model that is approximately bisimilar to the original switched system with a precision that can be chosen a priori. To support the computational merits of the proposed approach, we use symbolic models to synthesize controllers for two examples of switched systems, including the boost DC-DC converter.Comment: 17 page

On feedback stabilization of linear switched systems via switching signal control

Motivated by recent applications in control theory, we study the feedback stabilizability of switched systems, where one is allowed to chose the switching signal as a function of $x(t)$ in order to stabilize the system. We propose new algorithms and analyze several mathematical features of the problem which were unnoticed up to now, to our knowledge. We prove complexity results, (in-)equivalence between various notions of stabilizability, existence of Lyapunov functions, and provide a case study for a paradigmatic example introduced by Stanford and Urbano.Comment: 19 pages, 3 figure

Modelling & analysis of hybrid dynamic systems using a bond graph approach

Hybrid models are those containing continuous and discontinuous behaviour. In constructing dynamic systems models, it is frequently desirable to abstract rapidly changing, highly nonlinear behaviour to a discontinuity. Bond graphs lend themselves to systems modelling by being multi-disciplinary and reflecting the physics of the system. One advantage is that they can produce a mathematical model in a form that simulates quickly and efficiently. Hybrid bond graphs are a logical development which could further improve speed and efficiency. A range of hybrid bond graph forms have been proposed which are suitable for either simulation or further analysis, but not both. None have reached common usage. A Hybrid bond graph method is proposed here which is suitable for simulation as well as providing engineering insight through analysis. This new method features a distinction between structural and parametric switching. The controlled junction is used for the former, and gives rise to dynamic causality. A controlled element is developed for the latter. Dynamic causality is unconstrained so as to aid insight, and a new notation is proposed. The junction structure matrix for the hybrid bond graph features Boolean terms to reflect the controlled junctions in the graph structure. This hybrid JSM is used to generate a mixed-Boolean state equation. When storage elements are in dynamic causality, the resulting system equation is implicit. The focus of this thesis is the exploitation of the model. The implicit form enables application of matrix-rank criteria from control theory, and control properties can be seen in the structure and causal assignment. An impulsive mode may occur when storage elements are in dynamic causality, but otherwise there are no energy losses associated with commutation because this method dictates the way discontinuities are abstracted. The main contribution is therefore a Hybrid Bond Graph which reflects the physics of commutating systems and offers engineering insight through the choice of controlled elements and dynamic causality. It generates a unique, implicit, mixed-Boolean system equation, describing all modes of operation. This form is suitable for both simulation and analysis

Contribuições à teoria de controle de sistemas afins com comutação com aplicações em eletrônica de potência

Orientador: Grace Silva DeaectoTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia MecânicaResumo: Esta tese é dedicada ao estudo da teoria de controle de sistemas afins com comutação e algumas de suas aplicações no contexto de eletrônica de potência. Após discussões preliminares, as contribuições principais são apresentadas. O objetivo comum ao longo deste trabalho é desenvolver, sob a perspectiva de otimização convexa, estratégias capazes de governar eventos de chaveamento em sistemas dinâmicos afins de maneira a levar a trajetória do estado a um ponto de referência desejado ou a rastrear uma trajetória variante no tempo. Metodologias de projeto, baseadas em uma função de Lyapunov quadrática generalizada, para função de comutação dependente do estado ou da saída são fornecidas para sistemas afins com comutação a tempo discreto para os quais apenas estabilidade prática é possível de ser assegurada. Subsequentemente, novas condições para estabilidade prática são introduzidas baseadas em desigualdades de Lyapunov-Metzler e levando em conta uma função de Lyapunov do tipo mínimo, que permite reduzir o conservadorismo referente à garantia de estabilidade. Uma metodologia para projetar ciclos limites e assegurar a estabilidade assintótica global foi também apresentada, que leva em conta uma função de Lyapunov variante no tempo e permite tratar otimização de desempenho H2 e Hinf. Ademais, novas discussões sobre a estabilidade de uma classe de sistemas com comutação não-lineares a tempo contínuo são introduzidas, nas quais o problema de rastreamento de trajetória é tratado. O estudo desta classe é de interesse visto que ela modela o comportamento dinâmico de conversores de potência CA-CC e de máquinas síncronas de ímã permanente alimentadas por inversores de tensão. Esta nova abordagem permite o controle de forma mais simples quando comparada a estratégias clássicas de controle vetorial. Finalmente, alguns resultados experimentais são apresentados, validando as estratégias de controle desenvolvidas. As condições de estabilidade e projeto são majoritariamente escritas em termos de desigualdades matriciais lineares e, logo, podem ser resolvidas de forma eficiente por resolvedores de programação semi-definida prontamente disponíveisAbstract: This dissertation is devoted to the study of switched affine systems control theory and some of its applications in power electronics context. After some preliminary discussions, the main contributions are presented. The common goal throughout this work is to develop, from a convex optimization viewpoint, strategies capable of governing switching events in dynamical affine systems in order to bring the state variable to a desired reference value or to track a time-varying trajectory profile. Design methodologies for state or output dependent switching function based on a generalized Lyapunov function are provided for discrete-time switched affine systems, where only practical stability is possible to be assured. Subsequently, novel practical stability conditions are proposed, based on Lyapunov-Metzler inequalities and taking into account a min-type Lyapunov function, which allows us to reduce conservativeness regarding stability guarantee. A methodology for designing limit cycles and assuring their global asymptotic stability is also presented, which takes into account a time-varying Lyapunov function and permits to cope with H2 and Hinf performance optimization. Afterward, novel discussions on the stability of a continuous-time nonlinear switched systems class are introduced, where the trajectory-tracking problem is addressed. The study about this class is of interest as it models the dynamic behavior of AC-DC power converters and permanent magnet synchronous machines fed by voltage source inverters. This new approach allows their control in a simpler manner when compared to classical field-oriented control strategies. Finally, some experimental results are presented, validating the developed control strategies. Stability and design conditions are mostly written as linear matrix inequalities and, thus, can be efficiently solved by readily available semi-definite programming solversDoutoradoMecatrônicaDoutor em Engenharia MecânicaPDSE 88881.187487/2018-01CAPESCNPQFAPES

On the Stabilisation of Switching Electrical Power Converters

International audienc