Les travaux présentés dans ce mémoire constituent une contribution à la conception de méthodes systématiques pour l'analyse et la commande de systèmes périodiques et incertains. Une partie importante de cette thèse est également consacrée au contrôle d'attitude de satellites dont la dynamique se prête naturellement à une représentation sous forme de modèles périodiques soumis à des incertitudes. La première partie propose une présentation unifiée des résultats d'analyse et de synthèse de modèles périodiques et incertains à temps-discret via des méthodes basées sur des inégalités linéaires matricielles (LMI) et en s'appuyant sur la théorie de Lyapunov. Par la suite, l'accent est mis sur une nouvelle classe de correcteurs périodiques à mémoire pour lesquels l'entrée de commande est construite en utilisant l'historique des états du système conservés en mémoire. Des exemples numériques démontrent que ces nouveaux degrés de liberté permettent de repousser les limites des performances robustes. La seconde partie s'intéresse aux aspects de périodicité et de robutesse du contrôle d'attitude de satellite rencontrés notamment lors de l'utilisation des magnéto-coupleurs. Ces actionneurs s'appuient sur le champ géomagnétique variant périodiquement le long de l'orbite du satellite. Différentes stratégies de commande sont mises en oeuvre et comparées entre elles avec le souci constant de tenir compte des principales limitations des actionneurs. Cette démarche conduit à une nouvelle loi de commande périodique régulant le moment cinétique des roues à réactions sans perturber le contrôle d'attitude dont l'effort de commande est réparti sur l'ensemble des actionneurs.

Les observateurs sont des capteurs logiciels ayant pour but la reconstruction d'état pour la supervision, la commande ou le diagnostic des systèmes. Dans ce travail, on s'intéresse à la résolution du compromis entre la rapidité de la convergence et l'insensibilité aux bruits de mesure duquel souffre l'observateur à grand gain. Dans un premier temps, on propose la synthèse d'un observateur à grand gain dynamique pour certaines classes de systèmes non linéaires multi-sorties uniformément observables. La caractéristique principale de ce type d'observateurs réside dans le fait que le gain de l'observateur est pris variable au cours de temps et obéit à une dynamique de type Ricatti. La convergence exponentielle de l'observateur à grand gain dynamique est détaillée. Ensuite, on adopte une stratégie floue pour la résolution du dit compromis et on valide cette approche sur un réacteur chimique. Dans la dernière partie de ce travail, on traite la synthèse d'une commande avec retour d'état pour une classe des systèmes non linéaires afin de résoudre un problème de poursuite de trajectoire. Les performances des observateurs proposés sont illustrées en simulation à travers des exemples académiques et des exemples réels d'application relatifs à un réacteur chimique.

Le raisonnement diagnostique (abductif) et le raisonnement de prédiction (inductif) sont deux des méthodes de raisonnement qui permettent la découverte de connaissances nouvelles. Lorsque le raisonnement abductif est le processus permettant de trouver la meilleure explication (hypothèse) pour un ensemble d'observations (Josephson, 1994), le raisonnement de prédiction est le processus, à partir d'un ensemble d'observations, permettant de trouver tous les résultats possibles. Ces observations peuvent être les symptômes d'un patient, des expériences concernant les réseaux métaboliques et génomiques, etc. Dans cette thèse, nous nous sommes intéressés à la représentation, l'analyse et la synthèse des réseaux de signalisation génomique en utilisant la logique des hypothèses. En fait, ce mémoire se focalise sur la modélisation des voies de signalisation en réponse à la cassure double-brin de l'ADN. Pour implémenter l'abduction nous utilisons les algorithmes de production. Ensuite, la logique des défauts permet de construire des modèles de représentation minimale. Ces algorithmes de découvertes de connaissances sont prouvés sur la carte de cassure double brin de l'ADN. Cette carte est minimale en tant que graphe de causalité biologique et elle permet d'intégrer les données biomoléculaires.

Au cours des deux dernières décennies, les signaux chaotiques ont été de plus en plus pris en compte dans les télécommunications, traitement du signal ou transmissions sécurisées. De nombreux articles ont été publiés qui étudient la densité spectrale de puissance (DSP) des signaux générés par des transformations spécifiques. La concentration sur la DSP est due à l'importance de la fréquence dans les télécommunications et la transmission sécurisée. Grâce au grand nombre de systèmes sans fil, la disponibilité des fréquences de transmission et de réception est de plus en plus rare pour les communications sans fil. Aussi, les médias guidés ont des limitations liées à la bande passante du signal. Dans cette thèse, nous étudions certaines propriétés associées à la bifurcation collision de frontière pour une transformation unidimensionnelle linéaire par morceaux avec trois pentes et deux paramètres. Nous calculons les expressions analytiques de l'autocorrélation et de la densité spectrale de puissance des signaux chaotiques générés par les transformations linéaires par morceaux. Nous montrons l'existence d'une forte relation entre les différents types de densité spectrale de puissance (passe-bas, passe-haut ou coupe-bande) et les paramètres de bifurcation. Nous notons également en évidence une relation entre le type de spectre et l'ordre des cycles attractifs. Le type du spectre dépend de l'existence des orbites périodiques au-delà de la bifurcation de collision de frontière qui a donné naissance au chaos. Nous utilisons ensuite les transformations chaotiques pour étudier la fonction d'ambiguïté. Nous combinons quelques transformations chaotiques bien déterminées pour obtenir un spectre large bande avec une bonne fonction d'ambiguïté qui peut être utilisée en système radar.

Un système hybride est un système dynamique exhibant à la fois des comportements de nature discrète et continue. Motivée par la multiplication de composants informatiques embarqués ''discrets'' interagissant avec le monde physique ''continu'', la recherche sur les systèmes hybrides s'est développée rapidement depuis les années 90 à l'intersection de l'informatique, de l'automatique et des mathématiques appliquées. Ce mémoire présente nos contributions, théoriques ou méthodologiques, à ce domaine. Dans une première partie, nous introduisons un cadre d'approximation qui s'applique aux systèmes dynamiques continus, discrets et hybrides; des applications, notamment dans le domaine du contrôle symbolique sont présentées. La deuxième partie est consacrée à l'analyse d'atteignabilité, une technique computationnelle très utile pour l'analyse des systèmes hybrides. Enfin, la troisième partie porte sur les systèmes dynamiques multi-agents.

Les besoins énergétiques croissants de la population mondiale requièrent le développement, la maîtrise et la fourniture de nouvelles formes d'énergie. Dans ce contexte, la fusion nucléaire est une piste de recherche extrêmement prometteuse. Le projet mondial ITER est destiné à démontrer la faisabilité scientifique et technique de la fusion nucléaire comme nouvelle source d'énergie. Un des nombreux verrous tient à la maîtrise de la distribution spatiale du profil de courant dans les plasmas de tokamak, paramètre clé pour la stabilité et la performance des expériences. L'évolution spatiotemporelle de ce courant est décrite par un ensemble d'équations aux dérivées partielles non linéaires. Ce document traite de la stabilisation par un contrôle robuste de la distribution spatiale du profil de courant en dimension infinie. Deux approches sont proposées : la première s'inspire d'une approche de type mode glissant et la seconde (de type proportionnelle et proportionnelle intégrale) est basée sur les fonctions de Lyapunov en dimension infinie. La conception des lois de contrôle est basée sur l'équation 1D de la diffusion résistive du flux magnétique. Les lois de contrôle sont calculées en dimension infinie sans discrétisation spatiale préalables

On cherche dans cette thèse à caractériser un domaine de confiance pour la localisation d'un véhicule, en utilisant des méthodes ensemblistes robustes par intervalles. La localisation est essentielle à la navigation en robotique mobile, en particulier pour les véhicules intelligents. Lorsque la position est utilisée dans un contexte pouvant mettre en jeu la sécurité des personnes, tel que la navigation autonome, on doit avoir recours à un mécanisme d'intégrité vérifiant que l'erreur commise reste inférieure à l'erreur maximale tolérable pour la mission. Dans le domaine aéronautique, on définit ainsi un niveau de protection associé à un risque d'intégrité. Dans un esprit similaire aux niveaux de protections utilisés en aéronautique, ce travail vise à déterminer un domaine de confiance, dans lequel l'utilisateur est garanti de se trouver avec un risque d'intégrité donné. L'utilisation de méthodes ensemblistes robustes permet de calculer un domaine de localisation tenant compte de l'éventuelle présence de mesures aberrantes. Les mesures provenant de capteurs ainsi que les paramètres des modèles sont entachés d'erreurs, souvent modélisées par leur distribution de probabilité. Dans le cadre ensembliste, on peut représenter ces erreurs par des intervalles. Quand les bornes ne sont pas spécifiées ou trop pessimistes, on peut déterminer des bornes associées à un risque, et propager ce risque au domaine de confiance calculé. Les systèmes de navigation par satellites permettent un positionnement absolu avec une bonne précision en milieu ouvert. Cependant, les mesures de pseudodistance GPS sont sujettes aux problèmes de trajets multiples ou réfléchis en zone urbaine. Une robustesse aux valeurs aberrantes est donc nécessaire. Pour compenser le manque de satellites en milieu à visibilité satellitaire réduite, des contraintes sur la position sont apportées par la cartographie 3D de l'espace roulable et l'intégration des capteurs proprioceptifs présents sur les véhicules modernes. Trois méthodes de localisation, basées sur un algorithme robuste d'inversion ensembliste par intervalles associé aux mesures GPS sont présentées dans ce document. * La première consiste en un calcul époque par époque, fusionnant les mesures de pseudodistance d'un récepteur GPS avec l'information d'un modèle numérique de terrain. * La seconde s'appuie sur une carte surfacique précise de " l'espace roulable " en trois dimensions, ainsi que l'observation de la dérive de l'horloge du récepteur. * Enfin, la troisième méthode concerne l'estimation de la pose du véhicule à partir d'un historique fini de positions et de mesures proprioceptives. Ces trois méthodes ont été implémentées en temps-réel, et testées sur des données réelles acquises dans des environnements difficiles pour la localisation par satellites.

Cette thèse concerne la commande des systèmes dont la dynamique peut être convenablement décrite par une approche multimodèle à partir d'une étude d'affinement des performances d'un système de commande adaptative avec modèle de référence. Quatre approches de commande multimodèle ont été proposées. La première approche est basée sur la commande avec modèle de référence sur la sortie. Une validation expérimentale réussie a été effectuée sur un réacteur chimique. La seconde approche est basée sur la commande prédictive avec modèle de référence sur l'état partiel. Des résultats de simulation, obtenus à partir d'un modèle physique d'un bioréacteur, ont montré que les performances du système de commande multimodèle sont semblables à celles obtenues par un système de commande non linéaire appropriée du type backstepping. La troisième approche est consacrée à la compensation des perturbations harmoniques dans le cas où la dynamique du système peut être raisonnablement décrite par une famille de modèles linéaires invariants. La quatrième approche est basée sur une commande prédictive multimodèle avec modèle de référence sur l'état partiel issue d'une synthèse LMI.

Les travaux développés dans ce rapport traitent de la modélisation, de l'observation et de la commande avec et sans capteur de vitesse de la machine asynchrone. Tout d'abord, un observateur non linéaire de type grand gain a été synthétisé en vue de l'estimation de quelques grandeurs électriques et mécaniques de la machine. Ensuite, nous proposons une nouvelle loi de commande avec retour d'état incorporant un observateur du type grand gain pour deux classes de systèmes non linéaires uniformément observables et commandables incluant le modèle du moteur asynchrone. La synthèse de cette loi de commande, du type grand gain, exploite le concept de dualité observabilité/commande. Dans le but de réaliser une compensation robuste des perturbations d'état et de sortie de type échelon, une action intégrale filtrée y a été incorporée. Enfin, la loi de commande proposée a été validée en simulation sur le modèle du moteur puis expérimentalement sur un banc d'essais de moteurs asynchrones monté autour d'un processeur numérique de signal DSpace 1104.

Le travail de recherche effectu'e dans cette thèse a été principalement consacré aux problèmes d'observation et de commande des moteurs asynchrones sans capteurs mécaniques. Deux contributions principale ont été faites en exploitant judicieusement le concept de grand gain. La première contribution est un observateur du type grand gain qui permet de réaliser une estimation relativement pr'ecise des variables d'état mécaniques et magnétiques des moteurs asynchrones à partir des mesures disponibles des courants et tensions statoriques. Le gain d'observation a été judicieusement modifié pour des considérations de faisabilité des calculs lorsque le moteur est amené à fonctionner dans des conditions incompatibles avec sa condition d'observabilité. Cet observateur a été particulièrement utilisé pour concevoir un asservissement des moteurs asynchrones sans capteur mécaniques à partir d'un système de commande avec retour d'état du type grand gain. La seconde contribution est une synthèse d'observateurs adaptatifs du type grand gain qui permettent d'estimer conjointement les variables d'état et un ensemble de combinaisons des paramètres d'un moteur asynchrone à partir des mesures des courants et tentions statoriques avec et sans mesure de la vitesse mécanique. Un observateur adaptatif a été particulièrement combiné avec un système de commande avec retour d'état du type grand gain pour concevoir un système de commande adaptative permettant de préserver les performances requises en asservissement des moteurs asynchrones sans capteurs magnétiques en dépit d'une méconnaissance de leurs paramètres.