Les travaux concernent la commande d'un moteur synchrone à aimants permanents en utilisant les techniques de modes glissants par ordres supérieurs. On a développé une méthodologie complète partant des études théoriques relatives à la linéarisation exacte des systèmes non linéaires par retour d'état et aux techniques de commande par modes glissants, jusque l'implémentation des lois de commande obtenues tant en simulation que sur une plateforme expérimentale. Après avoir posé les objectifs de la thèse et donné les principales motivations, on propose en premier lieu un état de l'art historique du développement de la théorie de la commande pour les systèmes non linéaires. Les divers principes de base de la commande par modes glissants d'ordre un est présenté et explicitée et monte ainsi les avantages et les inconvénients. Une illustration est proposée avec exemple assez simple. Le phénomène de réticence ou de "chattering" est abordé et les solutions les plus classiques utilisées pour le réduire sont rappelées. L'application des techniques de modes glissants d'ordres supérieurs au moteur synchrone à aimants permanents est ensuite présentée. Partant des équations électriques, électromagnétiques et mécaniques qui régissent le système, le modèle d'état est clairement posé. Ensuite, l'auteur décline les objectifs de commande et décrit la synthèse d'une loi de commande, basée sur les modes glissants d'ordres supérieurs, permettant de les atteindre. L'étude qui est faite pour l'établissement du modèle tient aussi compte du fait que les paramètres du système varient dans le temps. Deux surfaces de glissements sont définies en accord avec les objectifs de commande : le courant id et la position angulaire. L'étape suivante a consisté alors à linéariser et découpler par retour d'état, ce système ayant deux entrées et deux sorties. Par la suite, une fois le système linéarisé et découplé, l'auteur fait la synthèse de complète de son correcteur à savoir la loi de commande et des dérivateurs basés sur des modes glissants par ordres supérieurs. De nombreuses simulations montrent l'efficacité du schéma de commande élaboré. Les résultats obtenus en implémentant les lois de commande étudiées sur une plateforme expérimentale sont présentés. L'auteur décrit d'abord la plateforme dSpace utilisée ainsi que le banc expérimental (moteur, capteurs, actionneurs filtres....). Ensuite, sont détaillées les différentes étapes d'implémentation de la commande en utilisant le logiciel MATLAB/SIMULINK. La méthodologie utilisée et les résultats expérimentaux obtenus sont exposés et commentés.

Cette thèse est consacrée à l'étude de la stabilité robuste de lois de commande de systèmes non linéaires. La première partie s'intéresse aux systèmes non linéaires entrée-sortie linéarisés et découplés par bouclage statique. Nous rappelons la définition de l'immersion d'un système entrée-sortie et nous distinguons deux cas: l'immersion est localement bijective, les résultats de stabilité et de robustesse se ramènent au cas linéaire là où la loi de bouclage ne présente pas de singularité ; l'immersion n'est pas bijective. Dans ce cas, la loi de bouclage a rendu une partie de la dynamique inobservable, la dynamique des zéros. Nous donnons une définition de la stabilité moins restrictive que la stabilité asymptotique, la K-stabilité, et nous donnons deux conditions nécessaires de K-stabilité, l'une étant de nature topologique et utilisant la caractéristique d'Euler-Poincaré de la sous-variété asymptotique inobservable. La seconde partie est consacrée à l'étude de la linéarisation totale des systèmes non linéaires entrée-état par bouclage dynamique. Nous montrons d'abord que pour les systèmes mono-entrée, la linéarisation par bouclage dynamique est équivalente à la linéarisation par bouclage statique. Nous donnons ensuite une condition nécessaire triviale de linéarisation par bouclage dynamique. Nous montrons que cette condition est suffisante pour les systèmes ayant une dimension de plus que de com- mande. Puis nous donnons des conditions suffisantes de linéarisation totale par bouclage dynamique pour les systèmes non linéaires multi-entrée. Des exemples, dont un tiré de l'aéronautique, nous montrent comment mettre en œuvre ces conditions.

Ce rapport de thèse a pour but de résumer le travail de recherche sur la commande non linéaire de canaux à surface libre, basé sur un modèle de dimension finie, obtenu par une méthode de collocation orthogonale. Il est divisé en trois grandes parties. Une première partie présente les systèmes de distribution d'eau en général, ainsi que quelques notions d'automatisation et un état de l'art sur le sujet. La deuxième partie présente le modélisation de biefs de canaux ouverts par les équations de Saint-Venant, ainsi que trois méthodes d'intégration numérique de ces équations. Les méthodes présentées sont deux méthodes de différences finies, une explicite et une autre implicite dite de Preissmann, et une troisième est la méthode de collation orthogonale, utilisée par la suite pour la commande. La troisième partie est dédiée au développement de lois de commande non linéaires pour le modèle de canal à surface libre obtenu par la méthode de collation orthogonale. Trois méthodes sont utilisées ici pour la commande : linéarisation entrée-sortie, linéarisation entrée-sortie dynamique et backstepping. De plus afin de s'affranchir de la nécessité de mesurer tous les états, un observateur de débit et infiltration a été développé. Enfin, quelques avavcées sur la commande de briefs interconnectés sont présentés.

Aujourd'hui, les grands réseaux électriques fonctionnent de plus en plus près de leur limite de stabilité. Les moyens de contrôle classique des réseaux permettent d'assurer leur stabilité dans des conditions de fonctionnement normales. Cependant, compte tenu de la variété des conditions et des schémas d'exploitation, de la sévérité des incidents, les équipements de commande actuellement installés surles réseaux peuvent s'avérer trop limités et insuffisants pour répondre efficacement aux diverses perturbations. L'objectif général de cette thèse est l'étude et la comparaison de méthodologies de synthèse de contrôleurs décentralisés non linéaires qui puissent améliorer la stabilité transitoire des réseaux électriques. La notion de contrôleur décentralisé signifie ici que les grandeurs nécessaires pour élaborer la commande sont disponibles localement, c'est-à-dire à proximité du turbo-générateur à contrôler.Dans une première étape, nous nous sommes fixés l'objectif de développer une méthodologie de commande non-linéaire qui puisse améliorer les amortissements des oscillations transitoires provenant des courts-circuits triphasés se présentant sur la ligne de transmission, dans le contexte d'un système SMIB (une seule machine connectée à un n\oe ud infini). Dans une deuxième étape, nous nous sommes donnés l'objectif de généraliser cette méthodologie de commande non linéaire à un réseau multi-machines interconnecté. Nous nous sommes aussi fixés comme objectif dans ce cadre de tester la démarche proposée pour contrôler l'amortissement des oscillations basse fréquence (0.1-10 (dollar) HZ (dollard) locales et inter-zones.

De nos jours, les systèmes de transport haute tension continue (HVDC) sont de<br />plus en plus considérés dans une transmission de puissance et les convertisseurs fonctionnant<br />en source de tension (VSC) peuvent offrir des degrés de liberté supplémentaires, d'un intérêt<br />particulier dans la conception d'une commande.<br />Dans notre étude, les lois de commande sont synthétisées en temps discret et en appliquant<br />le principe de linéarisation entrée-sortie. Elles ont principalement pour objectifs de stabiliser<br />la puissance qui transite, d'assurer la régulation de la tension du bus continu et d'obtenir des<br />facteurs de puissance qui soient, au niveau de la source et de la charge, les plus élevés possible.<br />Pour pouvoir exploiter en pratique les commandes, il est nécessaire de les associer avec des<br />observateurs. Du fait que géographiquement la source de puissance et la charge sont situées de<br />part et d'autre d'une ligne de transmission, l'enjeu ultime de l'observation est la possibilité de<br />décentraliser les lois de commande. Cette décentralisation implique d'émettre des hypothèses<br />sur le comportement de ces deux éléments. Celles-ci font l'objet d'une étude approfondie.<br />Ainsi, dans cette thèse, nous développons une méthodologie de commande qui est systématique<br />pour les systèmes HVDC intégrant des convertisseurs VSC.

La tomographie est un ensemble de techniques visant à reconstruirel'intérieur d'un objet sans toucher l'objet lui même comme dans le casd'un scanner. Les principes théoriques de la tomographie ont été énoncéspar Radon en 1917. On peut assimiler l'objet à reconstruire à une image,matrice, etc.Le problème de reconstruction tomographique consiste à estimer l'objet àpartir d'un ensemble de projections obtenues par mesures expérimentalesautour de l'objet à reconstruire. La tomographie discrète étudie le cas où lenombre de projections est limité et l'objet est défini de façon discrète. Leschamps d'applications de la tomographie discrète sont nombreux et variés.Citons par exemple les applications de type non destructif comme l'imageriemédicale. Il existe d'autres applications de la tomographie discrète, commeles problèmes d'emplois du temps.La tomographie discrète peut être considérée comme un problème d'optimisationcombinatoire car le domaine de reconstruction est discret et le nombrede projections est fini. La programmation mathématique en nombres entiersconstitue un outil pour traiter les problèmes d'optimisation combinatoire.L'objectif de cette thèse est d'étudier et d'utiliser les techniques d'optimisationcombinatoire pour résoudre les problèmes de tomographie.

Cette thèse porte sur les techniques d'analyse formelle de systèmes hybrides à dynamiques continues non linéaire. Ses contributions portent sur les algorithmes d'atteignabilité et sur les problèmatiques liées à la representation des ensembles atteignables. This thesis deals with formal analysis of hybrid system with non linear continous dynamic. It contributes to the fields of reachability analysis algorithm and the set representation.

Cette thèse adresse le problème suivant soit un robot mobile à roues equipé de capteurs, supposés parfaits, renvoyant en temps réel sa localisation. Notre objectif est de construire des lois de commande permettant à autonome. Nous avons dans un premier temps supposé que les roues roulent sans glisser sur le sol. Ceci est réaliste à vitesse modérée et sur des terrains de bonne adhérence. Les possibilités d'évolution des robots étant alors contraintes, ces systèmes sont clairement non-holonomes. Leur modélisation est détaillée. Elle montre que, dans l'optique de la synthèse de lois de commande, l'ensemble des robots mobiles à roues constitue 5 classes d'équivalence. La poursuite d'une trajectoire mobile et la stabilisation sur une configuration de repos sont, pour les systèmes non-holonomes, 2 problèmes distincts. Les solutions classiques peuvent être utilisées pour 4 classes de robots. Celle regroupant les robots équipés de plu sieurs roues commandées en orientation et en rotation présente une difficulté: le modèle de ces systèmes comporte des singularités. Nous avons construit, pour la poursuite, des lois de linéarisation par bouclage d'état dynamique, et pour la stabilisation, des lois de bouclage de l'état et du temps, qui garantissent que ces robots ne passent pas par leurs singularités. Enfin, pour la poursuite de trajectoires mobiles se terminant par une configuration de repos, nous avons proposé un schéma de commande hybride exploitant ces lois. Indépendamment, nous avons aussi analysé le taux de convergence de bouclages de l'état et du temps. Afin d'aborder la commande de robots à des vitesses élevées et/ou avec une mauvaise adhérence, nous avons dans un second temps relâché l'hypothèse de non-glissement. Une seconde modélisation, exploitant la description du contact d'un pneumatique avec le sol, est proposée. Celle-ci étant indéfinie à vitesse nulle, seule la poursuite d'une trajectoire mobile est envisagée. Nous avons proposé des lois de linéarisation partielle par bouclage d'état statique, et un schéma adaptatif afin qu'elles soient robustes pour les conditions d'adhérence.

La localisation d’un véhicule via les techniques de SLAM (Simultaneous Localization And Mapping pour cartographie et localisation simultanées) a connu un essor important durant les 20 dernières années. Pourtant, peu d’approches ont tenté d’étendre ces algorithmes à une flotte de véhicules malgré les nombreuses applications potentielles. C’est ici l’objectif de cette thèse. Pour ce faire, une approche de SLAM monoculaire pour un seul véhicule a d’abord été développée. Celle-ci propose de coupler un filtre de Kalman étendu avec une représentation cartésienne des amers afin de produire des cartes de faible densité mais de qualité. En effet, l’extension à plusieurs véhicules nécessite des échanges permanents par l’intermédiaire de communications sans fil. Avec peu d’amers dans les cartes, notre approche s’accommode bien du nombre de véhicules de la flotte. Des capteurs peu onéreux ont aussi été privilégiés (une unique caméra et un odomètre) afin de réduire le coût d’une extension multivéhicule. Des correctifs ont été proposés afin d’éviter les problèmes de divergence induits par les choix précédents. Des expérimentations ont montré que la solution de SLAM produite était légère et rapide tout en fournissant une localisation de qualité. La dérive, inhérente à tout algorithme de SLAM, a également fait l’objet d’une analyse. Celle-ci a été intégrée au SLAM par l’intermédiaire d’une architecture dédiée et d’un modèle dynamique. Le but est de pouvoir rendre consistante la localisation fournie par le SLAM, même en l’absence d’estimation de la dérive. Cela permet d’effectuer des fermetures de boucle ou encore d’intégrer des informations géo-référencées de manière naturelle tout en conservant l’intégrité de la solution. En multivéhicule, cet aspect est un point clef puisque chaque véhicule dérive différemment des autres. Il est donc important de le prendre en compte. Enfin, le SLAM a été étendu à plusieurs véhicules. Une structure générique a été prévue afin que notre approche monoculaire puisse être remplacée par n’importe quel algorithme de SLAM. Notre architecture décentralisée évite la consanguinité des données (le fait de compter deux fois une même information) et gère les défaillances réseau, que cela soit des ruptures de communication ou encore des latences dans la réception des données. La partie statique du modèle de dérive permet également de prendre en compte le fait que les positions initiales des véhicules d’une flotte puissent être inconnues. L’intégrité est ainsi maintenue en permanence. Enfin, notre approche étant entièrement décentralisée, elle a pu être testée et validée en simulation et avec des expérimentations réelles dans diverses configurations (convoi en colonne ou en ligne, avec 2 ou 3 véhicules). / The localization of a vehicle with the use of SLAM techniques (Simultaneous Localization And Mapping) has been extensively studied during the last 20 years. However, only a few approaches have tried to extend these algorithms to a fleet of vehicles despite the many potential applications. It is the objective of this thesis. First of all, a monocular SLAM for a single vehicle has been developed. This one proposes to pair an Extended Kalman Filter with a Cartesian representation for landmarks so as to produce accurate low density maps. Indeed, the extension of SLAM to several vehicles requires permanent communications inside the fleet. With only a few landmarks mapped, our approach scales nicely with the number of vehicles. Cheap sensors have been favored (a single camera and an odometer) in order to spread more easily the use of multi-vehicle applications. Correctives have been proposed in order to avoid the divergence problems induced by such a scheme. The experiments showed that our SLAM is able to furnish good localization results while being light and fast.The drift affecting every SLAM algorithm has also been studied. Its integration inside the SLAM process, thanks to a dedicated architecture and a dynamic model, allows to ensure consistency even without an estimation of it. Loop closures or the integration of geo-referenced information becomes straightforward. They naturally correct all the past positions while still maintaining consistency. In a multi-vehicle scenario, it is a key aspect as each vehicle drifts differently from one another. It is consequently important to take it into account. Our SLAM algorithm has then been extended to several vehicles. A generic structure has been used so as to allow any SLAM algorithm to replace our monocular SLAM. The multi-vehicle architecture avoids data incest (double-counting information) and handles network failures, be they communication breakdowns or latencies when receiving data. The static part of the drift model allows to take into account the fact that the initial positions of the different vehicles composing the fleet might be unknown. Consistency is thus permanently preserved. Our approach has been successfully tested using simulations and real experiments with various settings (row or column convoy with 2 or 3 vehicles) in a fully decentralized way.

Depuis la première génération de téléphone mobile, de nombreuses fonctions et outils ont été intégrés dans nos terminaux. Il y a vingt ans, nous utilisions nos téléphone pour émettre des appels et envoyer/recevoir des messages. Aujourd’hui, l’accès à internet, la radio, l’appareil photo, des jeux et de la musique sont des fonctionnalités que l’on retrouve dans nos téléphones mobiles.Dans un contexte de téléphonie pouvant adresse plusieurs standards, l’objectif de cette thèse est de concevoir et de réaliser l’implémentation d’une architecture capable d’améliorer la linéarité de notre émetteur pour le standard 3G, utilisant des composants analogiques et numériques. Pour cela, notre étude se concentrera sur l’amélioration de la linéarité, tout en maintenant une consommation la plus faible possible mais également tout en évitant d’augmenter la taille d’une puce 3G. Nous allons démontrer qu’il est possible d’intégrer une technique de linéarisation tout en maintenant une consommation et une surface en silicium.Le premier chapitre présente différentes architectures d’émetteurs et des techniques de linéarisation avec leurs avantages et inconvénients. Il est également présenté des moyens d’évaluer l’efficacité d’un émetteur par des simulations ou des mesures. L’objectif de cette partie est de choisir une technique de linéarisation à laquelle nous associerons une architecture d’émetteur afin de répondre le plus rigoureusement à notre application et ces contraintes émanant.Le second chapitre détaille le fonctionnement du système complet, la partie numérique et la partie analogique, s’appuyant sur des études théoriques. Nous commencerons en détaillant les contraintes et les précautions qui doivent être prises en compte par le concepteur afin d’étudier l’instabilité et le bruit produit par l’émetteur. Nous décrierons alors deux algorithmes numériques permettant de réaliser la correction des signaux. Des simulations au niveau système de la boucle Cartésienne seront également présenté utilisant, dans un premier temps un amplificateur de puissance idéal, pour ensuite utilisé un amplificateur de puissance réalisé en technologie BiCMOS, et finalement un amplificateur de puissance conçu en technologie CMOS, qui est celle choisie pour notre étude.Le troisième chapitre présente la synthèse de la partie numérique en technologie CMOS des deux algorithmes précédemment cités, elle prend en compte toutes les étapes ; du code VHDL jusqu’au layout, permettant de réaliser un circuit numérique. Ensuite, il est décrit chaque composant de la boucle cartésienne, avec leurs propres simulations ou mesures. De plus, il est important de garder à l’esprit que l’objectif de cette thèse repose sur l’intégration du système complet (partie analogique et numérique) en technologie CMOS 65nm de STMicroelectronics, démontrant ainsi la faisabilité de la solution.Dans un premier temps, nous décrirons la partie numérique permettant de réaliser les étapes de correction de phase et de soustraction des signaux en technologie ASIC. L’algorithme de CORDIC a pour avantage de minimiser la consommation et l’occupation en Silicium de la partie analogique. Par la suite, l’architecture et les spécifications de chaque brique de base constituant la partie analogique seront présentées. Dans notre cas, la chaîne directe est composée de filtres, de mélangeurs, et d'un amplificateur de puissance. Notre objectif est de réaliser ces trois fonctions avec le minium de consommation et une surface du circuit la plus faible possible, ceci permettant une intégration plus aisée.Finalement, les simulations système seront présentées utilisant le logiciel de simulation ADC (Advanced Design Software) d’Agilent pour la partie analogique. Des co-simulations ont été réalisées sur le système complet, utilisant SystemVue pour la partie numérique. Les simulations réalisant ADS nous ont fourni les performances de chaque brique de base s’appuyant sur les caractéristiques des transistors. / Since the first generation of mobile phones, a lot of functions, standards and tools have been integrated on handsets. Twenty years ago, consumers could use their mobile phones only to call and to send messages. Nowadays, internet access, radio, cameras, games and music are included and available as options for every mobile phone.All of these new services make the cost of production for a cellular phone more expensive. Despite that, industry has to find a solution to maintain their products the most attractive as possible including the large range of integrated functions.In the context of interaction with other standards, the aim of this thesis is to design and implement a chipset able to improve the linearity of a transmitter for third generation mobile phones, using both digital and analog technologies. For this purpose, the study will focus on the improvement of the linearity, keeping the consumption and the die area of the circuit as small as possible. We will prove that linearization on an integrated circuit is possible with almost the same consumption and die area occupation compared to a classic transmitter.The first chapter presents the different architectures used for a transmitter and various linearization techniques with their advantages and drawbacks. Some metrics are also presented in order to evaluate these architectures. The goal of this part is to choose a linearization technique associated to a transmitter in order to fit with our application and constraints.The second chapter explains the complete system, digital and analog parts, with theoretical studies. We will start by detailing the constraints and precautions that must be taken into account by the designer to study the instability and the noise generated by the transmitter. We will describe how two algorithms make signal corrections. In the last part we will show system level simulations of the Cartesian Feedback using, first, an ideal power amplifier (PA), then, a PA in a BiCMOS technology, and finally, a PA in a CMOS technology that will be used for the final integrated circuit.The third and last chapter shows the digital synthesis in a CMOS technology of the two algorithms previously mentioned, considering all steps, from the VHDL code until the layout of the digital part. We will describe and simulate each analog building block of the Cartesian Feedback, with the measurement results for some of them. Each chapter will be working towards the goal of this study, demonstrated in this part: to make an integrated system, with its complete solution and simulations.This chapter presents the integration of the analog and digital Cartesian Feedback described previously in 65nm CMOS technology from STMicroelectronics. First, the digital part generating the phase correction and subtraction will be shown in ASIC technology, with a CORDIC algorithm to reduce its consumption and size. Secondly, the architecture and specification of building blocks will be shown. In our case, the direct path is composed of filters, RF modulator and a Power Amplifier. Our objective is to design these three functions to minimize the consumption and the silicon area of the integrated architecture. Finally, system level simulations will be presented using the ADS (Advanced Design Software) from Agilent for the analog part. Co-simulations have been done to analyze the whole system, with SystemVue for the digital part. The simulations using ADS will provide the performance of each building block on the transistors level.