Ce manuscrit présente des résultats de recherche concernant une certaine classe de systèmes hybrides. Les systèmes hybrides peuvent être utilisés pour la modélisation de systèmes physiques complexes et hétérogènes dont l'évolution dans le temps présente des phénomènes discrets, tels que les commutations des convertisseurs ou les impacts des systèmes mécaniques. De la même manière, la théorie hybride peut être utilisée pour concevoir des contrôleurs hybrides, en général plus performants par rapport aux contrôleurs à temps continu. Dans ce cadre, les résultats de ce manuscrit peuvent être divisés en trois parties. D'abord des résultats de stabilité par rapport à un indice de performance de type Hinfini sont présentés pour une classe plutôt large de systèmes hybrides. Ensuite, nous introduisons de nouvelles architectures de contrôleurs hybrides pour les systèmes à temps continu, caractérisées par le fait que leur état peut être réinitialisé en fonction de la trajectoire. Enfin, nous présentons une technique de synthèse convexe pour la conception d'un contrôleur hybride multi-objectif. La comparaison avec les résultats classique met en évidence les avantages en termes de performance par rapport aux contrôleurs à temps continu classiques, tout en préservant la propriété de robustesse et la simplicité de conception. Bien que la théorie hybride soit en plein développement, ces travaux généralisent certains résultats existants, en améliorant la simplicité d'implémentation des solutions grâce à l'utilisation de la programmation semi-définie. En plus les architectures de contrôleurs hybrides présentées ont l'avantage de simplifier la généralisation de quelques résultats classiques concernant la synthèse optimale par rapport à des indices de performance communs.

Cette thèse étudie la vérification automatique de propriétés de sûreté de systèmes logico-numériques discrets ou hybrides. Ce sont des systèmes ayant des variables booléennes et numériques et des comportements discrets et continus. Notre approche est fondée sur l'analyse statique par interprétation abstraite. Nous adressons les problèmes suivants : les méthodes d'interprétation abstraite numériques exigent l'énumération des états booléens, et par conséquent, ils souffrent du probléme d'explosion d'espace d'états. En outre, il y a une perte de précision due à l'utilisation d'un opérateur d'élargissement afin de garantir la terminaison de l'analyse. Par ailleurs, nous voulons rendre les méthodes d'interprétation abstraite accessibles à des langages de simulation hybrides. Dans cette thèse, nous généralisons d'abord l'accélération abstraite, une méthode qui améliore la précision des invariants numériques inférés. Ensuite, nous montrons comment étendre l'accélération abstraite et l'itération de max-stratégies à des programmes logico-numériques, ce qui aide à améliorer le compromis entre l'efficacité et la précision. En ce qui concerne les systèmes hybrides, nous traduisons le langage de programmation synchrone et hybride Zelus vers les automates hybrides logico-numériques, et nous étendons les méthodes d'analyse logico-numérique aux systèmes hybrides. Enfin, nous avons mis en oeuvre les méthodes proposées dans un outil nommé ReaVer et nous fournissons des résultats expérimentaux. En conclusion, cette thèse propose une approche unifiée à la vérification de systèmes logico-numériques discrets et hybrides fondée sur l'interprétation abstraite qui est capable d'intégrer des méthodes d'interprétation abstraite numériques sophistiquées tout en améliorant le compromis entre l'efficacité et la précision.

La crise du pétrole et les contraintes écologiques obligent de nombreux constructeurs automobiles à développer des programmes de recherche importants dans le développement des véhicules électriques et hybrides électriques. Dans ce contexte, cette thèse a pour but de vérifier la faisabilité d'une chaine de traction hybride innovante consistant à partir d'un véhicule thermique existant et à réduire la puissance du moteur thermique tout en ajoutant des moteurs intégrés dans les roues du train arrière. Ce travail a été réalisé dans le cadre d'un projet financé par l'ADEME et en collaboration notamment avec le constructeur automobile AIXAM-MEGA. Plus précisément, le travail de thèse a donc porté sur le dimensionnement des sources énergétiques, la modélisation énergétique et fonctionnelle du véhicule et enfin la réalisation et la caractérisation expérimentale du véhicule. Dans le premier chapitre, l'auteur développe une revue bibliographique relative aux véhicules hybrides électriques existants. Cela permet ensuite d'introduire le concept innovant de chaine de traction hybride décrit ci-dessus, reposant en quelque sorte sur un couplage par la route des puissances de propulsion thermiques et électriques. Dans le deuxième chapitre l'auteur aborde le dimensionnement des sources énergétiques en se focalisant sur les super-condensateurs. Il propose une approche analytique simple de calcul reposant sur les missions définies par le constructeur AIXAM-MEGA. Les modules de super-condensateurs retenus sont ensuite caractérisés expérimentalement (capacité, résistance interne, rendement de stockage...) en prenant en compte l'effet de la température. Les troisième et quatrième chapitres sont consacrés à la modélisation du véhicule. En premier lieu, le troisième chapitre aborde la modélisation énergétique du véhicule. Le véhicule a entièrement été modélisé en utilisant le formalisme de représentation énergétique macroscopique développée initialement au Laboratoire d'Électrotechnique et d'Électronique de Puissance de Lille. Ce modèle a permis de développer le contrôle du véhicule. Ensuite, dans le quatrième chapitre, l'auteur présente la modélisation fonctionnelle du véhicule par machine d'état. Cela permet de prévoir le comportement du véhicule dans ses différentes phases de vie et de définir les transitions entre ces différentes phases. Cette étape de prototypage virtuel est essentielle afin de vérifier en amont la fonctionnalité du véhicule et sa sécurité. Enfin, le cinquième et dernier chapitre est entièrement consacré à la caractérisation expérimentale du véhicule. Les différents fonctionnements thermiques, électriques et hybrides sont testés lors de vrais essais de roulage. En conclusion, le travail de thèse a abouti à la réalisation d'un véhicule hybride. Les approches de dimensionnement des sources et de modélisation sont ainsi validées, tout en faisant également la preuve de la faisabilité d'une chaine cinématique hybride électrique avec couplage par la route.

Nous avons étudié l'effet de proximité dans un système mésoscopique comportant un conducteur de métal normal N en contact avec des îles supraconductrices S latérales. Une méthode d'évaporation métallique oblique sur un masque submicronique suspendu a été mise au point sous ultra-vide, nous permettant de contrôler la qualité de l'interface N-S depuis un contact métallique parfait jusqu'à une barrière tunnel. Nous présentons un nouveau type de filtre haute-fréquence large bande, minituarisé sur un substrat de cuivre, efficace jusqu'à très haute fréquence (20 GHz) et dédié au filtrage absolu d'échantillons mésoscopiques. Les mesures de transport jusqu'à très basse température (20 mK) montrent que le comportement du transport dans un métal normal en proximité avec un supraconducteur dépend fortement des paramètres microscopiques que sont la longueur de cohérence des paires d'électrons, la longueur équivalente de barrière à l'interface et la dimension latérale des jonctions. Le couplage Josephson montre un comportement en température nouveau, décrit par les modèles classiques dans un régime propre pour la longueur de cohérence normale. L'observation de centres de gliseement de phase à basse température exemplifie le caractère de bande interdite nulle de la supraconductivité de proximité. Dans une géométrie de réseau bideimensionnel, un nouveau régime d'anisotropie extrême est réalisé, se caractérisant par une oscillation très piquée de la température de transition résistive en fonction du champ magnétique. Dans un conducteur normal en anneau, un flux magnétique permet de piloter l'interférence entre les courants supraconducteurs selon un effet de type SQUID. Les corrections de conductance liées à la localisation faible dans le conducteur normal au voisinage d'une interface N-S sont également discutées. Nous présentons enfin une expérience décisive afin de tester l'effet du blocage de Coulomb sur l'effet de proximité dans une jonction N-S en régime tunnel.

Dans le domaine de la tomographie par rayons X préclinique, la tomographie spectrale est une voie de plus en plus en plus explorée. Les objectifs de la tomographie spectrale sont tant la caractérisation et la quantification des tissus et agents de contraste que l'amélioration de contraste entre tissus mous. Cela passe par l'exploitation de l'information spectrale (ou énergétique) des photons X et non plus seulement par la quantité de rayons X détectée comme en tomographie standard par absorption de rayons X. L'intérêt de la tomographie spectrale se trouve renforcé par l'arrivée des caméras à comptage comme le détecteur à pixels hybrides XPAD3 qui ont la capacité de sélectionner les photons X en fonction de leur énergie. Ce détecteur a été développé pour fonctionner dans le micro-tomodensitomètre PIXSCAN construit au CPPM. Dans ce contexte, cette thèse a deux buts~: participer à la construction du prototype PIXSCAN et y effectuer une preuve de concept de la tomographie spectrale. Le premier but est rempli grâce au développement de l'interface d'acquisition du PIXSCAN. Le second est atteint par l'implantation de la méthode de séparation de composantes dont le but est d'isoler les contributions photoélectrique, Compton et celles des agents de contraste. Ce travail débute par la caractérisation de cette méthode et se termine par sa démonstration sur données réelles acquises à l'aide du prototype PIXSCAN.

Le graphène épitaxié sur des substrats métalliques est un modèle prometteur pour le développement de nouveaux systèmes hybrides, dans lesquelles les effets d'interface peuvent être exploités pour concevoir de nouvelles propriétés. L'insertion d'espèces entre le graphène et son substrat, une opération connues sous le nom d'-"intercalation", est une approche très puissante à cet égard. Avec l'aide des outils de la physique des surfaces, nous avons étudié trois systèmes graphène/métal, dont deux sont des systèmes hybrides intercalés, et l'autre est un candidat pour un tel système : (i) le graphène/Ir(111) intercalé avec un oxyde ultra-mince, (ii) graphène/Ir(111) intercalé avec des couches sub-atomiques du cobalt et (iii) de graphène sur Re(0001). Nous avons montré que certains défauts, en particulier les ridules (délamination du graphène de son substrat) et d'autres régions courbées du graphène, jouent un rôle crucial, non anticipé, dans le processus d'intercalation. Nous avons également observé que l'intercalation se déroule d'une manière nettement différente sous ultravide et à pression atmosphérique. Dans le premier système, des espèces contenant de l'oxygène entrent à l'extrémité ouverte des ridules et diffusent au long de ces ridules pour former des nano-rubans d'oxyde. Ces rubans modifient le dopage électronique du graphène, ce qui se traduit également par des changements substantiels dans la réponse optique inélastique (Raman) du graphène. Dans le second système, l'efficacité de l'intercalation est apparue dépendante de l'interaction graphène-métal, laquelle varie entre les domaines de graphène orientés différemment sur_(111). Dans ce système, les sites d'entrée pour les espèces intercalées, des régions courbées dans le graphène, ont pu être identifiés grâce à l'observation in_operando (en cours de croissance) du processus. Enfin, la croissance de graphène dans un troisième système (graphène/Re(0001)), a été étudiée afin de permettre le développement de futurs systèmes graphène/Re hybrides supraconducteurs. Dans ce système, nous avons proposé deux voies de croissance, l'une étant basé sur un processus de croissance en surface d'un monocristal massif de Re(0001), l'autre reposant sur la ségrégation en surface, activée thermiquement, du carbone dissout à haute température dans des films minces de Re sur saphir.

Actuellement le marché automobile est en forte demande de modèles hybrides capables de limiter les consommations et les rejets de CO2. Parmi les diff érentes solutions technologiques possibles, cette thèse traite d'un dispositif microhybride de type Stop-Start reposant sur l'utilisation de moteurs à aimants permanents à commutation mécanique. Ce travail de recherche, encadré par Valeo et le laboratoire de Génie Électrique de Grenoble (G2Elab), a pour vocation à élaborer des méthodologies de conception permettant une implémentation facile et à bas coût de cette fonction. L'étude se concentre sur une modélisation numérique rigoureuse de la machine électrique pour ensuite analyser plusieurs améliorations techniques du démarreur en vue d'augmenter ses performances. Pour cela nous avons développé un modèle précis et rapide de la machine grâce à une approche d'identi cation des paramètres par optimisation et en utilisant la méthode des plans d'expériences. Ce modèle nous a permis de proposer des structures de démarreurs renforcés adaptés à la fonction Stop-Start.

La propulsion des véhicules électriques hybrides parallèles est généralement assurée par un moteur à combustion interne combiné à une machine électrique réversible. Les flux de puissance entre ces deux organes de traction sont déterminés par un algorithme de supervision, qui vise à réduire la consommation de carburant et éventuellement les émissions de certains polluants. Dans la littérature, la théorie de la commande optimale est maintenant reconnue comme étant un cadre puissant pour l'élaboration de lois de commande pour la gestion énergétique des véhicules full-hybrides. Ces stratégies, dénommée " Stratégies de Minimisation de la Consommation Equivalente " (ECMS) sont basée sur le principe du Maximum de Pontryagin. Pour démontrer l'optimalité de l'ECMS, on doit supposer que les limites du système de stockage ne sont pas atteintes durant le cycle de conduite. Il n'est plus possible de faire cette hypothèse lorsque l'on considère les véhicules micro et mild hybrides étudiés dans cette thèse car la variable d'état atteint généralement plusieurs fois les bornes. Des outils mathématiques adaptés à l'étude des problèmes de commande avec contraintes sur l'état sont présentés et appliqués à deux problèmes en lien avec la gestion énergétique. Le premier problème consiste à déterminer le profil optimal de la tension aux bornes d'un pack d'ultra-capacités. Le second problème se concentre sur un système électrique intégrant deux stockeurs. L'accent est mis sur l'étude des conditions d'optimalités valables lorsque les contraintes sur l'état sont actives. Les conséquences de ces conditions pour la commande en ligne sont mises en avant et exploitées afin de concevoir une commande en temps réel. Les performances sont évaluées à l'aide d'un prototype. Une comparaison avec une approche de type ECMS plus classique est également présentée.

Universiẗat, Diss., 2003--Saarbrücken. / Lizenzpflichtig.

Made available in DSpace on 2014-10-09T12:28:39Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T13:57:29Z (GMT). No. of bitstreams: 0 / Dissertacao (Mestrado) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN-CNEN/SP