Le nombre croissant des systèmes électroniques embarqués dans le secteur automobile a considérablement amélioré et diversifié les services rendus par le véhicule. Ces systèmes sont appelés systèmes mécatroniques. Ils intègrent une partie énergétique (mécanique, hydraulique ou électrique) commandée et contrôlée par un calculateur. Leur principal atout est la flexibilité logicielle dont dispose le concepteur pour implémenter de nouvelles fonctions. Toutefois, ceci a contribué à accroître leur complexité et à en diminuer la maîtrise, d'où la nécessité d'effectuer des études de Sûreté de Fonctionnement afin de garantir un bon niveau de sécurité. Par ailleurs, mener de telles études dès la phase de conception permet de diminuer les délais et les coûts de conception en détectant et en corrigeant au plus tôt les erreurs de conception. Actuellement, les études de sécurité prévisionnelle des systèmes automobiles sont réalisées par la méthode des Arbres de Défaillance. Or cette méthode est statique et ne permet pas de prendre en compte les phénomènes temporels liés à leur dynamique de fonctionnement et à leur aspect hybride. C'est dans ce contexte que des recherches sont menées en collaboration entre le groupe PSA Peugeot Citroën et le LAAS visant à développer une méthodologie d'aide à la conception de systèmes mécatroniques sûrs de fonctionnement. Mon projet de thèse se focalise sur l'analyse qualitative de la sécurité des systèmes mécatroniques en vue de l'obtention des scénarios redoutés. La connaissance de ces scénarios permet d'évaluer leurs probabilités d'occurrence et de valider les lois de reconfiguration pour orienter le choix des concepteurs quant aux différents types d'architectures possibles proposés pour le système. Nous avons développé une méthode de recherche des scénarios redoutés basée sur la modélisation préalable d'un système mécatronique sous la forme d'un Réseau de Petri et d'un ensemble d'équations différentielles. Cette modélisation hybride présente l'avantage de séparer clairement les aspects discrets et continus. Ceci nous permet une analyse logique (fondée sur la logique Linéaire) des causalités résultant des changements d'états. Grâce à cette analyse, il est possible à partir d'un état redouté de remonter les chaînes de causalité et de mettre ainsi en évidence tous les scénarios possibles conduisant à une situation critique. Chaque scénario est donné sous la forme d'un ordre partiel entre les événements nécessaires à l'apparition de l'état redouté. L'originalité de notre approche est qu'elle n'implique pas une énumération brutale et globale de tous les états accessibles du système. Au contraire elle permet de se focaliser sur le voisinage de l'état redouté en faisant une énumération locale d'états partiels. Autrement dit, nous ne considérons que les états des composants directement impliqués dans l'apparition de l'état redouté. Nous avons enfin élaboré un algorithme automatisant la recherche des scénarios redoutés et nous l'avons appliqué sur deux exemples simples de systèmes mécatroniques.

Ce manuscrit décrit l'utilisation de particules de silice colloïdale de taille et de fonctionnalité définies pour élaborer des matériaux aux propriétés spécifiques. Dans un premier temps, nous avons comparé différentes méthodes de synthèse de particules de silice à partir d'un précurseur moléculaire selon un procédé sol-gel. Celles-ci nous ont permis de fabriquer des objets sphériques de fonction de surface contrôlée et avec une taille moyenne régulière comprise entre 50 nm et 2 microns. Une fois ces particules synthétisées, nous avons étudié leur comportement à l'interface air-eau grâce à la technique de Langmuir puis fabriqué des cristaux colloïdaux d'épaisseur contrôlée par dépositions successives de monocouches de particules sur des substrats hydrophiles selon le principe de la technique de Langmuir-Blodgett. Ce contrôle nous a permis d'étudier l'influence de l'épaisseur des cristaux sur leurs propriétés spectroscopiques. Le second axe de notre recherche concernait l'élaboration de particules à morphologie originale et en particulier d'objets dissymétriques. L'utilisation de différentes techniques impliquant des phénomènes interfaciaux a d'abord été envisagée (interfaces planes puis courbes à l'échelle macroscopique). Nous avons également élaboré de particules organiques-inorganiques grâce à un procédé de polymérisation en émulsion de styrène en présence de particules de silice modifiées en surface. La maîtrise des différents paramètres expérimentaux nous a ainsi permis d'obtenir des objets hybrides aux morphologies originales mais prédictibles et variées, qu'elles soient dissymétriques (± haltère a, ± bonhomme de neige a, ± cœur-écorce décentré a) ou non (± marguerite a, ± multipode a ou ± framboise a). Ces nouveaux types de particules colloïdales pourraient présenter des propriétés innovantes dans de nombreux domaines tels que la catalyse, l'affichage électronique ou la stabilisation de milieux complexes

La composition des systèmes temporisés est source de nombreux problèmes, notamment de blocage. Nous proposons un cadre de description compositionnelle des systèmes temporisés qui préserve la réactivité temprorelle, à savoir que si le système ne peut réagir, alors le temps peut avancer. Nous effectuons d'abord une étude préliminaire sur la spécification des évolutions temporelles dans les systèmes, débouchant sur la définition de mécanismes de description adéquats. Ceci nous permet de définir une classe de modèles temporisés temporellement réactifs, par construction. Nous définissons sur cette classe des opérateurs de choix et de composition parallèle qui préservent cette propriété. En outre, les opérateurs sont définis de sorte à préserver l'activité dans le sens où si à partir d'un état une action est possible dans un composant, alors une action est possible dans la composition. L'opérateur de composition parallèle respecte également la propriété de progrès maximal grâce à l'utilisation d'opérateurs de choix avec priorités qui favorise les synchronisations. Un cadre général est donné pour exprimer différents modes de synchronisation, parmi lesquels on retiendra AND (synchronisation classique), MAX (synchronisation avec attente) et MIN (interruption). Pour terminer, nous développons une approche algébrique pour une sous-classe des modèles considérés.

Les systèmes polygonaux à inclusions différentielles (SPDIs) sont des systèmes planaires non déterministes qui peuvent être représentés par des inclusions différentielles constantes par morceaux. Cette thèse porte sur les aspects théoriques et pratiques des SPDIs tels que le problème de l'atteignabilité et de la construction du portrait de phase. Nous montrons que le problème de l'atteignabilité est décidable pour les SPDIs. Notre procédure est basée sur le calcul des limites des trajectoires individuelles : l'idée sous-jacente est l'utilisation de fonctions de Poincaré unidimensionelles, pour lequelles on peut facilement calculer les points fixes et qui permettent dans la plupart des cas d'accélérer les cycles. Nous avons implanté cet algorithme d'atteignabilité dans l'outil SPeeDI. Ensuite, nous construisons le portrait de phase des SPDIs. Nous savons identifier les noyaux de viabilité des boucles simples. Il s'agit des ensembles de points initiaux de trajectoires restant dans la boucle. Nous introduisons la notion de noyau de controlabilité de boucles simples comme l'ensemble des points atteignables les uns à partir des autres par des trajectoires qui restent dans le noyau. Nous proposons un algorithme non itératif pour calculer ces deux noyaux, qui nous permet ensuite de construire le portrait de phase des SPDIs. Enfin, nous étudions la décidabilité du problème de l'atteignabilité pour d'autres classes de systèmes hybrides à deux dimensions : les systèmes hiérarchiques constants par morceaux (HPCDs) et les systèmes constants par morceaux, définis sur les surfaces. Nous montrons que le problème de l'atteignabilité pour ces deux classes de systèmes est équivalent à l'atteignabilité pour des systèmes affines par morceaux, dont la décidabilité est un problème ouvert. Nous montrons enfin que le problème de l'atteignabilité pour quelques extensions de HPCDs est indécidable.

Document de synthèse des travaux de Recherche. Ces travaux concernent deux domaines en particulier : - Les matériaux ultraporeux type " aérogels " : ce sont principalement les aérigels de silice qui sont étudiés d'un point de vue textural et structural - Les matériaux hybrides organiques-inorganiques, principalement sous forme de couches, au travers de l'évolution de leurs propriétés mécaniques ainsi que leurs applications à l'optique guidée.

L'objectif de ce travail en cotutelle entre l'Université Technique de Sofia et l'Université de Corse, consiste à étudier différentes structures de systèmes hybrides à sources d'énergie renouvelables et ce, dans deux cadres : des processus à variation lente (aspect énergétique) et à variation rapide (aspect électrique). Après une étude bibliographique basée sur une littérature internationale, une étude du potentiel éolien et solaire et de leur complémentarité est réalisée pour différentes stations Bulgares et Corses Les différents modèles de comportement des générateurs du système hybride ont été présentés et validés : photovoltaïque et éolien, puis une analyse des performances d'un système éolien/PV/Stockage et en son dimensionnement optimisé a été réalisé. Le choix du mode de stockage s'est porté sur les Stations de Pompage à Transfert d'Energie (STEP) et l'apport d'un tel stockage sur l'augmentation du taux de pénétration des sources d'énergie renouvelables a été estimé dans le cas du réseau électrique corse. Dans le cadre de l'étude des processus à variation rapide, l'attention a été portée vers les éléments du système hybride dans lesquels intervient une machine asynchrone. Des modèles de machine asynchrone, de convertisseur de tension réversible et de systèmes de contrôle sous différentes configurations ont été développés et validés expérimentalement. Le modèle de simulation a été adapté et mis en oeuvre dans un système microprocesseur dSPACE, qui permet le contrôle des convertisseurs électroniques dans le circuit du rotor de la machine asynchrone à double alimentation en temps réel.

L'objectif du projet, dont le travail présenté dans cette thèse est une partie, était de développer une caméra à rayons X ultra-rapide utilisant des pixels hybrides pour l'imagerie biomédicale et la science des matériaux. La technologie à pixels hybrides permet de répondre aux besoins des ces deux champs de recherche, en particulier en apportant la possibilité de sélectionner l'énergie des rayons X détectés et de les imager à faible dose. Dans cette thèse, nous présentons une caméra ultra-rapide basée sur l'utilisation de circuits intégrés XPAD3-S développés pour le comptage de rayons X. En collaboration avec l'ESRF et SOLEIL, le CPPM a construit trois caméras XPAD3. Deux d'entre elles sont utilisée sur les lignes de faisceau des synchrotrons SOLEIL et ESRF, et le troisième est installé dans le dispositif d'irradiation PIXSCAN II du CPPM. La caméra XPAD3 est un détecteur de rayons X de grande surface composé de huit modules de détection comprenant chacun sept circuits XPAD3-S équipés d'un système d'acquisition de données ultrarapide. Le système de lecture de la caméra est basé sur l'interface PCI Express et sur l'utilisation de circuits programmables FPGA. La caméra permet d'obtenir jusqu'à 240 images/s, le nombre maximum d'images étant limité par la taille de la mémoire RAM du PC d'acquisition. Les performances de ce dispositif ont été caractérisées grâce à plusieurs expériences à haut d'ebit de lecture réalisées dans le système d'irradiation PIXSCAN II. Celles-ci sont décrites dans le dernier chapitre de cette thèse.

Ce travail de thèse s'inscrit dans la problématique de la préparation et l'intégration des matériaux diélectriques poreux à très faible permittivité (ULK) dans les interconnexions des puces microélectroniques. Cette étude porte sur le développement de couches minces hydrophobes ULK à porosité organisée et isolée, préparées par voies sol-gel et PECVD. Elle vise une amélioration des propriétés mécaniques et une diminution de la diffusion de polluants au coeur des films. Des matériaux hydrophobes mésostructurés et ULK (k < 2,2) ont ainsi été obtenus par voie sol-gel, après retrait d'un porogène par traitement thermique, ou pour la première fois, par traitement thermique sous UV. Les caractéristiques mésostructurales et microstructurales des couches ont été reliées aux caractéristiques de porosité et aux propriétés mécaniques. Les mesures électriques et de perméation de gaz de ces matériaux sont également discutées en vue de leurs applications en tant que matériaux ULK ou comme membranes de séparation de gaz. En PECVD, des matériaux polymère plasma à base de styrène ont été synthétisés et également caractérisés en termes de propriétés mécaniques et de séparation de gaz.

Face au défi énergétique actuel, les systèmes hybrides à énergie renouvelable apparaissent comme une solution potentielle pour la production d'électricité. Cependant, de nombreux verrous, comme par exemple le coût, l'intermittence de l'énergie produite ou encore la fiabilité de ces systèmes, empêchent le recours massif à l'utilisation de telles solutions. Afin de les surmonter, des solutions doivent être apportées aux deux problématiques majeures de ces systèmes que sont le dimensionnement optimal et la gestion de l'énergie. Cette thèse propose donc des solutions pour chacune de ces deux thématiques. La première partie de ce mémoire définit ces deux problématiques. Puis, avant de proposer certaines voies d'améliorations, les solutions déjà apportées sont analysées en soulignant leurs intérêts mais aussi leurs limites. La seconde partie détaille la solution apportée pour le dimensionnement optimal, en s'appuyant sur un système composé d'un générateur photovoltaïque (PV), de batteries et d'une pile à combustible (PàC). La solution repose sur l'utilisation d'une fonction de coût, d'un modèle énergétique permettant d'évaluer les contraintes subies par les composants et d'un algorithme génétique pour l'optimisation. A partir de deux cas d'études, les résultats d'optimisation sont donnés et l'intérêt du couplage PV-PàC est analysé. Les deux dernières parties présentent l'application du principe des systèmes multi-agents (SMA) pour la gestion d'énergie d'un système multi-sources. Le chapitre 3 expose l'intérêt de cette méthode et détaille sa mise en oeuvre. Ensuite, la création d'un modèle de simulation du système permet de valider le principe imaginé. Enfin, le dernier chapitre présente les résultats expérimentaux obtenus à partir d'un système composé de super-condensateurs, d'une batterie, d'un PV et du réseau. Pour la première fois, ces résultats montrent expérimentalement le fonctionnement d'un SMA pour la gestion d'énergie.

Les énergies et plus particulièrement les énergies renouvelables sont un des éléments clés du développement soutenable aujourd'hui en plein expansion. Cette problématique est encore plus sensible dans les régions insulaires. Le chapitre 17 de l'Agenda 21 (Conférence de Rio, 1992) stipule que les îles sont des cas particuliers à la fois d'un point de vue environnemental et de leur développement. Elles ont des problèmes spécifiques et sont extrêmement fragiles et vulnérables. Dans le contexte actuel du développement durable, l'énergie est la pierre angulaire de leur stratégie de planification. En milieu insulaire, les contraintes habituelles dans le domaine de l'énergie sont la distance aux réseaux principaux, la petite échelle, les difficultés de distribution et l'absence de grands marchés traditionnels. Ces contraintes sont en général contrebalancées par l'extrême abondance des sources renouvelables d'énergie et l'incroyable adaptabilité et capacité d'intégration des technologies d'énergies renouvelables. Des facteurs qui tranchent avec l'inefficacité et le coût élevé des systèmes à énergie conventionnelle dans ces régions insulaires. En fait, nous pourrions dire que les îles doivent devenir de véritables laboratoires pour l'avenir des énergies " durables " Dans le document final rédigé à la fin de la première conférence sur le développement durable des îles (Minorca, 1997), nous pouvons lire : " les sources d'énergie non-renouvelables doivent être considérées comme des solutions provisoires, non souhaitables comme solution à long terme au problème énergétique des îles. ". C'est dans ce contexte que s'inscrivent les activités de recherches que nous avons réalisées depuis notre recrutement sur un poste de Maitre de Conférences en Septembre 1996, à l'Université de Corse. Elles concernent, en grande partie, l'intégration des sources renouvelables (solaire photovoltaïque et éolien) dans les réseaux électriques insulaires, avec comme champ d'application, la Corse. La démarche développée consiste à étudier le système énergétique globalement : en effet, un système solaire ou éolien n'est pas seulement tributaire de sa fiabilité technique et des performances individuelles de ses composants, il dépend de l'agencement des différents composants, de la stratégie de fonctionnement des divers sous-systèmes et de son dimensionnement. De plus, il est dépendant, par nature, des rythmes et aléas de son approvisionnement en énergie. Nous avons donc mis en œuvre une méthodologie globale du système prenant en compte tous les particularismes liés à l'utilisation des sources renouvelables d'énergie. La problématique générale posée par les systèmes utilisant une source renouvelable d'énergie d'origine phénomène (vent, soleil) est la suivante : comment utiliser au mieux un flux énergétique (éclairement solaire, vitesse de vent) fortement dépendant du temps et de l'espace pour répondre à une demande énergétique présente généralement sous une autre forme, elle aussi aléatoire dans le temps ? La particularité des chaînes de conversion solaire ou éolienne, comme celle de tout système à intrant énergétique d'origine phénomène provient du caractère aléatoire de la source du fait des variations météorologiques non prévisibles. Ainsi, même pour un système parfaitement connu d'un point de vue mathématique et technique, certaines grandeurs telles que rendement, efficacité ou productivité restent liées aux fluctuations spatio-temporelles de la source mais également de la charge. C'est donc pour cette raison que la connaissance et la caractérisation de la source énergétique doivent être étudiées de manière très précise. L'extrant énergétique (la consommation) est lié quant à lui aux besoins de l'utilisateur et/ou aux caractéristiques du réseau de distribution d'énergie. C'est pour cette raison, que la première partie de mes travaux se concentre sur la connaissance et la caractérisation de la source énergétique qu'elle soit solaire ou éolienne. Ainsi, nos principales activités de recherches portent sur : - l'étude des ressources énergétiques : absolument nécessaire pour les raisons exposées précédemment : étude statistique, développement de corrélation et de modèle, interprétation physique des phénomènes. - la production d'énergie à grande échelle à partir de sources renouvelables : très souvent, il s'agit de systèmes directement connectés au réseau de distribution. Cette production pose des problèmes du fait de sa forte variabilité qui perturbe le fonctionnement du réseau de distribution. Il faut donc étudier les interactions dynamiques inévitables entre l'offre et la demande, et analyser l'intervention de plusieurs facteurs tels que : centralisation ou distribution des systèmes de production, stockage d'énergie, taille du réseau, .... pour préserver la stabilité du réseau au fur et à mesure de l'augmentation de la capacité installée. - les systèmes de production multisources (appelés hybrides) : il s'agit de systèmes d'approvisionnement en électricité, la plupart du temps pour l'alimentation des sites isolés (mais dont l'application en mode connexion réseau électrique est également envisagée) couplant divers types de productions telles que éolienne, photovoltaïque et autres. Ils permettent une fourniture d'électricité plus fiable et moins coûteuse. Devant la complexité de ces systèmes, il convient de développer des méthodes de dimensionnement intégrant une optimisation de la gestion de l'énergie et une étude de coût optimal de production. Nous contribuons également aux activités de recherches portés par les membres de l'équipe. Elles concernent plusieurs domaine comme : - le diagnostic des systèmes de production [6.7.2.5 ; 6.7.2.10] : étant donnés la complexité des systèmes et le nombre important des paramètres qui entrent dans leur fonctionnement, un automaticien a rejoint notre équipe et développe des méthodologies de diagnostic des systèmes complexes qu'il applique à nos systèmes. - le développement de capteurs solaires innovants [6.7.1.3 ; 6.7.1.17 ; 6.7.1.19 ; 6.7.12.. 6.7.2.1. ; 6.7.2.2 ; 6.7.2.3. ; 6.7.2.8. ; 6.7.2.11. ; 6.7.2.17 ; 6.7.2.35 ; 6.7.2.36] (thermique et/ou photovoltaïque) : dans ce domaine, l'équipe a développé un capteur à air autonome, un capteur solaire en matériau composite et travaille actuellement sur un volet solaire à haute intégration dans l'habitat et sur un capteur hybride de production simultanée de chaleur et d'électricité. Dans un premier temps, nous présenterons donc les travaux relatifs à l'estimation et à l'analyse de la ressource énergétique que sont le rayonnement solaire et les vitesses de vent. Cette partie est un élément clé de l'analyse du comportement, de l'optimisation des systèmes de production d'énergie à sources renouvelables d'énergie. Il est en effet indispensable de mettre en place des caractérisations stochastiques du fait même de l'aspect aléatoire et non déterministe de cette ressource. La deuxième partie traite de la problématique de la connexion de systèmes énergétiques sur le réseau électrique insulaire, et les outils que nous avons mis en place afin d'analyser l'opportunité de l'intégration de fermes éoliennes ou de systèmes photovoltaïques sur les réseaux électriques, et plus particulièrement ceux non-interconnectés comme les réseaux insulaires. Cette thématique, nous a naturellement amené à étudier le couplage à d'autres sources d'énergie (et/ou de stockage) afin de réduire l'influence de l'aspect intermittent et non contrôlable de ces sources d'énergie. Le but des travaux entrepris sur ces systèmes n'est pas de rendre compte de l'évolution précise des paramètres entrant dans son fonctionnement tels que la tension, l'intensité, mais à partir de variables purement énergétiques (et non électriques) de dimensionner les différents sous-systèmes et de choisir la meilleure stratégie de fonctionnement pour chaque sous-système. Dans ce cadre, la modélisation physique globale utilisée permet de décrire le comportement de chaque sous système, puis on adjoint une étude de coût de production pour finaliser l'optimisation