Les systèmes hybrides, systèmes combinant à la fois une dynamique continue et discrète, s'avèrent être un modèle mathématique utile pour différents phénomènes physiques, technologiques, biologiques ou économiques. Beaucoup d'efforts ont été consacrés à l'élaboration de méthodes automatiques d'analyse pour de tels systèmes, basées sur la vérification formelle. Néanmoins, l'applicabilité de ces méthodes est encore limitée aux systèmes de petite taille en raison de la complexité de l'analyse exhaustive. Le test est une autre approche de validation, qui peut être employée pour des systèmes beaucoup plus grands. En dépit de ses limitations comparées à la vérification algorithmique et déductive, le test reste l'outil standard dans l'industrie.<br />Nous proposons dans cette thèse une méthodologie formelle pour le test de conformité des systèmes hybrides, qui est définie selon la norme internationale pour le test formel de conformité (FMCT). Ensuite, nous abordons le problème de la définition de mesures de couverture de test. Pour cela, deux mesures de couverture sont proposées, qui sont non seulement utiles comme critère pour évaluer la qualité de test mais peuvent être aussi employées pour guider la génération de test vers une meilleur couverture. Des algorithmes de génération de test guidés par les mesures de couverture sont proposés. Ces algorithmes sont basés sur une combinaison des algorithmes de planification de trajectoires dans la robotique, de la théorie d'équidistribution, de la géométrie algorithmique et de la simulation numérique. L'outil HTG (Hybrid test generation) pour la génération de cas de test pour les systèmes hybrides implémente ces algorithmes, et a été appliqué avec succès pour traiter plusieurs études de cas provenant de différentes domaines (circuits analogiques et mixtes, systèmes de commande, etc.).

La recherche de conducteurs protoniques fonctionnant aux faibles humidités relatives est un enjeu important pour des applications telles que les piles à combustible. Ce travail de thèse a permis d'obtenir de nouveaux matériaux conducteurs protoniques en faisant réagir une solution colloïdale de nanoparticules d'oxyde de zirconium avec des phosphonates portant diverses fonctions organiques acides. Des études de résonance magnétique nucléaire ont permis d'établir la répartition des protons entre l'eau d'hydratation et les sites acides. Des études de conductivité ionique ont permis de mettre en valeur le rôle limitant des joints de grains. Cependant les études de relaxation magnétique nucléaire (T1, T2) et de relaxométrie mettent bien en valeur la mobilité de surface et les mécanismes de transport protonique, par un mécanisme véhiculaire en milieu hydraté (en simple : transport d'ions H3O+) et par un mécanisme de type Grothus en milieu anhydre, c'est-à-dire associé à des sauts de protons H+ entre molécules greffées.

L'objectif principal de cette thèse a été de développer des nouveaux outils mathématiques pour l'étude des phénomènes stochastiques en biologique moléculaire. Les modèles mathématiques pour la dynamique stochastique des réseaux de réactions biochimiques sont basés sur les processus de Markov à sauts. On propose des approximations hybrides pour les processus de Markov à sauts multi-échelles. En utilisant comme argument heuristique un développement limité du générateur du processus à sauts (procédé connu en chimie et en physique sous le nom de développement de Kramers-Moyal) nous identifions plusieurs types d'asymptotiques hybrides : processus déterministes par morceaux et diffusions hybrides. Le développement de Kramers-Moyal permet d'obtenir de manière systématique des modèles hybrides, qui sont simulés par la suite avec des algorithmes adaptés. Les approximations déterministes par morceaux sont étudiées avec des méthodes mathématiques rigoureuses. On montre la convergence faible du processus de Markov à sauts vers deux types de processus déterministes par morceaux : avec et sans sauts dans les variables continues. Les approximations hybrides peuvent être simplifiées davantage en utilisant des méthodes de moyennisation. On propose aussi quelques résultats dans cette direction.

L'objectif de cette étude consiste à synthétiser et caractériser de nouveaux matériaux hybrides organique/inorganique obtenus par greffage de poly(méthacrylate)s d'alkyle sur des nanoparticules de dioxyde de titane (TiO2) et d'oxyde de zinc (ZnO). Afin de mieux comprendre les facteurs influents les réactions mises en jeu lors d'un greffage à partir de la surface d'un oxyde métallique, nous avons choisi de travailler avec des nanoparticules disponibles commercialement et/ou élaborées. Des nanoparticules d'oxyde de zinc, de dimensions allant de 5 à 100 nm, ont été synthétisées par la méthode de précipitation, à température ambiante. La diffractométrie de rayons X (DRX) et la microscopique électronique à transmission (MET) ont permis de déterminer la structure cristalline, les dimensions et la morphologie des particules ainsi préparées. Les conditions de synthèse ont été optimisées afin d'augmenter la surface spécifique des particules tout en favorisant la présence de groupes hydroxyles en surface. La méthode de greffage de polymères méthacryliques a consisté à modifier préalablement la surface des nanoparticules par un agent de couplage réactif de type 3-méthacryloxypropyltriméthoxysilane (MPS). Les nanoparticules ainsi modifiées ont été caractérisées par spectroscopie (IRTF et RMN CP-MAS 13C et 29Si) et par analyse thermogravimétrique afin de confirmer la présence et la quantité de MPS greffé. Cet alcoxysilane, porteur d'une fonction méthacrylate, a permis de greffer des chaînes de poly(méthacrylate de méthyle), de poly(méthacrylate de tert-butyldiméthylsilyle) à partir de la surface des nanoparticules. La polymérisation radicalaire contrôlée par addition-fragmentation réversible (procédé RAFT) a été sélectionnée pour obtenir un contrôle des masses molaires, de faibles indices de polymolécularité et le greffage de copolymères diblocs. L'observation de ces nanoparticules hydrides en microscopie électronique à transmission montre clairement la présence d'une couronne de polymères à la surface des particules. L'étude de la stabilité thermique des nouvelles nanoparticules hybrides à base de ZnO a été réalisée par analyse thermogravimétrique sous atmosphère inerte. L'impact du procédé de polymérisation sur les mécanismes de dégradation thermique des polymères méthacryliques étudiés a été mis en évidence. Pour la première fois, des valeurs d'énergie d'activation ont été calculées sous atmosphère inerte et oxydante.

Reproduction de : Thèse de doctorat : Systèmes industriels : Toulouse, INPT : 2005. / Titre provenant de l'écran-titre. Bibliogr. 77 réf.

Reproduction de : Thèse doctorat : Génie informatique, automatique et traitement du signal : Reims : 2006. / Titre provenant de l'écran titre. Bibliogr. f. 173-181.

Thèse de doctorat : Automatique : Paris 12 : 2005. / Titre provenant de l'écran-titre. Bibliogr.

Thèse de doctorat : Automatique et traitement du signal : Vandoeuvre-les-Nancy, INPL : 2006. / Titre provenant de l'écran-titre. Bibliogr.

Thèse doctorat : Génie des Matériaux : Villeurbanne, INSA : 2006. / Thèse entièrement rédigée en anglais. Titre provenant de l'écran-titre. Bibliogr. p. 192-208.

Thèse de doctorat : Automatique et traitement du signal : INPL : 2006. / Titre provenant de l'écran-titre. Bibliogr.