La propulsion aérobie à grande vitesse est depuis longtemps identifiée comme l'un des prochains sauts technologiques à franchir dans le domaine des lanceurs spatiaux. Cependant, les véhicules hypersoniques (HSV) fonctionnant dans des domaines de vitesse extrêmement élevées, de nombreuses contraintes et incertitudes entravent les garanties des propriétés des contrôleurs. L'objet de cette thèse est d'étudier la synthèse de commande d'un tel véhicule.Pour commencer, il s'agit de définir un modèle représentatif d'un HSV exploitable pour la commande. Dans ce travail, nous construisons deux modèles de HSV. Un pour la simulation en boucle fermée, et le second afin de poser précisément le problème de commande.Nous proposons ensuite une synthèse de commande de la dynamique longitudinale dans le plan vertical de symétrie. Celle-ci est robuste aux incertitudes de modélisation, tolérante à des saturations, et n'excite pas les dynamiques rapides négligées. Ses propriétés sont évaluées sur différents cas de simulation. Puis, une extension est proposée afin de résoudre le problème de commande simultanée des dynamiques longitudinale et latérale, sous les mêmes contraintes.Ce résultat est obtenu par une assignation de fonction de Lyapunov, suite à une étude des dynamiques longitudinale et latérale. Par ailleurs, pour traiter les erreurs de poursuite dues aux incertitudes de modélisation, nous nous intéressons au problème de régulation asymptotique robuste par retour d'état. Nous montrons que cette régulation peut être accomplie en stabilisant le système augmenté d'un intégrateur de la sortie. Ceci constitue une extension de la structure de contrôle proportionnel-intégral au cas des systèmes non linéaires. / High speed airbreathing thrust has been known for a long time as one of the next technological step to be overcome in space launchers domain. However, HyperSonic Vehicles (HSV) speed operating ranges being extremely high, numerous constraints and uncertainties restrict the ensuring of control properties. The purpose of this thesis is to study control synthesis for such a vehicle.First, it concern the definition of a HSV model for controlling purpose. In this work is constructed two HSV models. One in order to effect closed loop simulation, and the other in order to precisely establish the control problem.Then, is proposed a control synthesis for the longitudinal dynamics restricted to the symmetric vertical plane. It is robust to modelling uncertainties, allows saturation, and does not excite neglected fast dynamics. Its properties are evaluated on different cases of simulation. Next, an extension is proposed in order to solve the problem of controlling simultaneously longitudinal and lateral dynamics, under the same constraints.This result is obtained by the use of control Lyapunov functions, following the study of longitudinal and lateral dynamics. Furthermore, in order to solve tracking errors due to modelling uncertainties, the problem of robust asymptotic regulation by state feedback has been addressed. It is shown that such a regulation can be achieved by stabilizing the system augmented by an output integrator. This constitutes an extension for nonlinear systems of the proportional-integral control structure.

L’objectif de ce travail est de proposer de nouvelles stratégies de commande non linéaire pour la stabilisation des Réacteurs Parfaitement Agités Continus (RPAC). Pour cela, nous utilisons d’une part, l’approche thermodynamique entropique. Plus précisément, nous utilisons la notion de disponibilité thermodynamique et les propriétés de la thermodynamique irréversible pour définir une fonction de Lyapunov utilisable pour la stabilisation du système en boucle fermée. Nous proposons aussi une fonction disponibilité réduite afin d’obtenir des lois stabilisantes plus performantes en terme de sollicitation des actionneurs. D’autre part, nous proposons une extension du formalisme (pseudo) hamiltonien à ports dissipatifs aux réacteurs chimiques ouverts. Nous montrons que l’Hamiltonien est lié à l’enthalpie libre de Gibbs dans le cas isotherme et à l’ectropie (opposée de l’entropie) dans le cas non isotherme. Par ce formalisme, la dissipation du système représente la production irréversible d’entropie due à la réaction chimique. Nous appliquons ensuite les techniques de commande passive (modelage de l’énergie) pour la synthèse de lois de commande en choisissant la disponibilité thermodynamique comme fonction hamiltonienne à modeler en boucle fermée. Finalement, nous montrons que les commandes synthétisées par l’approche thermodynamique entropique et la formulation pseudo-hamiltonienne sont, dans certains cas, équivalentes. Certaines propriétés relatives à la stabilisation et l’admissibilité des commandes sont aussi considérées. Les développements théoriques sont mis en oeuvre sur des exemples différents de RPAC : un réacteur académique et l’hydrolyse par catalyse acide de l’oxirane-méthanol en glycérine. / The goal of this thesis is to propose new nonlinear control strategies for the stabilization of perfectly Continuous Stirred Tank Reactors (CSTR). To achieve this goal, we use on the one hand, the entropic thermodynamic approach. More precisely, we use the thermodynamic availability concept and the properties of irreversible thermodynamics to define a Lyapunov function candidate for the stabilization of the closed loop system. We also propose a reduced availability function to design more efficient feedback laws in term of control variable solicitations. On the other hand, we propose an extension of the (pseudo) Hamiltonian formalism associated to dissipative systems to open chemical reactors. We show that the Hamiltonian is linked to the Gibbs free enthalpy in the isothermal case and to ectropy (opposed to entropy) in the non isothermal case. By this formalism, the dissipation of the system represents the irreversible entropy production due to chemical reaction. The Interconnection and Damping Assignment-Passivity Based Control (IDA-PBC) approach is then applied to synthesize feedback laws by choosing the thermodynamic availability as desired closed loop hamiltonian storage function. Finally, we show that feedback laws synthetized by the entropic thermodynamic approach and the pseudo-hamiltonian formulation are equivalent in some cases. Some stabilization properties and the control input admissibility are also considered. Theoretical developments are illustrated on some different CSTR examples : an academic case study and the acid catalyzed hydration of oxirane-methanol to glycerol.

L’objet de cette thèse est la modélisation et la commande par approche thermodynamique des réacteurs catalytiques triphasiques en mode continu et en mode discontinu. Ce type de réacteur consiste en un système fortement non linéaire, multivariable et siège de réactions exothermiques. Nous utilisons les concepts de la thermodynamique irréversible pour la synthèse de lois de commande stabilisante pour ces deux types de réacteurs chimiques. En effet, la stricte concavité de la fonction d’entropie nous a permis de définir une fonction de stockage qui sert de fonction de Lyapunov candidate : la disponibilité thermodynamique. Nous utilisons cette fonction de disponibilité thermodynamique pour la synthèse de lois de commande stabilisante d’un mini-réacteur catalytique triphasique intensifié continu. Une stratégie de contrôle à deux couches (optimisation et contrôle) est utilisée pour contrôler la température et la concentration du produit à la sortie du réacteur en présence de perturbations à l’entrée du réacteur. Les performances du contrôleur mis en place sont comparées en simulation à celles d’un régulateur PI. Dans certains cas, l’utilisation de la fonction de disponibilité thermodynamique s’avère problématique. Une autre étude effectuée sur cette fonction nous permet de déterminer une nouvelle fonction de Lyapunov : la disponibilité thermique. Nous utilisons par la suite la fonction de disponibilité thermique pour la synthèse de lois de commande stabilisante d’un réacteur catalytique triphasique semi-fermé. Un observateur grand gain est utilisé pour estimer la vitesse de réaction à partir des mesures de la température du milieu réactionnel. Cette estimation est injectée ensuite dans le calcul de la loi de commande mise en place. La robustesse du schéma de contrôle est testée en simulation face à des incertitudes de modélisation, des perturbations et des bruits de mesure. / The goal of this thesis is the modeling and thermodynamic based control of three-phase catalytic reactor working in continuous or discontinuous modes. These types of reactors are highly nonlinear, multivariable and exothermal processes. We use the concepts of irreversible thermodynamics for the synthesis of stabilizing control laws for these two types of chemical reactors. Indeed, the strict concavity of the entropy function has allowed us to define a storage function used as a candidate Lyapunov function: the availability function. We use this availability function for the synthesis of control laws for stabilizing a three-phase catalytic continuous intensified mini-reactor. A control strategy with two layers (optimization and control) is used to control the temperature and concentration of the product at the outlet of the reactor in the presence of disturbances. The performances of the controller are compared by simulation to those of a PI controller. In some cases, the use of the availability function may cause some problems. A new Lyapunov candidate function is then derived from the original availability function: the thermal availability. We use this thermal availability for the synthesis of stabilizing control laws for a three-phase catalytic fed-batch reactor. A high gain observer is used to estimate the chemical reaction rate from the measurements of the temperature. This estimate is then used for the control law implementation. The robustness of the control scheme is tested in simulation against modelling uncertainties, disturbances and noise measurements.

Cette thèse s’intéresse à l’étude de la stabilité des systèmes à commutation qui évoluent sur un domaine de temps non uniforme en introduisant la théorie des échelles de temps. On s’intéresse essentiellement aux systèmes dynamiques linéaires à commutation définis sur une échelle de temps particulière T = P{tσk ,tk+1} = ∪∞k=0[tσk , tk+1]. Le système étudié commute entre un sous-système dynamique continu sur les intervalles ∪∞k=0[tσk , tk+1[ et un sous-système dynamique discret aux instants ∪∞k=0{tk+1} (à temps discret) avec un pas discret qui varie dans le temps. Dans une première partie, des conditions suffisantes sont données pour garantir la stabilité exponentielle de cette classe de systèmes à commutation. Ensuite, des conditions nécessaires et suffisantes de stabilité sont données en déterminant une région de stabilité exponentielle. Dans une deuxième partie, la stabilité de cette classe des systèmes à commutation avec des perturbations nonlinéaires a été traitée en utilisant des majorations de la solution, puis en introduisant l’approche de la fonction de Lyapunov commune. La troisième partie est consacrée au problème du consensus en présence d’interruptions de transmission d’informations où le système multi-agent en boucle fermée peut être représenté comme un système à commutation par une combinaison de modèles de systèmes linéaires à temps continu et de systèmes linéaires à temps discret. / This thesis deals with the stability analysis of switched systems that evolve on non uniform time domain by introducing the time scale theory. We are interested mainly in dynamical linear switched systems defined on particular time scale T = P{tσk ,tk+1} = ∪∞k=0[tσk, tk+1]. The studied system switches between a continuous-time dynamical subsystem on the intervals ∪∞k=0[tσk, tk+1[ and a discrete-time dynamical subsystem on instants ∪∞k=0{tk+1} (a discrete time) with a time-varying discrete step. In a first part, sufficient conditions are given to guarantee the exponential stability of this class of switched systems. Then necessary and sufficient conditions for stability are given by determining a region of exponential stability. In the second part, the stability of this class of switched systems with nonlinear uncertainties, is treated using majoration of the solution, and after that by introducing the approach of a common Lyapunov function. The third part is devoted to the consensus problem under intermittent information transmissions where the closed-loop multi-agent system can be represented as a switched system using a combination of linear continuous-time and linear discrete-time systems.

The contributions of this thesis lie in the area of global finite-time observer design for a class of nonlinear systems with bounded rational and mixed rational powers imposed on the incremental rate of the nonlinear terms whose solutions exist and are unique for all positive time. In the thesis, two different kinds of nonlinear global finite-time observers are designed by employing of finite-time theory and homogeneity properties with different methods. The global finite-time stability of both proposed observers is derived on the basis of Lyapunov theory. For a class of nonlinear systems with rational and mixed rational powers imposed on the nonlinearities, the first global finite-time observers are designed, where the global finite-time stability of the observation systems is achieved from two parts by combining asymptotic stability and local finitetime stability. The proposed observers can only be designed for the class of nonlinear systems with dimensions greater than 3. The observers have a dynamic high gain and two homogenous terms, one homogeneous of degree greater than 1 and the other of degree less than 1. In order to prove the global finite-time stability of the proposed results, two homogeneous Lyapunov functions are provided, corresponding with the two homogeneous items. One is homogeneous of degree greater than 1, which makes the observation error systems converging into a spherical area around the origin, and the other is of degree less than 1, which ensures local finite-time stability. The second global finite-time observers are also proposed based on the high-gain technique, which does not place any limitation on the dimension of the nonlinear systems. Compared with the first global finite-time observers, the newly designed observers have only one homogeneous term and a new gain update law where two new terms are introduced to dominate some terms in the nonlinearities and ensure global finite-time stability as well. The global finite-time stability is obtained directly based on a sufficient condition of finite-time stability and only one Lyapunov function is employed in the proof. The validity of the two kinds of global finite-time observers that have been designed is illustrated through some simulation results. Both of them can make the observation error systems converge to the origin in finite-time. The parameters, initial conditions as well as the high gain do have some impact on the convergence time, where the high gain plays a stronger role. The bigger the high gain is, the shorter the time it needs to converge. In order to show the performance of the two kinds of observers more clearly, two examples are provided and some comparisons are made between them. Through these, it can be seen that under the same parameters and initial conditions, although the amplitude of the observation error curve is slightly greater, the global finite-time observers with a new gain update law can make the observation error systems converge much more quickly than the global finite-time observers with two homogeneous terms. In the simulation results, one can see that, as a common drawback of high gain observers, they are noise-sensitive. Finding methods to improve their robustness and adaptiveness will be quite interesting, useful and challenging. / Thesis (PhD)--University of Pretoria, 2013. / gm2014 / Electrical, Electronic and Computer Engineering / unrestricted

Utilization of power electronics based controllable systems (or devices) in transmission systems has opened new opportunities for the power industry to optimize utilization of the existing transmission systems, and at the same time to keep high system reliability and security. As a member of these controllable systems, Voltage Source Converters-based High Voltage direct current (VSC-HVdc) systems have the ability to rapidly control the transmitted active power, and also to independently exchange reactive power with transmissions systems. Therefore, VSC-HVdcs with a suitable control scheme can offer an alternative means to enhance transient stability, to improve power oscillations damping, and to provide voltage support. An interesting application of this system is the analysis of a power system when a VSC-HVdc is connected in parallel with ac transmission lines. This thesis presents the derivation of control strategies to damp power oscillations, to enhance the transient stability and to provide voltage support for a VSC-HVdc. The thesis also formulates a multichoice control strategy and its application when the VSC-HVdc is connected in a synchronous system. The control strategy for enhancing transient stability is based on the theory of Control Lyapunov Function. The control strategy for increasing the damping is based on Linear Analysis. A very effective well known way to increase damping in the system is modulating the active power through the HVdc. However, besides the control of active power, the thesis explores an alternative way to mitigate power oscillations by controlling the reactive power. This condition might be very useful when the dc link in the VSC-HVdc system is out of service, but the converter stations are in operating conditions. A simple model of VSC-HVdc is considered in order to test the control strategy. The model represents the VSC-HVdc as an element in the power system that provides adequate interaction with other systems elements. The model is intended for analysis of power flows and electromechanical transients. It is then sufficient to consider the power frequency components of voltages and currents represented by phasors that vary with time during transients. The model is valid for symmetrical conditions, i.e. positive sequence phasors are used for the representation of the electrical state. / QC 20101117

Dans cette thèse, nous prouvons des résultats concernant le contrôle et la stabilisation d'équations dispersives étudiées sur un intervalle borné. Pour commencer, nous étudions la stabilisation interne du système de Gear-Grimshaw, qui est un système de deux équations de Korteweg-de-Vries (KdV) couplées. Nous obtenons une décroissance exponentielle de l'énergie totale associée au modèle en introduisant une fonction de Lyapunov convenable. Nous prouvons aussi des résultats de contrôlabilité à zéro et exacte pour l'équation de Korteweg-de Vries avec un contrôle distribué à support dans un sous-intervalle du domaine. Pour la contrôlabilité à zéro du système linéarisé, nous utilisons l'approche classique basée sur la dualité qui ramène le problème à l'étude d'une inégalité d'observabilité qui, dans ce travail, est établie à l'aide d'une inégalité de Carleman. Ensuite, utilisant des fonctions plateau, nous prouvons un résultat de contrôlabilité exacte. Dans les deux cas, le résultat concernant le système non linéaire est obtenu à l'aide d'un argument de point fixe. Enfin, dans la lignée du résultat de contrôlabilité au bord obtenu par L. Rosier pour KdV, nous prouvons que le système linéaire de Boussinesq de type KdV-KdV est exactement contrôlable lorsque des contrôles sont appliqués au bord. Notre méthode repose sur l'utilisation de multiplicateurs et l'approche de la dualité mentionnée ci-dessus. Lorsqu'un mécanisme d'amortissement est introduit au bord, nous montrons que le système non linéaire est aussi exactement contrôlable et que l'énergie associée au modèle décroit exponentiellement / This work is devoted to prove a series of results concerning the control and stabilization properties of dispersive models posed on a bounded interval. Initially, we study the internal stabilization of a coupled system of two Korteweg-de Vries equations (KdV), the so-called Gear-Grimshaw system. Defining a convenient Lyapunov function we obtain the exponential decay of the total energy associated to the model. We also prove results of null and exact controllability for the Korteweg-de Vries equation with a control acting internally on a subset of the domain. In the case of the null controllability for the linear model, we use a classical duality approach which reduces the problem to the study of an observability inequality that, in this work, is proved by means of a Carleman inequality. Then, making use of cut-off functions, the exact controllability is also investigated. In both cases, the result for the nonlinear system is obtained by means of fixed-point argument. Finally, in view of the result of the boundary controllability obtained by L. Rosier for the KdV equation, we prove that the linear Boussinesq system of KdV-KdV type is exactly controllable when the controls act in the boundary conditions. Our analysis is performed using multipliers and the duality approach mentioned above. Adding a damping mechanism in the boundary, it is proved that the nonlinear system is also exactly controllable and that the energy associated to the model decays exponentially

O presente trabalho apresenta um método de projeto de controlador com alocação de pólos em sistemas fuzzy utilizando funções de Lyapunov por partes e contínuas no espaço de estado. A idéia principal é utilizar controladores chaveados no espaço de estado para obter uma resposta transitória satisfatória do sistema, obtida pela localização dos pólos. A modelagem fuzzy Takagi-Sugeno é utilizada para representar um sistema não-linear em diversos pontos de linearização através de uma aproximação por vários modelos locais lineares invariantes no tempo. A análise de estabilidade e o projeto de sistemas de controle podem se formulados em termos de desigualdades matriciais lineares (em inglês, linear matrix inequalities (LMIs)), as quais são resolvidas por técnicas de programação convexa. Na análise de estabilidade ou na síntese de um controlador em sistemas fuzzy é necessário resolver um número determinado de LMIs de acordo com o número de modelos locais. Encontrar uma função de Lyapunov comum a todos os modelos locais pode ser inviável, especialmente quando se impõem critérios de desempenho, que aparecem como restrições no contexto de LMIs. A proposta de uma função de Lyapunov por partes objetiva diminuir o conservadorismo na busca de um controlador que leve os pólos de malha fechada à uma região desejada. Resultados de análise e síntese da teoria de sistemas lineares por partes contribuíram para a construção do resultado apresentado. Exemplos com simulação ilustram o método proposto. / This work presents a controller design method for fuzzy dynamic systems based on piecewise Lyapunov functions with constraints on the closed-loop pole location. The main idea is to use switched controllers to locate the poles of the system to obtain a satisfactory transient response. The pole placement strategy allows to specify the performance in terms of the desired time response of the feedback system. The Takagi-Sugeno fuzzy model can approximate the nonlinear system in several linearization points using linear time invariant systems. Thus, a global fuzzy model can be obtained from a fuzzy combination of these linear systems. Stability analysis and design of fuzzy control systems can be efficiently carried out in the context of linear matrix inequalities (LMIs). If the fuzzy system is described by many local models, the resulting set of LMIs may be infeasible. The search for a Lyapunov function in the fuzzy pole placement problem may be easier to be satisfied in a piecewise framework. Some results from piecewise linear systems theory have contributed to the development of the presented technique. Some examples are given to illustrate the proposed method.

O presente trabalho apresenta um método de projeto de controlador com alocação de pólos em sistemas fuzzy utilizando funções de Lyapunov por partes e contínuas no espaço de estado. A idéia principal é utilizar controladores chaveados no espaço de estado para obter uma resposta transitória satisfatória do sistema, obtida pela localização dos pólos. A modelagem fuzzy Takagi-Sugeno é utilizada para representar um sistema não-linear em diversos pontos de linearização através de uma aproximação por vários modelos locais lineares invariantes no tempo. A análise de estabilidade e o projeto de sistemas de controle podem se formulados em termos de desigualdades matriciais lineares (em inglês, linear matrix inequalities (LMIs)), as quais são resolvidas por técnicas de programação convexa. Na análise de estabilidade ou na síntese de um controlador em sistemas fuzzy é necessário resolver um número determinado de LMIs de acordo com o número de modelos locais. Encontrar uma função de Lyapunov comum a todos os modelos locais pode ser inviável, especialmente quando se impõem critérios de desempenho, que aparecem como restrições no contexto de LMIs. A proposta de uma função de Lyapunov por partes objetiva diminuir o conservadorismo na busca de um controlador que leve os pólos de malha fechada à uma região desejada. Resultados de análise e síntese da teoria de sistemas lineares por partes contribuíram para a construção do resultado apresentado. Exemplos com simulação ilustram o método proposto. / This work presents a controller design method for fuzzy dynamic systems based on piecewise Lyapunov functions with constraints on the closed-loop pole location. The main idea is to use switched controllers to locate the poles of the system to obtain a satisfactory transient response. The pole placement strategy allows to specify the performance in terms of the desired time response of the feedback system. The Takagi-Sugeno fuzzy model can approximate the nonlinear system in several linearization points using linear time invariant systems. Thus, a global fuzzy model can be obtained from a fuzzy combination of these linear systems. Stability analysis and design of fuzzy control systems can be efficiently carried out in the context of linear matrix inequalities (LMIs). If the fuzzy system is described by many local models, the resulting set of LMIs may be infeasible. The search for a Lyapunov function in the fuzzy pole placement problem may be easier to be satisfied in a piecewise framework. Some results from piecewise linear systems theory have contributed to the development of the presented technique. Some examples are given to illustrate the proposed method.

Cette thèse porte sur le développement de nouvelles stratégies de commande et d’observation adaptatives par Modes Glissants (MG) et par Modes Glissants d’Ordres Supérieurs (MGOS). En effet, la mise en œuvre des commandes par MG et MGOS classiques nécessite la connaissance des limites supérieures des perturbations ou de leurs dérivées, souvent inconnues. Le premier apport de cette thèse est la synthèse d’une stratégie d’adaptation permettant d'assurer la convergence de la variable de glissement vers un voisinage prédéfini de zéro sans nécessiter d'informations sur les perturbations ou leurs dérivées et sans surestimation du gain. Cette stratégie est ensuite déclinée pour concevoir : deux commandes par MG d’ordre 1 et 2, une commande par mode glissant intégral, ainsi qu’une version du différenciateur de Levant. La deuxième contribution de la thèse est la mise au point de deux commandes adaptatives par MGOS discontinues. Ces deux algorithmes assurent un mode glissant d'ordre n en s’affranchissant de la connaissance de la limite supérieure de la perturbation et de sa dérivée. Enfin, afin de montrer l’efficacité des algorithmes proposés, ils sont appliqués avec succès à travers des simulations pour la commande d’un système de conversion de l’énergie éolienne et la commande d’un moteur à induction linéaire pour la cogénération. / This thesis deals with the development of novel strategies to adapt higher order sliding mode controllers and observers. The implementation of classics first order and higher order sliding mode controllers requires the knowledge of the upper bound of the disturbance or its derivative, which are often not known. The first contribution of this thesis is the design of an adaptive strategy that can ensure the convergence of the sliding variable to a predefined neighborhood of zero without requiring any information of the disturbance or its derivative and without overestimating the adaptive gain. This adaptive strategy is then declined for the design of the first order, second order and integral sliding mode controllers, and for the Levant's differentiator. The second contribution of the thesis is the development of two adaptive strategies for discontinuous higher order sliding mode control. The proposed two algorithms can provide the achievement of n-order sliding mode despite disturbances with unknown upper bounds or with unknown upper bounds of their derivatives. Finally, in order to show the effectiveness of the proposed algorithms, they are successfully applied through simulations to control the wind energy conversion system and the linear induction motor system for cogeneration.