La surveillance en-ligne d'un système industriel a pour objectifs de détecter tout dysfonctionnement du procédé, de localiser le ou les éléments défaillants et de déterminer la ou les causes de défaillances. Ces informations sur l'état du système peuvent alors être transmises aux opérateurs qui peuvent agir en conséquence et/ou être utilisées pour modifier, reconfigurer la commande voire le système lui-même ou sa mission. Dans ce mémoire, je présente une synthèse scientifique de mes contributions dans ce vaste domaine de recherche. <br />Toutes les méthodes de surveillance reposent sur la redondance d'information disponible sur le système. L'approche dite « à base de modèle » consiste à vérifier la cohérence des mesures effectuées en-ligne sur l'installation avec un modèle comportemental de celle-ci sous certaines hypothèses de fonctionnement. La première étape consiste à générer un ensemble de signaux indicateurs appelés communément « résidus ». Deux catégories de méthodes sont classiquement utilisées pour générer ces résidus : la méthode à base de Relations de Redondance Analytique et les méthodes à base d'observateurs. Ces méthodes, qui ont été récemment étendues au cas des modèles non-linéaires, présentent chacune des avantages et des inconvénients suivant le type de système (de modèle) considéré et les contraintes imposées pour l'implémentation des algorithmes. Ces travaux, initialement destinés à la surveillance des systèmes continus (ou discrétisés) ont été récemment adaptés et complétés pour traiter le problème de la surveillance des Systèmes Dynamiques Hybrides. Lorsque le système considéré est complexe, c'est à dire lorsque les éléments physiques ou composants qui le constituent sont nombreux, un pré-traitement structurel du modèle peut permettre de déterminer les conditions nécessaires de « surveillabilité » du système. L'analyse structurelle est un outil puissant qui ne nécessite pas la connaissance explicite des équations du modèle. Elle permet cependant de déterminer les sous-systèmes sur lesquels des algorithmes plus sophistiqués de surveillance peuvent être implantés.<br />La surveillance n'est qu'un module d'un processus complet permettant à une installation de fonctionner en respectant des critères de sécurité, de productivité et de qualité même en présence de défaillance. La commande du système peut être conçue de manière à utiliser les informations fournies par le module de surveillance. On parle alors de « commande tolérante aux défaillances »<br />Une réflexion sur les perspectives de recherche est exposée tout au long du manuscrit suivant le thème traité. Ces perspectives sont complétées à la fin du document par quelques orientations de recherche plus générales.

L'avancée technologique que les systèmes embarqués ont connue lors de ces dernières années les rend de plus en plus complexes. Ils sont non seulement responsables de la commande des différents composants mais aussi de leur surveillance. A l'occurrence d'événement pouvant mettre en danger la vie des utilisateurs, une certaine configuration du système est exécutée afin de maintenir le système dans un état dégradé mais sûr. Il est possible que la configuration échoue conduisant le système dans un état appelé " état redouté " avec des conséquences dramatiques pour le système et l'utilisateur. La description des scénarios qui mènent le système vers l'état redouté à partir d'un état de fonctionnement 'normal' permet de comprendre les raisons de la dérive afin de prévoir les configurations nécessaires qui permettent de les éviter Dans notre approche d'analyse de sûreté de fonctionnement des systèmes dynamiques, les scénarios sont générés à partir d'un modèle réseau de Petri. En s'appuyant sur la logique linéaire comme nouvelle représentation (basée sur les causalités) du modèle réseau de Petri, une analyse qualitative permet de déterminer un ordre partiel de franchissement des transitions et ainsi extraire les scénarios redoutés. La démarche est focalisée sur les parties du modèle intéressantes pour l'analyse de fiabilité évitant ainsi l'exploration de toutes les parties du système et le problème de l'explosion combinatoire. L'objectif final consiste en la détermination de scénarios minimaux. En effet, un scénario peut bien mener vers l'état redouté sans qu'il soit minimal. Il contient des événements qui ne sont pas strictement nécessaires à l'obtention finale de l'état critique redouté. De même que la notion de coupe minimale a été définie dans le cadre des arbres de défaillance, nous proposons une définition de ce qu'est un scénario minimal dans le cas des réseaux de Petri. Pour prendre en compte La nature hybride des systèmes, nous avons développé un simulateur hybride basé sur le couplage de l'algorithme de génération de scénarios redoutés avec un solveur d'équations différentielles. L'algorithme se charge de la partie discrète modélisée par le réseau de Petri et le solveur d'équations de la partie continue modélisée par un ensemble d'équations différentielles. Afin d'avoir une approche système pour l'analyse de la sûreté de fonctionnement, nous proposons une approche qui permet de prendre en compte les exigences de sûreté dans le processus d'ingénierie des exigences qui permet d'établir un modèle de traçabilité afin de s'assurer de la prise en compte de ces exigences tout au long du cycle de vie du système. L'approche est basée sur une norme de l'ingénierie système, en l'occurrence l'EIA-632.

La synthèse de colloïdes dont les propriétés peuvent être ajustées par modification de l'organisation spatiale de leurs constituants permet d'envisager la formation de matériaux uniques et révolutionnaires. Au cours de ce travail, nous nous sommes intéressés à la fabrication de particules hybrides constituées d'un coeur de silice décoré en surface par des latex de polystyrène élaborés in situ par un procédé original de polymérisation en émulsion.<br />Le contrôle du nombre et de la taille des nodules organiques en croissance peut être réalisé via l'ajustement de certains paramètres expérimentaux tels que les caractéristiques physicochimiques de la silice et/ou de la réaction de polymérisation en émulsion. Des colloïdes remarquables par leurs formes (polyèdres réguliers) et par leurs tailles (quelques centaines de nanomètres) ont été obtenus.<br />Nous avons également synthétisé des nanoparticules dissymétriques ou « Janus », en référence au dieu romain à deux visages. Nous avons pour cela développé deux voies de synthèse, basées sur le masquage partiel d'un des hémisphères de particules minérales suivi d'une étape de fonctionnalisation de surface régiosélective. Ainsi, des dimères hybrides silice/polystyrène, où le nodule polymère sert de masque temporaire du coeur minéral, se sont avérés de bons candidats dans la réalisation de particules « Janus ». Nous avons également exploité une interface liquide/liquide (émulsions de Pickering) pour générer ce type d'objets.<br />L'étude des propriétés de ces colloïdes en vue de diverses applications telles que la réalisation de cristaux colloïdaux ou de nanostructures multifonctionnelles complexes a été abordée.

Ce travail de thèse porte sur la synthèse de matériaux hybrides organiques-inorganiques obtenus par greffage contrôlé d'oligomères ou de polymères pi-conjugués, à base de thiophène ou d'aniline, sur la surface de nanocristaux de semi-conducteurs II-VI, et plus précisément sur du CdSe. <br />La réaction de greffage est assurée par une fonction d'ancrage, de type carbodithioate, présente sur les ligands et ayant une grande affinité pour la surface des nanocristaux. On distingue deux méthodes de greffage : une voie directe par simple échange de ligands et une voie indirecte comprenant une étape de post-fonctionnalisation de nanocristaux enrobés par des ligands bi-fonctionnels, en l'occurrence par le 4-formyldithiobenzoate. Cette dernière méthode est très générale et permet en outre de co-déposer un mélange nanocristaux / oligomère et d'effectuer la réaction de couplage en phase solide en chauffant.<br />De manière générale, les propriétés électrochimiques des nanocristaux et des ligands greffés sont principalement conservées et les études spectroélectrochimiques démontrent que le mécanisme de dopage des ligands conjugués greffés reste inchangé en présence du nanocristal. <br />La position des niveaux énergétiques des ligands, par exemple du tétramère d'aniline, par rapport au nanocristal est telle qu'une séparation des charges est possible après une excitation, ce qui est confirmé par la diminution forte de la photoluminescence. Des études de photoluminescence résolue dans le temps montrent une corrélation directe entre la longueur de conjugaison des ligands et l'efficacité du transfert. Dans le cas du tétramère d'aniline, plus aucun signal n'est mesurable. Mais le transfert de charges dans le cas du thiophènedithiobenzoate est également très efficace. Les premières mesures de photocourant sont également prometteuses. Les matériaux développés, qui peuvent être préparés de manière contrôlée et variée, possèdent un potentiel d'application dans les cellules photovoltaïques.

Motion capture is the process to record the movement of a human. To accomplish this, a hybrid tracking system is used. It combines an optic tracking system with a magnetic one to compensate shortcomings and effectively use their advantages. Another part of this work copes with the conversion of the tracking data into skeletal information and related topics like skeleton definition, skeleton fitting or parameterization of joint rotations. / Mittels Motion Capture werden die Bewegungen eines Menschen in computerlesbare Form überführt. Dazu wird ein hybrides Trackingsystem verwendet, das durch Kombination eines optischen mit einem magnetischen System entsteht und die Schwächen der Einzelsysteme kompensiert. Neben der Realisierung dieses Hybridsystems steht die Übertragung der gewonnenen Bewegungsdaten auf ein Skelettmodell und damit verbundene Fragen, wie Skelettdefinition, Skelettanpassung oder Beschränkung der Gelenkrotationen im Vordergrund.

Le procédé sol-gel permet la réalisation de matériaux optiquement performants et la possibilité d'intégrer diverses molécules dans ces systèmes ouvre les portes à des applications dans de nombreux domaines. Nous nous sommes intéressés en particulier à la réalisation de matériaux sol-gel monolithiques, fortement dopés avec des molécules actives, dans le cadre de la réalisation de limiteurs optiques performants dans le visible et dans l'infrarouge.La mise au point de procédés et de matrices sol-gel compatibles avec divers types de chromophores a tout d'abord été effectuée. Une investigation des paramètres expérimentaux et de la nature des précurseurs influençant la microstructure des matériaux a été réalisée, ainsi que la mise au point de méthodes de gélification accélérée capables de piéger efficacement les chromophores dans les matrices sol-gel même à de très hautes concentrations.Le dopage des matrices obtenues avec différents chromophores pour la limitation optique dans le visible et dans l'infrarouge s'en est suivi, avec une étude de l'impact des matrices sur les propriétés optiques des dopants. L'évaluation des performances en limitation a révélé les performances exceptionnelles des systèmes étudiés dans le visible, et des résultats prometteurs pour l'infrarouge.Enfin, la synthèse de nanoparticules d'or isotropes et anisotropes et leur incorporation dans les matériaux préparés a permis de mettre en évidence des effets d'exaltation importants sur les propriétés non-linéaires des chromophores au sein des matrices sol-gel et permettent d'améliorer les performances en limitation de manière considérable.

Cette thèse porte sur les techniques d'analyse formelle de systèmes hybrides à dynamiques continues non linéaire. Ses contributions portent sur les algorithmes d'atteignabilité et sur les problèmatiques liées à la representation des ensembles atteignables. This thesis deals with formal analysis of hybrid system with non linear continous dynamic. It contributes to the fields of reachability analysis algorithm and the set representation.

Nous avions pour objectif de mettre au point une voie permettant la synthèse de diaryléthers par catalyse au cuivre en utilisant des ligands immobilisés sur des matériaux silylés organiques-inorganiques élaborés par voie sol-gel. L'intérêt de ces systèmes hétérogènes réside dans le fait qu'ils sont recyclables et réutilisables, moins polluants et moins toxiques grâce à leur grande capacité de piégeage du catalyseur métallique. Ce point est particulièrement important pour une utilisation des diaryléthers obtenus en industrie pharmaceutique. Nous sommes parvenus à synthétiser par voie sol-gel des matériaux incorporant des ligands de type bipyridine ou β-dicarbonyle. Ces matériaux ont été ensuite appliqués en arylation des phénols par des iodures et bromures d'aryles catalysée au cuivre. Les nouveaux catalyseurs hétérogènes ont permis d'obtenir de bonnes performances en arylation de nucléophiles oxygénés et aussi en termes de récupération et de réutilisation. Par ailleurs, les produits diaryléthers obtenus ne sont pas pollués par des traces de cuivre. La méthode que nous avons mise au point s'avère donc particulièrement compétitive en termes de coût, de pollution et de toxicité résiduelle. Elle constitue à notre connaissance le premier exemple de ligand supporté sur silice par voie sol-gel appliqué en arylation de phénols catalysée au cuivre.

Les organisations hybrides (ex.: entreprises sociales) sont en tension permanente entre une logique sociale et commerciale. Battilana et Dorado (2010) disent qu'une identité organisationnelle homogène permet de réduire ces tensions et ces conflits identitaires. Notre recherche montre que la mise en place d'un outil de mesure de la performance permet de diminuer les tensions et les conflits identitaires. A partir de l'approche par les pratiques (Ahrens, Chapman, 2007), nous avons mené une étude qualitative de cas en profondeur de l'entreprise d'insertion ARES. Nous avons étudié l'installation d'un système de mesure de la performance sociale, de 1991 à 2013. Nos résultats montrent que la diminution des aides publiques contraint les organisations hybrides à importer progressivement des outils traditionnels de gestion. Cette standardisation de mesure de la performance sociale (tableaux de bord, indicateurs et une division des tâches adaptée), permet aux salariés de ARES d'atteindre leurs objectifs d'insertion professionnelle et de réduire ainsi leurs conflits identitaires. Notre thèse contribue d'une part, à une meilleure compréhension du processus d'identité organisationnelle homogène dans les organisations hybrides. D'autre part, notre recherche contribue en contrôle de gestion, en montrant comment l'hybridation de logiques permet un meilleur alignement entre stratégie et outils de mesure de la performance.

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.