Nous présentons dans le cadre de cette thèse une construction effective de chiffreurs par flot auto-synchronisants centrée autour de la classe particulière des systèmes dynamiques Linear Parameter Varying (LPV). Il s'agit de systèmes dont la représentation d'état admet une écriture affine par rapport à l'état et l'entrée mais dont les matrices de la représentation dépendent de paramètres variants dans le temps. Cette dépendance peut se traduire par des fonctions non linéaires de la variable de sortie. La dynamique résultante est donc non linéaire. Nous montrons que la propriété d'auto-synchronisation est liée à une propriété structurelle du système dynamique à savoir la platitude. La platitude est une propriété algébrique qui permet d'exprimer lorsque cela est possible les paramètres d'entrée et sortie d'un système dynamique en fonction de sa sortie qui est appelée dans ce cas une sortie plate. Une caractérisation de la platitude est exprimée en termes des matrices d'état du système dynamique. Une caractérisation complémentaire est proposée en termes de propriétés d'un graphe d'adjacence associé. L'utilisation conjointe de la caractérisation algébrique et graphique donne lieu à une construction systématique d'une nouvelle classe de chiffreurs auto-synchonisants. Dans la deuxième partie de la thèse, nous nous intéressons à la sécurité de chiffreurs auto-synchronisants. Nous proposons dans un premier temps une approche spectrale pour réaliser une attaque par canaux cachés. Cette approche offre une complexité réduite par rapport aux approches classiques utilisées pour les attaques par canaux cachés. Nous donnons ensuite une preuve de sécurité de la forme canonique d'un chiffreur auto-synchronisant basée sur la notion d'indistinguabilité. Une condition nécessaire et suffisante pour caractériser l'indistinguabilité des chiffreurs auto-synchronisants est proposée. Finalement, nous avons établi des résultats sur les propriétés de fonctions vectorielles booléennes qui permettent de caractériser d'une façon générale les chiffreurs auto-synchronisants / In this thesis, we present an effective construction of self-synchronizing stream ciphers based on the class of Linear Parameter-Varying (LPV) dynamical systems. For such systems, the state-space representation admits an affine expression regarding the input and the state but the state matrices depend on time varying parameters. This dependence can be expressed using nonlinear functions of the output variable. Hence, the resulting dynamics of the system are nonlinear. We show that the self-synchronization property is related to a structural property of the dynamical system known as flatness. Flatness is an algebraic property that allows, when possible, the expression of the input and state parameters of a dynamical system as functions of its outputs which is then called flat output. A characterization of the flatness is expressed in terms of state matrices of the dynamical matrix. A complementary characterization is given in terms of properties of the related adjacency graph. The combination of the algebraic and graph theory characterization gives a systematic construction of a new class of self-synchronizing stream ciphers. In the second part of the thesis, we tackle security aspects of self-synchronizing stream ciphers. We propose a spectral approach to performing side channel attacks. This approach offers reduced complexity when compared with standard approaches used for side channel attacks. We also give a security proof, based on the notion of indistinguishability, for the canonical form of self-synchronizing stream ciphers. A neccessary and sufficient condition is proposed in order to characterize the indistinguishability. Finally, we establish some results on vectorial boolean functions and properties they can be achieved when trying to design Self-Synchronizing Stream Ciphers

Les progrès techniques faits ces dernières années dans le domaine des batteries ainsi que le durcissement des normes écologiques entraînent un regain d'intérêt pour les véhicules hybrides et électriques. La possibilité d'utiliser plusieurs sources de puissance à l'intérieur d'un même véhicule conduit à remettre en question les architectures traditionnelles des véhicules et à étudier des architectures multi-sources. Après un état de l'art des architectures et des systèmes de transmission de couple, le véhicule prototype du projet VELROUE, utilisé par la suite comme moyen d'essai, est présenté. Puis, le contrôle du patinage des roues arrière du véhicule VELROUE équipé d'un moteur thermique sur le train avant et de deux moteurs électriques reliés aux roues arrière est étudié. Ensuite, différents modèles véhicules sont détaillés en vue d'analyser les transferts d'énergie au sein du système à l'aide de l'outil Bond Graph, de synthétiser des lois de commande de contrôle du patinage et de simuler le comportement du véhicule pour valider les fonctions d'anti-patinage (ASR). Une première commande de type PID qui servira de référence est dans un premier temps introduite. La contribution principale de ce travail de thèse concerne la synthèse et la mise en oeuvre de commandes non linéaires soit par retour linéarisant, soit basée sur la théorie de la platitude. Les modèles de synthèses de commande sont issus d'hypothèses classiques retenues lors des situations de vie considérées : dynamique longitudinale, pompage et tangage sur un double modèle bicyclette. Une stratégie de commande est également développée afin d'assurer la sécurité du conducteur, de réduire les besoins matériels et d'améliorer l'agrément conducteur. Enfin, les commandes non linéaires développées sont testées en simulation puis validées expérimentalement sur le véhicule VELROUE. Une comparaison de ces commandes est effectuée selon des critères énergétiques, de performances, de complexité et de coût. Ces techniques développées pour l'ASR sont étendues pour des phases de freinage récupératif (MSR), qui constitue également une originalité de ces travaux. / The technical progress made during last years in the battery field and the environmental standards hardening lead to an increased interest in hybrid and electric vehicles. The possibility to use several power sources inside a vehicle leads to question the traditional vehicle architectures and to study multi-power sources architectures. After a state of the art on architectures and torque transmission systems, the VELROUE project's prototype is presented. This prototype is later used as a validation platform. Then, the rear wheels slipping control of the VELROUE vehicle which is equipped with an internal combustion engine on the front axle and with two electric motors connected to the rear wheels is studied. Next, different vehicle models are described to analyze energy transfers inside the system using Bond Graph, to synthesize anti-slipping control laws and to simulate the vehicle behavior in order to validate the anti-slipping functions (ASR). A first PID-like controller is initially introduced to serve as reference. The main contribution of this thesis deals with the synthesis and implementation of nonlinear controls either using linearizing feedback, or based on the flatness theory. The synthesis controls models come from classical hypothesis: longitudinal and vertical dynamics and pitch on a double bicycle model. A control strategy is also developed to assure driver's security, to reduce material needs and to enhance the driver approval. Finally, the nonlinear controls developed here are simulated and then experimentally validated on the VELROUE vehicle. A comparison of these commands is performed according to energy, performance, complexity and cost criteria. These control laws developed for ASR are extended to regenerative braking phases (MSR), which is also an originality of this work.

Cette thèse a pour but l'étude de la propriété de platitude sur des modèles bond graphs (BGs) non linéaires et de contribuer à la résolution des problèmes rencontrés en pratique qui sont liés principalement à l'identification des sorties plates et le calcul de la paramétrisation différentielle. <br />Pour atteindre cet objectif, de nouveaux concepts et outils graphiques ont été introduits. En particulier, grâce à l'introduction de la notion de modèle BG tangent ou variationnel à l'aide de l'utilisation des différentielles de Kähler, il est possible de calculer les sorties plates d'un modèle BG non linéaire par intégration des bases du module qui lui est associé.<br />Par ailleurs, en définissant la notion d'anneau BG non commutatif, une nouvelle règle de gain connue sous le nom de "règle de Riegle" est introduite en BG. En montrant alors qu'un modèle BG variationnel est un cas particulier d'anneau BG non commutatif, l'obtention graphique de la paramétrisation différentielle en utilisant la règle de Riegle et la notion de bicausalité est rendue possible.<br />Enfin, pour aller plus loin dans l'introduction de l'outil d'algèbre et de modules différentiels aux BGs, le cas des modèles BGs non linéaires régis par des équations différentielles polynômiales a été abordé. Dans ce contexte, le BG permet de faire une analyse directe des propriétés principales du système telles que le choix des variables d'entrée, les dynamiques correspondant à un choix d'entrée, le calcul des degrés de transcendance (non différentiel) différentiel, etc. à partir de son modèle BG associé. Il est également montré que la règle graphique de Riegle peut être étendue à cette classe de modèles BGs.

Le travail s'inscrit dans le cadre de la platitude, théorie récente dans le domaine du contrôle des systèmes. Nous présentons des réalisations industrielles en génie des procédés et des contributions théoriques dans le domaine des équations aux dérivées partielles. A partir d'applications industrielles réalisées avec le groupe TotalFinaElf et aujourd'hui en service dans les usines concernées, nous montrons l'intérêt pratique de la platitude dans le domaine du contrôle des procédés : gestion de grands transitoires, prise en compte explicite des non linéarités, des retards, des contraintes. Nous traitons ensuite un ensemble d'exemples physiques de systèmes régis par des équations des ondes. En réécrivant ces équations aux dérivées partielles et leurs conditions limites comme des équations à retards, nous exhibons une paramétrisation de leurs trajectoires établissant ainsi la propriété de platitude de ces systèmes. Il est alors possible de prouver de maniéré constructive la commandabilite de ces systèmes en calculant des trajectoires entre différents états. Tous ces exemples, ou les retards jouent des rôles à chaque fois différents, nous permettent de mettre en valeur l'importance pratique et théorique de la propriété de platitude dans le domaine du génie des procédés et du contrôle des équations des ondes.

Cette thèse traite de la synchronisation des systèmes dynamiques. La synchronisation est étudiée pour une configuration de type maître-esclave, c'est-à-dire pour des systèmes couplés de façon unidirectionnelle. Ce type de configuration s'avère d'un intérêt tout particulier car elle correspond à des architectures de communications chiffrées un-vers-un ou un-vers-plusieurs. Une attention spécifique est portée sur l'autosynchronisation, comportement qui caractérise la synchronisation par le simple couplage maître-esclave et donc en l'absence de tout contrôle extérieur. Elle joue un rôle majeur dans les communications impliquant des chiffreurs par flot autosynchronisants. L'étude de l'autosynchronisation dans le contexte cryptographique s'appuie sur la théorie du contrôle. Un lien original entre l'autosynchronisation et le principe de chiffrement/déchiffrement en cryptographie est mis en évidence. Il fait appel à la propriété de platitude des systèmes dynamiques, un concept emprunté à l'automatique. On montre que les systèmes dynamiques plats définissent complètement l'ensemble des systèmes autosynchronisants et permettent d'élargir les structures existantes des chiffreurs autosynchronisants. La platitude est tout d'abord étudiée pour deux types de systèmes non linéaires~: les systèmes linéaires commutés et à paramètres variants (LPV). La caractérisation des sorties plates s'appuie sur le concept de semigroupes nilpotents et un algorithme performant est proposé. Une approche constructive pour réaliser des structures maître-esclave autosynchronisantes est proposée sur la base de systèmes plats et les notions d'inversibilité à gauche et à droite empruntées à la théorie du contrôle. Par la suite, l'autosynchronisation est étudiée dans le contexte booléen privilégié en cryptographie. Elle est caractérisée en premier lieu au travers la notion d'influence. Ensuite, différentes représentations matricielles associées aux fonctions booléennes sont proposées. Ces représentations s'avèrent particulièrement intéressantes pour l'analyse des propriétés liées à la sécurité. Un lien entre l'autosynchronisation et les structures propres des représentations matricielles est établi. Une approche orientée graphes est finalement élaborée pour la caractérisation. De nouvelles constructions de structures autosynchronisantes en sont déduites et des éléments de sécurité sont discutés. Enfin, une plateforme de test à base de FPGA qui a été réalisée est décrite.

Cette thèse se place dans le contexte de la croissance soutenue du trafic aérien. Elle concerne l'assistance automatisée au contrôle du trafic aérien qui vise à augmenter la capacité des secteurs de contrôle en transférant à l'équipage certaines tâches de nos jours dévolues au contrôleur aérien. Il s'agit plus particulièrement de renforcer la coopération entre l'équipage et le contrôleur aérien en vue de faciliter la tache de régulation des flux de trafic aérien. Le travail réalisé dans cette thèse est relatif à la mise en oeuvre de techniques de commande des systèmes non linéaires à plusieurs échelles de temps. Il a été réalisé à l'initiative du Centre d'Etudes de La Navigation Aérienne (CENA) au LAAS du CNRS à Toulouse en collaboration avec l'Ecole Nationale de l'Aviation Civile (ENAC). De manière concrète, il consiste principalement en la synthèse et l'évaluation de lois de guidage permettant la navigation relative entre aéronefs. Ces lois de guidage pourraient être embarquées à bord des aéronefs afin d'aider le contrôleur aérien dans sa tâche de régulation des flux de trafic. Au chapitre II, nous commençons par présenter le contexte actuel du contrôle du trafic aérien et les voies actuelles d'investigation dans le domaine de son automatisation. Cette présentation permet de distinguer deux types de guidage relatif : d'une part le guidage relatif en temps où l'aéronef suiveur vient se placer sur la position qu'occupait le leader quelques minutes plus tôt, et d'autre part le guidage relatif en distance où l'aéronef suiveur vient se placer à une distance donnée du leader. Un état de l'art sur les lois de guidage relatif entre aéronefs est ensuite réalisé au chapitre III. Comme il existe très peu de références bibliographiques dédiées aux lois de commande pour le guidage relatif entre aéronefs de transport commercial, l'état de l'art s'est focalisé sur les lois de commande appliquées au vol en formation d'engins volants, dont le guidage relatif peut être considéré comme un cas particulier (il englobe en plus la phase de rejointe de la formation). Un modèle de synthèse décrivant la dynamique de guidage d'un avion de transport commercial dont les fonctions de pilotage sont automatisées est ensuite proposé au chapitre IV. Ce modèle permet une synthèse hiérarchisée de lois de guidage relatif en s'appuyant sur les fonctions de pilotage classique de l'avion. Après avoir envisagé l'utilisation de lois linéaires de type proportionnelle et dérivée et précisé les objectifs de commande en terme de spécification des modes propres au chapitre V, deux techniques de commande non linéaire sont alors mises en oeuvre : le backstepping et le bouclage linéarisant basé sur la propriété de platitude. Au chapitre VI, deux lois de guidage basées sur la technique du backstepping sont développées. Elles permettent de réaliser un guidage relatif en temps. L'utilisation de cette technique permet de contourner un problème de singularité des lois conçues par des méthodes de type bouclage linéarisant lorsque les écarts sont exprimés dans le repère lié à l'avion suiveur. La loi de guidage basée sur la propriété de platitude du modèle de synthèse est développée au chapitre VII. Elle permet de réaliser un guidage relatif en distance. L'intérêt de cette approche est qu'elle permet de tenir compte de la contrainte d'espacement entre les aéronefs afin de renforcer la sécurité des manoeuvres de guidage relatif. Ces trois approches (loi proportionnelle et dérivée, backstepping et bouclage linéarisant basé sur la platitude) sont évaluées dans un dernier temps au chapitre VIII sur un jeu de scenarii réaliste d'un point de vue contrôle du trafic aérien. Le chapitre IX apporte la conclusion générale à cette thèse : il fait le bilan des résultats obtenus et indique de nouvelles pistes d'investigation dans ce domaine.

Les travaux de thèse traitent du problème de la planification de manoeuvres pour le maintien à poste de satellites géostationnaires équipés de tuyères électriques (à poussée faible). Nous évaluons l'opportunité de substituer une telle planification à celle traditionnellement utilisée pour les satellites géostationnaires équipés de tuyères chimiques (à poussée forte). Dès son apparition, la technologie des systèmes de propulsion à poussée faible a rencontré un vif intérêt auprès des agences et des sociétés spatiales. Grâce à sa haute impulsion spécifique (qui implique une basse consommation de carburant), cette technologie est devenue très compétitive par rapport à la technologie traditionnelle des propulseurs chimiques à poussée forte, surtout dans les phases de transfert et rendez-vous des missions spatiales. Pendant la définition des missions à poussée faible, les analyses de faisabilité des phases de transfert et rendez-vous (via la solution de problèmes d'optimisation de trajectoire) ont été réalisées avec des solutions d'optimisation alternatives. En effet, pendant ces phases, il est nécessaire d'activer les systèmes de propulsion à faible poussée sur des longues portions du temps de transfert. Par conséquent, les problèmes d'optimisation de trajectoire à poussée forte (typiquement formulés en temps discret) ont été remplacés par des problèmes d'optimisation de trajectoire à poussée faible formulés en temps continu et résolus par des techniques de contrôle en temps continu. Le premier objectif de cette thèse est de comprendre quel est l'impact de la technologie à faible poussée lors de l'analyse de faisabilité de la phase de maintien à poste de satellites géostationnaires. Nous étudions en particulier l'impact de l'utilisation des systèmes de propulsion à faible poussée sur la planification de manoeuvres et sur la boucle entière de maintien à poste géostationnaire. L'étude consiste à déduire si la planification de manoeuvres à poussée faible est compétitive au regard des stratégies classiques de planification couramment employées pour des manoeuvres à poussée forte. Généralement, les stratégies classiques à long terme pour le maintien à poste sont déduites de modèles de propagation d'orbite simplifiés (en fonctions des paramètres orbitaux moyennés) par la conjonction des trois facteurs suivants : la forte poussée des propulseurs, la dimension de la fenêtre de maintien à poste pas très contraignante ainsi que la possibilité d'exécuter des manoeuvres à basse fréquence. Dans le cadre de cette thèse, compte tenu du faible niveau des poussées et des contraintes strictes en position (fenêtres de maintien à poste petites), nous considérons comme plus appropriés l'hypothèse d'une plus haute fréquence de manoeuvres et l'utilisation d'un modèle de propagation d'orbite en fonction de paramètres osculateurs. Pour la planification de manoeuvres, nous proposons une solution par approche directe : le problème de maintien à poste en tant que problème de contrôle optimal est discrétisé et traduit en un problème d'optimisation paramétrique. Deux techniques différentes d'optimisation sont proposées : l'optimisation sous contraintes à horizon fixe et celle à horizon glissant. Cette deuxième technique est appliquée aux équations linéarisées du mouvement préalablement transformées via un changement de variable à la Lyapunov sur l'état des déviations des paramètres équinoxiaux osculateurs. Cette transformation de Lyapunov définit des nouveaux paramètres orbitaux. Elle rend le processus de planification plus compréhensible du point de vue du contrôle et plus facile à implémenter d'un point de vue numérique, grâce aux concepts de platitude et inclusion différentielles. Les résultats de la planification de manoeuvres à poussée faible sont obtenus dans un premier temps en fonction des changements de vitesse, dans un deuxième temps en fonction des forces engendrées par les tuyères des systèmes de propulsion classiques. Le but est de déterminer la solution la plus efficace en conditions nominales et en cas de panne d'un des propulseurs. Le problème du positionnement simultané de plusieurs satellites dans une même grande fenêtre de maintien à poste n'est pas adressé explicitement. Il est implicitement résolu en proposant une technique fine de contrôle pour maintenir chaque satellite à poste dans une fenêtre de dimension très petite.

Cette thèse traite du problème d'observation et d'estimation des variables caractéristiques des systèmes dynamiques. Il s’agit d’une problématique fondamentale qui est au cœur de nombreux domaines relavant des sciences de l'ingénieur. Les travaux sont conduits dans un contexte ensembliste. Les techniques développées pour l’estimation de l’état et des variables d’entrées ont pour objectif final le contrôle de cohérence des systèmes non linéaires à temps continu. Une première approche conjugue les relations de parité et les différentiateurs à modes glissants pour l’estimation des entrées d’un système non linéaire. Les domaines des entrées compatibles avec les mesures sont alors reconstruits grâce à l’analyse par intervalles et aux techniques de satisfaction de contraintes. Il est montré que la relaxation des contraintes de stabilité/coopérativité pour la construction d’un observateur intervalle peut se faire grâce à des changements de base déterminés de différentes manières et pouvant être variants ou invariants dans le temps. Des simulations numériques illustrent les techniques proposées. Une application à un système aéronautique est également présentée à l’aide d’un jeu de données réelles. / This thesis deals with the problem of a dynamical system observation and the estimation of its characteristic variables; the latter point constitutes the core element in many engineering science fields. The final aim is to build a general framework for integrity control and fault detection of such systems within a bounded error context. The developments offered herein make use of parity relations, sliding mode differentiators, interval observers and constraint satisfaction problems. Input reconstruction techniques are developed for a general class of nonlinear continuous-time systems. Domains are reconstructed for the input values which are consistent with the measurements using interval analysis and constraint satisfaction techniques. It is shown that time-varying or invariant coordinate changes may relax the applicability conditions (stability/cooperativity) of the interval observer design methods. Sliding mode differentiators were also used to enhance interval observer accuracy. The proposed approaches are illustrated through computer simulations and they have been applied to aircraft servo loop control surface for robust and early detection of abnormal positions.

Les études menées permettent de prendre en main un système depuis l’identification jusqu’à la commande robuste des systèmes non entiers. Les principes de la platitude permettent de parvenir à la planification de trajectoire à condition de connaître le modèle du système, d’où l’intérêt de l’identification des paramètres du système. Les principaux travaux de cette thèse concernent l’identification de système par modèles non entiers, la génération et la poursuite robuste de trajectoire par l’application des principes de la platitude aux systèmes non entiers.Le chapitre 1 rappelle les définitions et propriétés de l’opérateur non entier ainsi que les diverses méthodes de représentation d’un système non entier. Le théorème de stabilité est également remémoré. Les algèbres sur les polynômes non entiers et sur les matrices polynômiales non entières sont introduites pour l’extension de la platitude aux systèmes non entiers.Le chapitre 2 porte sur l’identification par modèle non entier. Après un état de l’art sur les méthodes d’identification par modèle non entier, deux contextes sont étudiés : en présence de bruit blanc et en présence de bruit coloré. Dans chaque cas, deux estimateurs optimaux (sur la variance et le biais) sont propos´es : l’un, en supposant une structure du modèle connue et d’ordres de dérivation fixés, et l’autre en combinant des techniques de programmation non linéaire qui optimise à la fois les coefficients et les ordres de dérivation.Le chapitre 3 établit l’extension des principes de la platitude aux systèmes non entiers.La platitude des systèmes non entiers linéaires en proposant différentes approches telles que les fonctions de transfert et la pseudo-représentation d’état par matrices polynômiales est étudiée.La robustesse du suivi de trajectoire est abordée par la commande CRONE. Des exemples de simulations illustrent les développements théoriques de la platitude au travers de la diffusion thermique sur un barreau métallique.Enfin, le chapitre 4 est consacré à la validation des contributions en identification, en planification de trajectoire et en poursuite robuste sur un système non entier réel : un barreau métallique est soumis à un flux de chaleur. / The general theme of the work enables to handle a system, from identification to robust control. Flatness principles tackle path planning unless knowing the system model, hence the system parameter identification necessity. The principal contribution of this thesis deal with system identification by non integer models and with robust path tracking by the use of flatness principles for fractional models.Chapter 1 recalls the definitions and properties of a fractional operator and also the various representation methods of a fractional system. The stability theorem is also brought to mind. Fractional polynomial and fractional polynomial matrice algebras are introduced for the extension of flatness principles for fractional systems.Chapter 2 is about non integer model identification. After a state of the art on system identification by non integer model. Two contexts are considered : in presence of white noise and of colored noise. In each situation, two optimal (in variance and bias sense) estimators are put forward : one, when considering a known model structure with fixed differentiating orders, and another one by combining nonlinear programming technics for the optimization of coefficients and differentiating orders.Chapter 3 establishes the extension of flatness principles to fractional systems. Flatness of linear fractional systems are studied while considering different approaches such as transfer functions or pseudo-state-space representations with polynomial matrices. Path tracking robustness is ensured with CRONE control. Simulation examples display theoretical developments on flatness through thermal diffusion on a metallic rod. Finally, Chapter 4 is devoted to validate the contributions to system identification, to trajectory planning and to robust path tracking on a real fractional system : a metallic rod submitted to a heat flux.

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