Ce travail de thèse traite de la problématique d’estimation des défauts et de l’étathybride pour une classe de systèmes linéaires à commutations. L’objectif est de développerune méthode afin de synthétiser un observateur et un estimateur dédiésrespectivement à l’estimation de l’état hybride et des défauts. Après la présentationd’un état de l’art sur les techniques d’estimation, de stabilité et de diagnosticpour les systèmes linéaires à commutations, la thèse est scindée en deux parties.La première partie propose une méthode d’estimation de l’état continu et desdéfauts dans le cas où l’état discret du système est connu. En se basant sur unetransformation de coordonnées qui découple un sous-ensemble de l’état du systèmedes défauts, nous avons synthétisé dans un premier temps un observateur hybridepour estimer l’état continu du système, et dans un second temps, un estimateurpermettant la reconstruction des défauts. L’estimateur de défauts proposé dépendde la dérivée de la sortie du système. Pour cette raison, un différenciateur robusteet exact basé sur des techniques des modes glissants est utilisé. Dans la secondepartie de ce mémoire, l’état discret du système est supposé inconnu. Une approchebasée sur des méthodes algébriques est proposée afin d’estimer les instants decommutation entre les différents sous-systèmes. Par la suite, l’estimation de l’étathybride (état continu et état discret) et des défauts est considérée dans le cas oùl’état discret du système est inconnu. Ce dernier est reconstruit en se basant surles instant de commutation estimé et sur une séquence de commutation connue.L’état continu du système est estimé en se basant sur une méthode de placementde pôles permettant d’améliorer les performances de la phase transitoire. Enfin, enexploitant des résultats trouvés dans la première partie, l’estimation des défautsest considérée en estimant la sortie du système avec un différenciateur algébrique.Ce différenciateur donne des résultats plus intéressants vis-à-vis du bruit par rapportau différenciateur basé sur les techniques des modes glissants utilisé dans lapremière partie. / This work deals with the problem of estimation of fault and hybrid state for a classof switched linear systems. The objective is to develop a method to synthesize anobserver and an estimator dedicated respectively to the estimation of the hybridstate and the faults. After presenting a state of the art for estimation, stabilityand diagnostic techniques for switched linear systems, the report is divided intotwo parts. The first part proposes a method for estimating the continuous stateand the faults in the case where the discrete state of the system is known. Basedon a coordinate transformation which decouples a subset of the state of the systemof faults, we first synthesized a hybrid observer to estimate the continuous stateof the system and, in a second step, an estimator allowing the reconstructionof faults. The proposed fault estimator depends on the derivative of the systemoutput. For this reason, a robust and accurate differentiator based on sliding modetechniques is used. In the second part of this paper, the discrete state of the systemis assumed unknown. An algebraic approach is proposed to estimate the switchingtimes between the different subsystems. Thereafter, the estimation of the hybridstate (continuous and discrete state) and of the faults is considered in the casewhere the discrete state of the system is unknown. The latter is reconstructedfrom the estimated switching times and on a known switching sequence. Thecontinuous state of the system is estimated using a pole placement method allowingimprove the performances of the transient phase. Finally, by exploiting the resultsfound in the first part, the estimation of the faults is considered by estimatingthe output of the system with an algebraic differentiator. This differentiator givesmore interesting results at the noise compared to the differentiator based on thesliding mode techniques used in the first part.

Esta proposta de dissertação de mestrado trata da aplicação de Estimadores Algébricos em sistemas de controle como alternativa ao uso de observadores. Devido à dificuldade de obtenção de resultados teóricos, dificuldade essa oriunda da natureza complexa dos estimadores algébricos, o trabalho é desenvolvido através do estudo de casos. Considera-se que a topologia de controle é a união de uma técnica tradicional de controle (por exemplo, uma realimentação de estado ou o método do torque calculado) com a estimação algébrica. Os resultados obtidos defendem a idéia de que os Estimadores Algébricos, quando usados como estimadores de estado, permitem obter um desempenho e uma robustez que se aproxima muito do desempenho e a robustez da mesma lei de controle no caso em que o estado é perfeitamente conhecido. / The control topology that is considered in this work is the union of a traditional control technique (e.g. a state feedback or the computed torque method) with the Algebraic Estimator. The obtained results reinforce the common sense about this class of estimators, that the use of Algebraic Estimators may produce the performance, robustness and noise immunity that mimics the case where perfect information of the state is available.

Esta proposta de dissertação de mestrado trata da aplicação de Estimadores Algébricos em sistemas de controle como alternativa ao uso de observadores. Devido à dificuldade de obtenção de resultados teóricos, dificuldade essa oriunda da natureza complexa dos estimadores algébricos, o trabalho é desenvolvido através do estudo de casos. Considera-se que a topologia de controle é a união de uma técnica tradicional de controle (por exemplo, uma realimentação de estado ou o método do torque calculado) com a estimação algébrica. Os resultados obtidos defendem a idéia de que os Estimadores Algébricos, quando usados como estimadores de estado, permitem obter um desempenho e uma robustez que se aproxima muito do desempenho e a robustez da mesma lei de controle no caso em que o estado é perfeitamente conhecido. / The control topology that is considered in this work is the union of a traditional control technique (e.g. a state feedback or the computed torque method) with the Algebraic Estimator. The obtained results reinforce the common sense about this class of estimators, that the use of Algebraic Estimators may produce the performance, robustness and noise immunity that mimics the case where perfect information of the state is available.

Cette thèse est consacrée à l'étude des systèmes d'équations<br />différentielles non linéaires aux dérivées partielles. L'approche choisie est celle de l'algèbre différentielle. Étant donné un système d'équations différentielles, nous cherchons à obtenir des renseignements sur ses solutions. Pour ce faire, nous calculons une famille d'ensembles particuliers (appelés chaînes différentielles régulières) dont la réunion des solutions coïncide avec les solutions du système initial.<br /> <br />Les nouveaux résultats relèvent principalement du calcul formel. Le chapitre 2 clarifie le lien entre les chaînes régulières et les chaînes différentielles régulières. Deux nouveaux algorithmes (chapitres 4 et 5) viennent optimiser les algorithmes existants permettant de calculer ces chaînes différentielles régulières. Ces deux algorithmes intègrent des techniques purement algébriques qui permettent de mieux contrôler le grossissement des données et de supprimer des calculs inutiles. Des problèmes jusqu'à présent non résolus ont ainsi pu être traités. Un algorithme de calcul de forme normale d'un polynôme différentiel modulo une chaîne différentielle régulière est exposé dans le chapitre 2.<br /> <br />Les derniers résultats relèvent de l'analyse. Les solutions que nous considérons sont des séries formelles. Le chapitre 3 fournit des conditions suffisantes pour qu'une solution formelle soit analytique. Ce même chapitre présente un contre-exemple à une conjecture portant sur l'analycité des solutions formelles.

Ce travail étudie l'apport de l'algèbre différentielle à deux problématiques principales de la robotique mobile à roues, la localisation et la navigation. La première problématique consiste à être capable de dire où le robot se situe dans son environnement. Nous supposons ici que nous possédons un certain nombre de points d'intérêt de l'espace dont les coordonnées dans cette espace sont connues. En fonction du nombre de points d'intérêt, il est possible ou non de localiser le robot. Cette notion de localisabilité est définie et étudiée dans le cadre algébrique. Nous montrons que ce cadre d'étude est plus intéressant que le cadre géométrique en ce sens que non seulement il permet l'étude de la localisabilité mais en plus il permet de construire des estimateurs d'états permettant de reconstruire la posture du robot. Cette étude est effectuée dans cinq cas d'études pour quatre des cinq classes de robots mobiles à roues. La deuxième problématique étudiée est celle de la navigation d'une flottille décentralisée de robots dans un environnement complexe. Ce travail présente une architecture pouvant être utilisée dans une large classe de problème et bénéficiant des avantages des approches discrètes et des approches continues. En effet, à haut niveau, un bloc stratégie spécifie l'objectif, les contraintes et leurs paramètres ainsi que la fonction coût utilisée, à bas niveau, une trajectoire est calculée afin de minimiser la fonction coût en respectant l'objectif et les contraintes du problème. Cette minimisation est faite sur un horizon glissant de manière à pouvoir prendre en compte des modifications de l'environnement ou de la mission en cours de navigation / This work investigates the contribution of differential algebra to two main issues of wheel mobile robotics, localization and navigation. The first issue is to be able to tell where the robot is in its environment. We assume that we have a number of landmarks in space whose coordinates are known in this area. Depending on the number of landmarks, it is possible or not to localize the robot. This notion of localizability is defined and studied in the algebraic framework. We show that this framework is more interesting than the geometric framework in the sense that it not only allows the study of localizability, but it also allows us to construct estimators states to reconstruct the posture of the robot. This study was conducted in five cases study for four of the five classes of wheeled mobile robots. The second problem studied is that of a robot decentralized swarm navigation in a complex environment. This work presents an architecture that can be used in a wide class of problems and enjoying the benefits of discrete approaches and continuous approaches. Indeed, high-level block strategy specifies the goal, constraints and parameters as well as the cost function, a low-level block is used to compute a trajectory that minimize the cost function in accordance with the objective and the problem constraints. This minimization is done on a sliding window so it is possible to take changes in the environment or mission during navigation into account