Pour améliorer le traitement endovasculaire des anévrysmes de l'aorte, nous préconisons d'adjoindre aux cathéters existants un nouveau micro-robot qui leurs confère une compliance active. Ce nouvel outil, nommé MALICA (Multi Active LInk CAtheter), est un robot hybride à déformation continue. Nous établissons son modèle statique direct sous forme analytique généralisable à un empilement de plusieurs robots. Son expression permet ensuite de calculer le modèle différentiel. Une étude de ses caractéristiques géométriques est alors menée (volume de travail, dextérité). Grâce à l'optimisation sous contraintes d'une fonction objective, nous parvenons à résoudre le modèle statique inverse de MALICA qui gère sa redondance intrinsèque. Nous mettons finalement en œuvre une commande en orientation par modèle variationnel d'un micro-robot. Nous évaluons ses performances dans différents cas de suivi de trajectoires et pour différents critères d'optimisation (courbure, énergie).

La conversion de l'énergie éolienne en énergie électrique fait appel à de nombreuses disciplines scientifiques (météorologie pour l'étude du comportement du vent, mécanique et chimie pour les contraintes et la composition des divers matériaux utilisés dans l'aérogénérateur, mécanique des fluides pour l'effet des masses d'air en mouvement sur les pales, électrotechnique pour la conversion électromécanique et l'adaptation de l'énergie électrique). C'est à la partie électrotechnique de cette chaîne de conversion qu'est consacré ce mémoire. <br />Après un bref rappel des concepts et équations régissant le fonctionnement d'un système éolien, ce document dresse un état de l'art des ensembles machines – convertisseurs utilisés dans l'énergie éolienne. <br />Une première étude montre les performances et les limites d'utilisation de la machine asynchrone à cage auto-excitée. Elle utilise une modélisation originale et simple où le modèle de la machine est complètement indépendant de celui de la charge et des capacités d'excitation. Les régimes équilibré et déséquilibré sont étudiés en simulation et validés expérimentalement.<br />Dans un deuxième temps, la réalisation d'un simulateur physique d'aérogénérateur est présentée. Celui-ci est destiné à placer les génératrices à l'étude dans des conditions proches de la réalité en les entraînant grâce à une machine à courant continu commandée de façon à reproduire les variations de couple d'une éolienne. <br />La troisième partie de ce mémoire est consacrée à la production d'électricité sur un réseau grâce à une machine asynchrone à double alimentation. L'originalité de cette machine, utilisée dans un système éolien, est de pouvoir contrôler l'échange de puissance entre le stator et le réseau en agissant sur les signaux rotoriques via un convertisseur bidirectionnel. Dans cette optique une commande vectorielle en puissances active et réactive statoriques est mise en œuvre. Cette commande est élaborée et testée en synthétisant trois types de régulateurs linéaires : Proportionnel- Intégral, RST basé sur la théorie du placement de pôles et Linéaire Quadratique Gaussien basé sur la minimisation d'un critère quadratique. Les performances du dispositif sont analysées et comparées en termes de suivi de consigne, robustesse, et rejet de perturbations.

La commande en logique floue permet de s'affranchir de l'utilisation de modèles mathématiques parfois difficiles à obtenir. Sa capacité à traduire la connaissance d'un opérateur humain en règles d'expertise énoncées dans un langage simple en fait une technique très prometteuse. Néanmoins, lorsque le nombre de variables entrant en jeu devient trop important, la base de règles explose très vite, et des problèmes liés à sa réalisation pratique en découlent. Cette thèse s'inscrit dans la mouvance des travaux actuels sur la commande floue et s'attache au problème de l'explosion combinatoire du nombre de règles. Dans une première partie, les principes de base de la logique floue et de la commande floue sont rappelés. Dans une deuxième partie, des solutions visant à simplifier la synthèse d'un contrôleur flou sont présentées. Deux cas sont considérés : la base de règles existe déjà, la base de règles n'est pas disponible et la synthèse d'un contrôleur flou de complexité réduite est à réaliser. Dans la pratique, on ne dispose généralement pas de cette base de règles, aussi, on insiste davantage sur le deuxième cas de figure. Une fois la structure du contrôleur flou défini, le nombre de paramètres à régler pouvant atteindre un nombre important, il est intéressant d'utiliser des techniques d'apprentissage afin d'automatiser la mise au point du contrôleur flou. Les paramètres de ce dernier (gains et fonctions d'appartenance, en entrée et en sortie) sont ici réglés à travers la méthode, très simple, de descente du gradient. Dans une troisième partie, la démarche proposée dans ce mémoire est appliquée avec succès à la commande de deux processus multivariables : un bac mélangeur et un procédé biologique de traitement des eaux-usées.

Cette thèse a pour but l'étude de la stabilité asymptotique locale des systèmes linéaires à temps discret dont les commandes sont soumises à des saturations. L'étude est développée à partir de deux représentations du système saturé en boucle fermée : par régions de saturation et par modèle polytopique. L'analyse de la stabilité du système saturé en boucle fermée ainsi que la synthèse de la loi de commande saturante avec l'objectif de garantir la stabilité d'un domaine d'états admissibles, sont basées sur le concept d'ensembles contractifs. Dans ce contexte, des résultats sont obtenus en considérant deux approches distinctes. La première approche considère des ensembles polyédraux. Des conditions pour la contractivité des trajectoires du système en boucle fermée dans un polyèdre sont étudiées : d'une part, des conditions nécessaires et suffisantes sont établies à partir de la représentation par régions de saturation et, d'autre part, des conditions suffisantes sont obtenues à partir de la représentation par modèle polytopique. Ces conditions permettent de formuler des algorithmes, basés sur des schémas de programmation linéaire, ayant pour objectif la détermination de régions polyédrales où la stabilité asymptotique locale du système en boucle fermée est garantie même si la commande sature. La deuxième approche considère des ensembles ellipsoïdaux et la représentation polytopique du système saturé. Des conditions suffisantes pour la contractivité d'ellipsoïdes par rapport au système saturé sont établies sous la forme d'inégalités matricielles linéaires (LMIs). A partir de ces conditions, un algorithme basé sur des schémas d'optimisation convexe est proposé pour la détermination d'approximations de la région d'attraction de l'origine à travers des ellipsoïdes contractifs. D'autre part, pour un ensemble donné de conditions initiales X0, des conditions sont formulées, également sous la forme de L MIs, pour permettre la détermination d'une loi de commande saturante garantissant la stabilité asymptotique vers l'origine de toutes les trajectoires initialisées dans X0.

Ce travail porte sur l'étude de la propriété d'(A,B)-invariance de polyèdres convexes et son application à la commande sous contraintes et au problème l 1. D'abord, nous proposons une caractérisation explicite de l'(A,B)-invariance de polyèdres convexes pour des systèmes en temps discret. Cette caractérisation se traduit par des conditions nécessaires et suffisantes sous la forme de relations matricielles linéaires, et présente deux avantages majeurs vis-à-vis de celles rencontrées dans la littérature : elle s'applique à tous les polyèdres convexes et elle ne nécessite pas le calcul de sommets. Ces avantages se font sentir notamment dans le calcul du domaine (A,B)-invariant suprémal inclus dans un polyèdre donné, pour lequel nous proposons une méthode numérique. Le problème de calculer une loi de commande rendant positivement invariant en boucle fermée un polyèdre (A,B)-invariant est également traité. Les relations d'(A,B)-invariance sont alors généralisées à des systèmes soumis à des contraintes linéaires sur la commande et à des systèmes soumis à des perturbations additives bornées. Puis, les résultats obtenus en temps discret sont étendus aux systèmes en temps continu. Ensuite, le problème d'atténuation de perturbations additives persistantes, connu dans la littérature comme problème l 1, est étudié. Les domaines (A,B)-invariants intérieurement stabilisables sont d'abord caractérisés. Puis, nous proposons une approche décomposée pour le calcul du domaine intérieurement stabilisable suprémal inclus dans le polyèdre défini par les contraintes de performance l 1. Un niveau de performance donné est atteignable si et seulement si ce domaine suprémal n'est pas vide. Cette approche géométrique permet notamment de déterminer directement la solution du problème l 1 pour une classe importante de systèmes. Enfin, nous étendons l'étude de l'(A,B)-invariance de polyèdres à des systèmes dont le modèle est soumis à des incertitudes d u type structuré.

Cette thèse est une étude de méthodes permettant d'estimer des fonctions valeur avec des réseaux de neurones feedforward dans l'apprentissage par renforcement. Elle traite plus particulièrement de problèmes en temps et en espace continus, tels que les tâches de contrôle moteur. Dans ce travail, l'algorithme TD(lambda) continu est perfectionné pour traiter des situations avec des états et des commandes discontinus, et l'algorithme vario-eta est proposé pour effectuer la descente de gradient de manière efficace. Les contributions essentielles de cette thèse sont des succès expérimentaux qui indiquent clairement le potentiel des réseaux de neurones feedforward pour estimer des fonctions valeur en dimension élevée. Les approximateurs de fonctions linéaires sont souvent préférés dans l'apprentissage par renforcement, mais l'estimation de fonctions valeur dans les travaux précédents se limite à des systèmes mécaniques avec très peu de degrés de liberté. La méthode présentée dans cette thèse a été appliquée avec succès sur une tâche originale d'apprentissage de la natation par un robot articulé simulé, avec 4 variables de commande et 12 variables d'état indépendantes, ce qui est sensiblement plus complexe que les problèmes qui ont été résolus avec des approximateurs de fonction linéaires.

Les travaux développés dans cette thèse visent à assister le processus d'ingénierie des exigences temporelles pour les systèmes complexes à contraintes de temps. Nos contributions portent sur trois volets : la spécification des exigences, la modélisation du comportement et la vérification. Pour le volet spécification, une nouvelle classification des exigences temporelles les plus communément utilisées a été proposée. Ensuite, afin de cadrer l'utilisateur durant l'expression des exigences, une grammaire de spécification à base de motifs prédéfinis en langage naturel est développée. Les exigences générées sont syntaxiquement précises et correctes quand elles sont prises individuellement, néanmoins cela ne garantie pas la cohérence de l'ensemble des exigences exprimées. Ainsi, nous avons développé des mécanismes capables de détecter certains types d'incohérences entre les exigences temporelles. Pour le volet modélisation du comportement, nous avons proposé un algorithme de transformation des state-machine avec des annotations temporelles en des automates temporisés. L'idée étant de manipuler une notation assez intuitive et de générer automatiquement des modèles formels qui se prêtent à la vérification. Finalement, pour le volet vérification, nous avons adopté une technique de vérification à base d'observateurs et qui repose sur le model-checking. Concrètement, nous avons élaboré une base de patterns d'observation (ou observateurs) ; chacun des patterns développés est relatif à un type d'exigence temporelle dans la nouvelle classification. Ainsi, la vérification est réduite à une analyse d'accessibilité des états correspondants à la violation de l'exigence associée

Cette thèse étudie les problèmes liés à l'association des principaux composants des réseaux électriques.La nature inductive des éléments à connecter pose des problèmes lors de leur association dans un nœud de connexion commun. Deux solutions sont proposées pour résoudre ce problème et rendre ainsi possible la simulation. Une première solution accepte la présence de causalités dérivées, la deuxième consiste à simplifier les modèles en supprimant localement les régimes dynamiques pour faciliter leur association.La mise en évidence graphique de la causalité dans le modèle global d'un micro réseau à structure variable montre que différentes configurations sont possibles, avec pour chacune un comportement et un fonctionnement différents pour les composants. L'outil bond graph a été choisi pour la modélisation des différents éléments, l'analyse des propriétés des modèles et la conception de lois de commande par modèle inverse à l'aide de la bicausalité. La robustesse de la commande pour le convertisseur d'électronique de puissance est analysée d'une manière classique pour tester ses performances par rapport aux incertitudes paramétriques, en faisant varier la charge connectée au convertisseur. La commande est validée par simulation et de manière expérimentale.

Cette thèse concerne la synthèse de lois de commandes et d'observateurs pour l'onduleur de tension triphasé sans neutre raccordé. Celle-ci comporte 4 volets. Le premier volet donne les éléments de modélisation de l'onduleur ainsi que sa représentation dans des différents repères de coordonnées, puis les applications auxquelles on s'intéresse, à savoir la compensation d'énergie réactive et le filtrage actif. La deuxième partie est dédiée à la synthèse d'une loi de commande dite directe à structure variable basée sur le simplexe minimal. Nous y avons surmonté certains des problèmes d'ambiguïté rencontrés dans des approches classiques quand vient le moment de choisir les vecteurs de commande à appliquer. Des comparaisons avec une méthode classique de commande à hystérésis sont présentées afin de mettre en évidence ses principales propriétés. Dans la troisième partie nous présentons une amélioration à la commande directe basée sur le simplexe minimal, qui nous permettra de maîtriser parfaitement la fréquence de commutation et de confiner ainsi le spectre de découpage des courants côté alternatif. Les résultats obtenus ont été encore améliorés par l'introduction d'une compensation des retards induits par l'échantillonnage de la mesure. L'implémentation des algorithmes proposés sur un banc expérimental a confirmé la justesse de résultats théoriques et autres simulations. La dernière partie porte sur l'étude de deux types d'observateurs non linéaires (un observateur de type Kalman et un observateur de type modes glissants) appliqués à l'onduleur de tension, et ce, à des fins de diagnostique (redondance analytique) ou d'économie de capteurs. Des analyses sont présentées pour deux cas en particulier, à savoir l'estimation de la tension du bus continu à partir des mesures des courants du côté alternatif, puis l'observation des courants du côté alternatif à partir de la mesure de la tension continue.

Les composants à grille isolée sont de plus en plus souvent utilisés dans les variateurs de lumière connectés au secteur. L'utilisation de ces composants permet d'assurer la compatibilité électromagnétique du système en contrôlant les formes d'onde de commutation. Dans ce contexte, l'objet de ce travail porte sur l'étude des méthodes de commande des composants à grille isolée permettant de réduire les perturbations émises tout en conservant des pertes de commutation acceptables. Nous présentons dans une première partie un modèle comportemental du MBS lors de sa fermeture sur charges résistives. Ce modèle permet d'analyser l'influence des différents paramètres électriques du MBS sur les formes d’onde de commutation. Il permet également de déterminer en simulation les perturbations électromagnétiques générées. Dans une seconde partie nous nous intéressons aux circuits de commande permettant aux variateurs de lumière utilisant des MBS de respecter les normes de compatibilité électromagnétique. Une méthode de dimensionnement des commandes R-C est présentée. Les performances de ce type de commande en terme de perturbations électromagnétiques générées et de pertes de commutation sont déterminées en simulation puis en mesure. La principale limite de ces commandes provient de leur sensibilité aux variations des paramètres électriques du composant commandé. Ceci nous a poussé à développer un nouveau type de commande permettant d'assurer des commutations peu perturbatrices de manière simple et fiable. Le principe de la commande développée, basée sur un contrôle en courant du composant, est présenté et ses performances sont analysées tant en simulation qu'en réalité. La sensibilité aux dispersions de paramètre obtenue est faible par rapport à celle des commandes classiques. D'autre part, le circuit de commande proposé présente l'avantage d'être réalisable sous forme d'un circuit intégré monolithique. L'utilisation de cette nouvelle commande a permis la réalisation d'un variateur de lumière à MBS d'une puissance maximale de 500W respectant les normes CEM sans filtre secteur et ne dissipant qu'une puissance de 3,5W soit un rendement de conversion de 99,3%.