La thèse traite de l'utilisation des systèmes hybrides dans le contexte particulier des communications sécurisées et de la cryptographie. Ce travail est motivé par les faits suivants. L'essor considérable des communications qui a marqué ces dernières décennies nécessite des besoins croissants en terme de sécurité des échanges et de protection de l'information. Dans ce contexte, la cryptographie joue un rôle central puisque les informations transitent la plupart du temps au travers de canaux publics. Parmi les nombreuses techniques de chiffrement existants, le chiffrement par flot se distingue tout particulièrement lorsqu'on le débit d'une communication sécurisée est privilégié. Les chiffreurs par flot sont construits à partir de générateurs de séquences complexes décrits par des systèmes dynamiques et devant être synchronisés de part et d'autre du canal d'échanges. Les objectifs et les résultats de ce travail se déclinent en trois points. Tout d'abord, l'intérêt d'utiliser des systèmes hybrides en tant que primitives cryptographiques est motivé. Par la suite, une étude comparative est menée afin d'établir une connexion entre les algorithmes de masquage de l'information basés sur le chaos et les algorithmes de chiffrement usuels. L'étude porte exclusivement sur des considérations structurelles et repose sur des concepts de la théorie du contrôle, en particulier l'inversibilité à gauche et la platitude. On montre que la technique de masquage dite par inclusion, qui consiste à injecter l'information à protéger dans une dynamique complexe, est la plus efficace. De plus, on montre que sous la condition de platitude, un système de masquage par inclusion est structurellement équivalent à un chiffreur par flot particulier appelé auto-synchronisant. Enfin, des méthodes de cryptanalyse pour évaluer la sécurité du masquage par inclusion sont proposées pour une classe particulières de systèmes hybrides à savoir les systèmes linéaires à commutations. A nouveau, des concepts de la théorie du contrôle sont utilisés, il s'agit de l'identifiabilité paramétrique et des algorithmes d'identification. Des spécificités relatives au contexte particulier de la cryptographie sont prises en compte. En effet, contrairement à la plupart des cas rencontrés dans le domaine du contrôle où les variables des modèles dynamiques sont continues car relatives à des systèmes physiques, les variables prennent ici des valeurs discrètes. Les modèles dynamiques sont en effet décrits non plus dans le corps des réels mais dans des corps finis en vue d'une implémentation sur des machines à états finis tels ordinateur ou tout autre dispositif numérique.

Par l'association d'une molécule organique colorée avec une matrice inorganique incolore, les composés hybrides sont une solution appropriée pour l'obtention de pigments stables. Ces composés sont en effet capables de résister au temps et aux conditions du milieu les environnant : la stabilité de la couleur est assurée après fixation ou encapsulation de la molécule organique à la surface d'un minéral ou dans une matrice microporeuse. Dans ce travail, nous étudions la diffusion et le processus de physisorption de l'indigo à l'intérieur des cavités et canaux d'alumino-silicates ordonnés tels que les zéolithes. Nous obtenons un complexe hybride, dont la couleur et la stabilité se rapprochent de celles du pigment Bleu Maya archéologique. Le processus physico-chimique à l'origine de la stabilité remarquable du Bleu Maya est encore très controversé. L'élaboration et l'étude du composé archéomimétique ouvre alors de nouvelles perspectives sur la compréhension des caractéristiques spectroscopiques et structurales du Bleu Maya. Les composés analogues sont caractérisés en combinant spectroscopies optiques et vibrationnelles, diffraction des rayons X sur poudre et monocristaux, et diffusion quasi-élastique des neutrons. Nous montrons que l'indigo diffuse sous la forme de monomères dans le réseau de canaux de certaines zéolithes, et se localise en stabilisant le minéral dans un état métastable. Ce travail sur les pigments hybrides anciens et leurs analogues modernes est le premier exemple sur la façon dont les matériaux anciens peuvent être une source d'inspiration dans la conception de matériaux fonctionnels modernes.

Ce mémoire propose une méthodologie de développement de lois de gestion d'énergie prenant en compte le parcours suivi . L'application concerne un bus hybride de type série, disposant d'une autonomie électrique de quelques kilomètres. La première phase de l'étude a cherché à déterminer la répartition optimale de la puissance demandée par le conducteur entre les deux sources d'énergie, l'organe de stockage temporaire (la batterie) et le générateur électrique (moteur thermique associé à un alternateur). Pour cela, le problème a été formalisé à l 'aide de modèles simplifiés des différents composants et résolu par le principe du maximum de Pontryaguine. Les résul tats obtenus ont été intégrés dans la commande du véhicule sous forme de cartographies de commande optimale dépendantes d'un unique paramètre K. Ils ont, par ailleurs, nécessité une adaptation pour obteni r des lois de commande implémentables en ligne. Dans la deuxième étape, ces lois de gestion d'énergie ont été modifiées pour prendre en compte le parcours suivi . Trois niveaux de commande, s'appuyant sur l'état de charge de la batterie, ont alors été définis. Le premier niveau qui est directement tiré des travaux d'optimisation précédents correspond à la commande instantanée. Il est paramétré par K pour permet tre à la supervision locale (deuxième niveau) de faire suivre à la batterie un profil d'état de charge désiré. Le dernier niveau réal ise, quant à lui, l'apprent issage de ce profil d'état de charge désiré à partir de la reconnaissance a priori du parcours suivi. Une fois le parcours effectué, la réalisation obtenue est évaluée et éventuel lement intégrée dans les connaissances acquises suivant son degré de reproductibilité. Ces lois de gest ion d'énergie ont , dans une dernière étape, été validées par simulat ion Matlab/Simulink. Pour cela, une campagne d'essais a été effectuée sur un véhicule en si tuat ion normale de fonct ionnement.

Face à la raréfaction du pétrole et aux contraintes environnementales fixées dans le cadre du protocole de Kyoto, le domaine des transports tend à évoluer vers des technologies moins consommatrices et moins émettrices de gaz à effet de serre. À ce jour, dans le domaine de l'automobile, une solution technologique fortement envisagée est l'hybridation électrique des véhicules. Le développement de ces véhicules reste néanmoins limité à cause de l'incertitude concernant la durée de vie des batteries. Cette étude porte sur la préparation de tests de vieillissement accélérés et s'articule autour de deux axes : l'évaluation des performances des batteries à un instant de vie donné et la détermination de profils de sollicitations représentatifs de l'usage réel à utiliser pour les tests de cyclage. L'étude se focalise sur deux des technologies les plus prometteuses pour les véhicules hybrides électriques, c.-a-d. le nickel métal hydrure (NiMH) et le Lithium-ion (Li-ion).

Ce travail présente d'une part la fabrication d'entités nanométriques (nanocouches, nanoparticules) photochromes et d'autre part les méthodes de détection ou d'amplification de leur commutation. Des nanoparticules de diaryléthène ont été obtenues par fragmentation laser. Leur caractère photochrome en solution colloïdale a été mis en évidence par des mesures d'ensemble en spectroscopie d'absorption, mais également au niveau de la particule unique par la spectroscopie de diffusion en champ sombre. Ces nanoparticules ont montré des propriétés différentes de celles en solution et de celles à l'état solide illustrées par des rendements quantiques différents. Pour comparer les rendements quantiques des différents états, une méthode numérique a été mise au point pour l'étude à l'état solide. L'obtention de systèmes hybrides par dépôt de couches minces de photochromes sur des substrats recouverts de nanoparticules d'or a permis de mettre en évidence une nouvelle approche pour détecter la photocommutation aux petites échelles. Cette commutation du photochrome provoque un déplacement intense et réversible en longueur d'onde de la bande des plasmons de surface localisée (PLS) des nanoparticules d'or. Cette observation est corrélée à des calculs basés sur le formalisme de Mie. De plus, l'exaltation du champ électromagnétique par excitation des PLS a permis d'accélérer la réaction photochrome dans le sens de la décoloration, renforçant l'intérêt de ces matériaux hybrides pour le stockage de données.

Ce travail concerne l'étude des machines asynchrones à cage dans les applications de traction automobile, en particulier pour les véhicules hybrides. Nous avons développé des modèles et des méthodes utiles pour analyser et dimensionner de telles machines électriques. Nous avons tout d'abord mis au point un modèle électromagnétique non linéaire de la machine, déterminé à partir d'un nombre restreint de calculs "éléments finis". Ce modèle a ensuite été adapté pour réaliser des études de sensibilités sur quelques dimensions géométriques importantes. Il permet d'adapter rapidement une machine à un nouveau cahier des charges. Nous avons finalement étendu cette méthode de modélisation pour prendre en compte un plus grand nombre de paramètres géométriques. Ce dernier modèle paramétrique a été utilisé pour l'optimisation sous contrainte des dimensions d'une machine. Pour cela, nous avons proposé une nouvelle méthode "d'optimisation à modèle recalé" qui concilie précision, rapidité et simplicité. Cette démarche a été appliquée au cas concret d'un dimensionnement de machine asynchrone avec un cahier des charges typique d'un véhicule hybride.

Dans cette thèse, nous nous intéressons aux problèmes du knapsack multidimensionnel à choix multiple. Ils interviennent essentiellement en télécommunication. Nous proposons de nouvelles méthodes hybrides de résolution exacte et approchée. Dans un premier temps, nous proposons des méthodes heuristiques en se basant sur les techniques de génération de colonnes et d'arrondi. Ensuite, nous abordons une méthode de recherche locale, dite méthode de branchement local, où des contraintes linéaires sont introduites pour intensifier et diversifier la recherche. Cette méthode est ensuite hybridée avec la génération de colonnes et une technique d'arrondi. Concernant la résolution exacte, nous nous basons sur une méthode de "Branch and cut". Nous commençons par proposer de nouvelles contraintes valides pour le problème. Ensuite, nous les associons à des contraintes de couverture locales et globales dans un schéma énumératif. Les approches heuristiques et l'algorithme exact que nous proposons sont comparés à d'autres heuristiques de la littérature et au Solveur de programmes linéaires Cplex . L'ensemble de ces tests numériques ont été menés sur des instances ardues de la littérature ainsi que sur des instances générées aléatoirement de taille modérée.

La conception de systèmes embarqués nécessite de plus en plus l'utilisation d'outils logiciels afin de contenir la complexité croissante de ceux-ci. Les deux principaux outils industriels dans ce domaine sont Simulink et Lustre/Scade. Ces deux outils possèdent de nombreuses fonctionnalités comme un moteur de simulations, des générateurs de tests ou de code. Cependant, Simulink est, dans la majorité des cas, utilisé pour la conception de systèmes embarqués et ceci parce qu'il a une expressivité plus importante. Il est capable de modéliser et de simuler des systèmes à temps continu, à temps discret et un mélange des deux, c'est-à-dire des systèmes hybrides. Pour la conception des systèmes embarqués, Simulink permet de modéliser l'environnement physique et le logiciel embarqué dans un même formalisme. L'application des méthodes formelles sur de telles spécifications est un défi industriel et scientifique important pour la validation des logiciels embarqués. De plus, l'utilisation de méthodes formelles, au plus tôt dans le cycle de développement, est un challenge essentiel dans l'industrie afin de réduire les coûts liés à la correction de bogues.<br /><br />Dans cette thèse, nous définissons une analyse statique par interprétation abstraite de modèles Simulink. Nous appelons cette analyse Simulation Abstraite. L'objectif de la Simulation Abstraite est de fournir un critère de correction des comportements numériques des exécutions des modèles Simulink. Ces simulations sont souvent utilisées pour valider les systèmes modélisés, mais elles sont plus proches de l'activité de tests que celle de la preuve. En conséquence, elles ne permettent pas de valider vis-à-vis des spécifications un système modélisé avec Simulink. La Simulation Abstraite fournit un critère de correction dans le sens que les comportements des modèles Simulink représentent au mieux les comportements du monde réel.<br /><br />Nous supposons que le modèle mathématique, représenté par un modèle Simulink, est correcte vis-à-vis du monde réel. Notre objectif est de calculer automatiquement et conjointement une sur-approximation des comportements mathématiques et des comportements issus de la simulation numérique pour une plage d'entrées possibles. Nous sommes ainsi capable d'estimer l'ensemble des imprécisions introduit par la simulation numérique, c'est-à-dire les erreurs d'arrondi ou les erreurs de troncature liées, par exemple, aux capteurs. Le critère de correction des modèles à temps continu est obtenu en évaluant la distance séparant les résultats des méthodes d'intégration numérique, utilisées par le moteur de simulations, des résultats obtenus par une méthode d'intégration numérique garantie. Le critère de correction des modèles à temps discret est donné par l'utilisation du domaine numérique abstrait des nombres flottants avec erreurs différentiées. Ce nouveau domaine numérique est issu de la combinaison du domaine des flottants avec erreurs et la méthode de différentiation automatique permettant d'avoir une meilleure abstraction des erreurs. Nous définissons également une abstraction d'un domaine des séquences utilisant les partitions d'un ensemble. Nous sommes ainsi en mesure de représenter des simulations infinies d'une manière finie. L'ensemble de ces domaines permet alors d'estimer les erreurs introduites par les traitements numériques présents lors des simulations. Nous obtenons alors une méthode de validation des comportements numériques des systèmes embarqués modélisés en Simulink.

Dans de nombreuses applications modernes, l'interaction de plus en plus importante entre les systèmes numériques (ordinateurs, logiciels, composants logiques, etc.) et les processus physiques (relations entre signaux continus) a conduit, en Automatique, à l'émergence et à la formalisation des systèmes dits hybrides. Formellement, les systèmes hybrides peuvent être définis comme des systèmes mixtes où interagissent des phénomènes de nature à la fois continue et événementielle. L'analyse et la conduite de tels systèmes comme de tout autre type de système dynamique nécessitent bien souvent que l'on dispose d'un modèle mathématique de ces systèmes. Ainsi, nous nous intéressons dans ce travail, à l'identification de systèmes hybrides linéaires à partir de mesures entrée-sortie. Après avoir fait le point sur les méthodes disponibles dans la littérature récente en relation avec ce sujet, nous mettons en évidence la nécessité de développer des méthodes d'identification de systèmes hybrides multivariables dans le contexte très délicat où ni le nombre de sous-modèles constitutifs du système hybride, ni les ordres de ces sous-modèles, ni leurs paramètres ne sont connus a priori. Nous considérons d'abord des modèles d'état à commutations. Pour estimer ces modèles par les méthodes des sous-espaces, il est indispensable de contrôler dans l'espace d'état, les bases de représentation des matrices de paramètres associées aux différents sous-modèles à estimer. Cela nous a conduit au développement de nouvelles techniques d'identification structurée de modèles linéaires d'état qui possèdent cette propriété. Nous généralisons ensuite les techniques ainsi développées à l'identification de systèmes multivariables commutants, représentés par des modèles d'état. Cependant, dans le cas général, l'identification de modèles d'état hybrides est limitée par de sévères problèmes de complexité numérique. De ce fait, nous étudions le cas particulier où les instants de commutation sont séparés par un certain temps de séjour minimum dans les différents modes du système. Afin de nous affranchir de cette contrainte, nous investiguons l'identification de modèles MIMO commutants de type Auto-Regressif à entrée eXogène (ARX). Nous généralisons alors la méthode algébro-géométrique (GPCA) à l'identification de systèmes multivariables, discutons quelques problèmes de complexité numérique et suggérons des alternatives. La dernière partie du travail est consacrée à la validation de nos méthodes sur des exemples de simulation ainsi que sur un procédé de montage automatique de composants électroniques sur circuit imprimé.

L'électronique moléculaire et la spintronique moléculaire sont deux domaines émergeant de la nanophysique, prometteurs pour réaliser de nouveaux types de dispositifs utiles tant pour le stockage d'information que pour l'information quantique. Ce travail de thèse a pour objet de contribuer à ces deux domaines de recherche par la réalisation de jonctions moléculaires à base de nanotubes de carbone, faisant intervenir des nanostructures magnétiques. Nous avons choisi deux approches: (i) le transport électronique à travers des nanotubes de carbone remplis de matériaux magnétiques (nanotubes hybrides) et (ii) le développement du nano-SQUID composé de jonctions supraconductrices à nanotube de carbone. Ce magnétomètre devrait être suffisamment sensible pour étudier les propriétés magnétiques de molécules individuelles attachées au nanotube de carbone.