La thèse s’intéresse à l’étude du fonctionnement d’un système industriel. Il s’agit de proposer et de développer un nouveau modèle pour modéliser la dégradation accumulative d’un système. Le processus gamma standard est fréquemment utilisé pour étudier l’évolution de la détérioration d’un système. Toutefois, ce processus peut s’avérer inadapté pour décrire le phénomène de dégradation car le rapport variance sur moyenne est constant dans le temps, ce qui est relativement restrictif en pratique. Afin de surmonter cette restriction, nous proposons d’utiliser un processus gamma étendu introduit par Cinlar (1980), qui ne souffre plus de cette restriction. Mais ce dernier présente quelques difficultés techniques. A titre d’exemple, la loi d’un processus gamma étendu n’est pas connue sous une forme explicite. Ces difficultés techniques ont conduit Guida et al. (2012) à utiliser une version discrète d’un processus gamma étendu. Nous travaillons ici avec la version originale d’un processus gamma étendu en temps continu. Le but de ce mémoire est de développer des méthodes numériques permettant de quantifier les quantités fiabilistes associées et de développer des méthodes statistiques d’estimation des paramètres du modèle. Aussi, une autre partie de ce travail consiste à proposer une politique de maintenance dans le contexte d’un processus gamma étendu. / This thesis is dedicated to study the functioning of an industrial system. It is about proposing and developing a new model for modelling the accumulative degradation of a system. The standard gamma process is widely used to model the evolution of the system degradation. A notable restriction of a standard gamma process is that its variance-to-mean ratio is constant over time. This may be restrictive within an applicative context. To overcome this drawback, we propose to use an extended gamma process, which was introduced by Cinlar (1980). However, there is a cost and the use of an extended gamma process presents some technical difficulties. For example, there is no explicit formula for the probability distribution of an extended gamma process. These technical difficulties have lead Guida et al. (2012) to use a discrete version of an extended gamma process. We here propose to deal with the original continuous time version. The aim of this work is to develop numerical methods in order to compute the related reliability function and to develop statistical methods to estimate the parameters of the model. Also, another part of this work consists of proposing a maintenance policy within the context of an extended gamma process.

Cette thèse vise principalement à faire face à la fiabilité de stockage de STT-MRAM au niveau dispositif, au niveau circuit et au niveau système. Les majeures contributions de cette thèse peuvent être résumées comme il suit: a) La modélisation de la jonction tunnel magnétique par courant polarisé en spin (STT-MTJ), pour développer un compact modèle SPICE de STT-MTJ. b) Le design de fiabilité de STT-MRAM au niveau dispositif, pour étudier les structures de base de cellule de mémoire et de cellules de référence. Dans cette partie, nous avons proposé une cellule de mémoire configurable (CMC), une cellule dynamique de référence (RDC) et un loquet magnétique de rayonnement durci (RHM-Latch). c) Le design de fiabilité de STT-MRAM au niveau circuit, pour étudier les modules de circuits périphériques. Dans cette partie, nous avons proposé un circuit de lecture séparé et précharge (SPCRC), un circuit de lecture offset-Tolérant sans perturbation (OTDFRC) et un circuit de correction d'erreur intégré. d) Le design de fiabilité de STT-MRAM au niveau système, vise principalement à étudier l'architecture de la puce. Dans cette partie, nous avons proposé une architecture reconfigurable (nommé Re-STT-MRAM) et une architecture de correction d'erreur hybride (nommé cRR-SECC). / This thesis aims mainly to deal with the storage reliability of STT-MRAM from device-Level, circuit-Level and system-Level perspectives. The major contributions of this thesis can be summarized as follows: a) Spin transfer torque magnetic tunnel junction (STT-MTJ) modeling, to develop a compact SPICE model of STT-MTJ.b) Device-Level reliability design of STT-MRAM, to study the basic memory cell and reference cell structures. We proposed a configurable memory cell (CMC), a dynamic reference cell (DRC) and a radiation hardened magnetic latch (RHM-Latch) in this part.c) Circuit-Level reliability design of STT-MRAM, to study the peripheral circuit modules. We proposed a separated pre-Charge read circuit (SPCRC), an offset-Tolerant disturbance-Free read circuit (OTDFRC) and a built-In error correction circuit in this part.d) System-Level reliability design of STT-MRAM, aims mainly to study the chip architecture. We proposed a reconfigurable architecture and a hybrid error correction architecture in this part.

Le problème du dénombrement d’un grand nombre de très petits objets en mouvement dans les vidéos est un contexte applicatif jusqu’à présent peu étudié.Dans ce cadre, la difficulté réside essentiellement dans le fait qu’en raison de leurs très petites tailles apparentes dans la vidéo, il n’est pas possible de définir un modèle géométrique fiable de ces objets. Or, les travaux existants dans le domaine de la détection d’objets dans des vidéo, utilisent souvent un tel modèle géométrique des objets d’intérêt. Les méthodes de détection existantes ne sont de ce fait pas applicables directement dans le cadre de la détection de tels très petits objets. Dans le cadre de cette thèse, il est proposé une méthodologie complète permettant la détection de nombreux petits objets, avec un cadre applicatif visant plus particulièrement la détection et le comptage d’oiseaux migrateurs dans une vidéo. Le principe innovant, proposé en tant qu’une solution de ce problème, consiste à associer des coefficients de fiabilité de détection aux objets pour les dénombrer tout en évitant de prendre en compte de trop nombreuses fausses détections. Un algorithme hiérarchique analysant l’aspect spatio-temporel d’objets (leurs apparence et l’évolution dans le temps) dans une vidéo à l’aide de méthodes de traitement d’images, de statistique et de la logique floue est ainsi proposé. Le but des coefficients de fiabilité est d’estimer la probabilité que les paramètres d’une détection correspondent aux paramètres attendus pour les objets d’intérêt. Finalement, l’ensemble des coefficients est converti en une valeur qui évalue la séquence du traitement d’un objet. La somme de ces valeurs correspond au nombre d’objets d’intérêt dans une vidéo. Les résultats obtenus montrent que les bonnes détections sont pour la plupart comprises dans le dénombrement avec des coefficients de fiabilité égaux ou proche de 1, et où les fausses détections sont supprimées ou sous-pondérés avec des coefficients de fiabilité plus faible. Les résultats de comptage dans des vidéos contenant de très nombreux oiseaux sont proches de la vérité terrain, ce qui prouve la validité de la solution proposée comme un moyen de dénombrement automatique d’objets dans des vidéos. / The problem of counting of big volumes of very small moving objects in videos is a domain, which was not studied to date. The difficulty of this application consists essentially in the fact, that because of very small sizes of objects, apparent in the videos, it is impossible to define a reliable geometric model of these objects. The researches, existing in the domain of object detection in videos frequently use a geometrical model of objects of interest.For this reason, the existing methods of object detection cannot be applied for the detection of very small objects in the study case. This thesis proposes a complete methodology, allowing the detection of very small objects in videos, and designed particularly the detection and counting of migrating birds in videos. An innovative principle and the solution of this problem consist in association of coefficients of detection reliability to the objects, in order to count them, avoiding counting of many false detections. The solution proposes a hierarchical algorithm, which analyses the spatial and temporal aspects of objects (their appearance and evolution in time) in a video, by the means of methods of image processing, statistics, and fuzzy logic. The aim of the reliability coefficients is to estimate the probability, that the parameters of a detected objects conform to the expected parameters of the objects of interest. Finally, the coefficients are put together and converted into a value, which evaluates the sequence of processing, applied to detect an object. The sum of these values corresponds to the number of the objects of interest in a video. The results show, that the most of correct detections are characterized in the counting by the reliability coefficient equal or close to 1. The results show, that the most of correct detections have their reliability coefficients close to 1, and the false detection are deleted or have low reliability coefficients. The counting results in the videos with numerous groups of migrating birds are close to the ground trough. This validates the proposed solution as a method of automatic counting of objects in videos.

L'homme reste l'un des éléments essentiels des opérations de transport modernes. Les méthodes d'analyse de la fiabilité humaine (HRA) fournissent une approche multidisciplinaire pour évaluer l'interaction entre les humains et le système. Cette thèse propose une nouvelle méthodologie HRA appelée PRELUDE (Performance shaping factor based human REliability assessment using vaLUation-baseD systems). Les facteurs de performance sont utilisés pour caractériser un contexte opérationnel dangereux. Le cadre de la théorie des fonctions de croyance et des systèmes d'évaluation (VBS) utilise des règles mathématiques pour formaliser l'utilisation de données d'experts et la construction d'un modèle de fiabilité humaine, il est capable de représenter toutes sortes d'incertitudes. Pour prédire la probabilité d'erreur humaine dans un contexte donné, et de fournir une remontée formelle pour réduire cette probabilité. La deuxième partie de ce travail démontre la faisabilité de PRELUDE avec des données empiriques. Un protocole pour obtenir des données à partir de simulateurs, et une méthode de transformation et d'analyse des données sont présentés. Une campagne expérimentale sur simulateur est menée pour illustrer la proposition. Ainsi, PRELUDE est en mesure d'intégrer des données provenant de sources (empiriques et expertes) et de types (objectifs et subjectifs) différents. Cette thèse aborde donc le problème de l'analyse des erreurs humaines, en tenant compte de l'évolution du domaine des méthodes HRA. Elle garde la facilité d'utilisation de l'industrie ferroviaire, fournissant des résultats qui peuvent facilement être intégrés avec les analyses de risques traditionnelles. Dans un monde de plus en plus complexe et exigeant, PRELUDE fournira aux opérateurs ferroviaires et aux autorités réglementaires une méthode permettant de s'assurer que le risque lié à l'interaction humaine est compris et géré de manière appropriée dans son contexte. / Humans are and remain one of the critical constituents of modern transport operations. Human Reliability Analysis (HRA) methods provide a multi-disciplinary approach: systems engineering and cognitive science methods to evaluate the interaction between humans and the system. This thesis proposes a novel HRA methodology acronymed PRELUDE (Performance shaping factor based human REliability assessment using vaLUation-baseD systEms). Performance shaping factors (PSFs) are used to characterize a dangerous operational context. The proposed framework of Valuation-based System (VBS) and belief functions theory (BFT) uses mathematical rules to formalize the use of expert data and construction of a human reliability model capable of representing all kinds of uncertainty. PRELUDE is able to predict the human error probability given a context, and also provide a formal feedback to reduce the said probability. The second part of this work demonstrates the feasibility of PRELUDE with empirical data from simulators. A protocol to obtain data, a transformation and data analysis method is presented. An experimental simulator campaign is carried out to illustrate the proposition. Thus, PRELUDE is able to integrate data from multiple sources (empirical and expert) and types (objective and subjective). This thesis, hence address the problem of human error analysis, taking into account the evolution of the HRA domain over the years by proposing a novel HRA methodology. It also keeps the rail industry’s usability in mind, providing a quantitative results which can easily be integrated with traditional risk analyses. In an increasingly complex and demanding world, PRELUDE will provide rail operators and regulatory authorities a method to ensure human interaction-related risk is understood and managed appropriately in its context.

Ce travail porte sur l'analyse d'images numériques biologiques. Il vise à définir et mettre en œuvre des processus de mesures automatiques de données biologiques à partir d'images numériques dans un cadre de traitement de masse, et aborde notamment : l'incidence des choix méthodologiques sur la stabilité des résultats, l'étude de la validation des mesures produites et les limites de la généricité des méthodes et modèles appliquées à la biologie végétale.La réflexion est menée dans le cadre de l'étude de certaines organisations cellulaires, et plus particulièrement de l'identification et l'analyse automatique de files cellulaires dans des mosaïques d'images microscopiques de bois. En effet, l'étude des tendances biologiques le long de ces structures est nécessaire pour comprendre la mise en place des différentes organisations et maturations de cellule. Elle ne peut être conduite qu'à partir d'une grande zone d'observation du plan ligneux. Pour cela,- nous avons mis en place un nouveau protocole de préparation (rondelles de bois poncées) et de numérisation des échantillons permettant d'acquérir entièrement la zone d'observation sans biais- nous avons développé une chaîne de traitement permettant l'extraction automatique des files cellulaires dans des mosaïques images numériques.- nous avons proposé des indices de fiabilité pour chaque mesure effectuée afin de mieux cibler les études statistiques à venir.Les méthodes développées dans la thèse permettent l'acquisition et le traitement rapide d'un volume important de données. Ces données devraient servir de base à de nombreuses investigations : des analyses architecturales des arbres avec le suivi de file cellulaire et/ou la détection de perturbations biologiques, des analyses de variabilité intra et inter arbres permettant de mieux comprendre la croissance endogène des arbres. / This study focuses on biological numeric picture processes. It aims to define and implement new automated measurements at large scale analysis. Moreover, this thesis addresses: The incidence of the proposed methodology on the results reliability measurements accuracy definition and analysis proposed approaches reproducibility limits when applied to plant biology.This work is part of cells organization study, and aims to automatically identify and analyze the cell lines in microscopic mosaic wood slice pictures. Indeed, the study of biological tendencies among the cells lines is necessary to understand the cell migration and organization. Such a study can only be realized from a huge zone of observation of wood plane. To this end, this work proposes:- a new protocol of preparation (slices of sanded wood) and of digitizing of samples, in order to acquire the entire zone of observation without bias,- a novel processing chain that permit the automated cell lines extraction in numeric mosaic pictures,- reliability indexes for each measurement for further efficient statistical analysis.The methods developed during this thesis enable to acquire and treat rapidly an important volume of information. Those data define the basis of numerous investigations, such as tree architectural analysis cell lines following and/or detection of biological perturbations. And it finally helps the analysis of the variability intra- or inter- trees, in order to better understand the tree endogenous growth.

Le fonctionnement de la pile à combustible (PAC) de type PEM (à membrane polymère) est encore soumis à de nombreuses incertitudes, aux natures différentes, qui affectent ses performances électriques, sa fiabilité et sa durée de vie. L'objectif général de cette thèse est de proposer une méthode d'aide à l'évaluation de la fiabilité des PAC par la simulation ; la fiabilité étant vue ici comme la garantie d’accéder à un niveau de performance électrique donné dans les différentes conditions d’usage envisagées pour la PAC. La démarche proposée s’appuie sur un couplage physico-fiabiliste où la complexité des phénomènes physiques présents dans la pile est prise en compte par une modélisation de connaissance, dynamique, symbolique et acausale, développée dans l’environnement Modelica - Dymola. La modélisation retenue, monodimensionnelle, non isotherme inclut une représentation diphasique des écoulements fluidiques pour mieux retranscrire la complexité des échanges d’eau dans le coeur de la pile PEM. La modélisation permet aussi d’intégrer des incertitudes sur certains de ses paramètres physiques et semi-empiriques (classés en trois catégories : opératoires, intrinsèques et semi-empiriques) puis d’entreprendre, par des tirages de Monte-Carlo, la modélisation probabiliste des conséquences des incertitudes injectées sur la performance d’une PAC. Il est ainsi possible, par la suite, d’estimer la fiabilité d’une PAC par le calcul de la probabilité que la performance électrique reste supérieure à un seuil minimal à définir en fonction de l’application. Une analyse physico-fiabiliste détaillée a été menée en introduisant à titre d’exemple une incertitude sur la valeur de la porosité de la couche de diffusion cathodique d’une PAC de type PEM (coefficients de variation retenus : 1%, 5% et 10%). L’étude des conséquences de cette incertitude sur la tension et l’impédance d’une PAC a été menée en réalisant un plan d’expériences numériques et en mettant en oeuvre différents outils d’analyse statistique : graphes des effets, analyses de la variance, graphes des coefficients de variation des distributions en entrée et sortie du modèle déterministe. Dans cet exemple d’analyse et dans les conditions d’usages considérées, le taux de fiabilité prévisionnel (probabilité pour que la cellule de pile fournisse un minimum de tension de 0.68V) a été estimé à 91% avec un coefficient de variation d’entrée à 10%. / The Proton Exchange Membrane Fuel Cell (PEMFC) operation is subject to inherent uncertainty in various material, design and control parameters, which leads to performance variability and impacts the cell reliability. Some inaccuracies in the building process of the fuel cell (in the realization of the cell components and also during the assembly of the complete fuel cell stack), some fluctuations in the controls of the operating parameters (e.g. cell and gas temperatures, gas pressures, flows and relative humidity rates) affect the electrical performance of the cell (i.e. cell voltage) as well as its reliability and durability. For a given application, the selections of the different materials used in the various components of the electrochemical cell, the choices in the cell design (geometrical characteristics / sizes of the cell components) correspond to tradeoffs between maximal electrical performances, minimal fuel consumption, high lifespan and reliability targets, and minimal costs.In this PhD thesis, a novel method is proposed to help evaluating the reliability of a PEMFC stack. The aim is to guarantee a target level of electrical performance that can be considered as sufficient to meet any application requirements. The approach is based on the close coupling between physical modeling and statistical analysis of reliability. The complexity of the physical phenomena involved in the fuel cell is taken into account through the development of a dynamical, symbolic, acausal modeling tool including physical and semi-empirical parameters as well. The proposed knowledge PEMFC model is one-dimensional, non-isothermal and it includes a two-phase fluidic flow representation (each reactant is considered as a mix of gases and liquid water) in order to better take into account the complexity of the water management in the cell. The modeling is implemented using the MODELICA language and the DYMOLA software; one of the advantages of this simulation tool is that it allows an effective connection between multi-physical modeling and statistical treatments. In this perspective, the modeling is done with the aim of having as much relevant physical parameters as possible (classified in our work as operating, intrinsic, and semi-empirical parameters). The different effects of these parameters on the PEMFC electrical behavior can be observed and the performance sensitivity can be determined by considering some statistical distributions of input parameters, which is a step towards reliability analysis.A detailed physical and reliability analysis is conducted by introducing (as an example) an uncertainty rate in the porosity value of the cathodic Gas Diffusion Layer (coefficients of variance equal to 1%, 5% and 10%). The study of the uncertainty consequences on the cell voltage and electrical impedance is done through a design of numerical experiments and with the use of various statistical analysis tools, namely: graphs of the average effects, statistical sensitivity analyses (ANOVAs), graphs displaying the coefficients of variances linked with the statistical distributions observed in the inputs and outputs of the deterministic model. In this example of analysis and in the considered cell operating conditions, the provisional reliability rate (probability that the cell voltage is higher than 0.68V) is estimated to 91% with an input coefficient of variance equal to 10%.

Cette thèse s'inscrit dans le cadre d'une collaboration tripartite entre STMicroelectronics, le CEALeti et le TIMA. Elle a pour objet la caractérisation et l'étude de la fiabilité des composants à ondes acoustiques de volume (ou BAW pour Bulk Acoustic Wave) fabriqués à partir de couches piézoélectriques minces déposées sur un miroir de Bragg réalisé sur silicium (la technologie SMR pour Solidly Mounted Resonator) pour des applications Radiofréquence (RF). Dans ce travail, on s'intéresse particulièrement aux résonateurs et filtres à modes longitudinaux à base de Nitrure d'Aluminium (AlN) excités et piégés dans des capacités de type Métal-Insolant-Métal (MIM) dans le but de caractériser leur adéquation à répondre aux critères industriels et de permettre la compréhension et la modélisation des phénomènes physiques entrant en jeu dans la dégradation des composants. Le premier chapitre introduit la problématique des composants radiofréquences pour la téléphonie cellulaire et plus particulièrement les composants à ondes acoustiques de volume. Ce chapitre décrit le principe de fonctionnement de la technologie BAW, ses avantages ainsi que la problématique de la fiabilité comme étant un point clef dont l'étude est nécessaire avant la commercialisation. Le deuxième chapitre est consacré à l'analyse des propriétés électriques et acoustiques de la brique de base de la technologie BAW SMR qui est la structure MIM. Dans le troisième chapitre, on s'intéresse à l'étude de résonateurs sur miroir de Bragg sous différentes conditions de fonctionnement afin d'évaluer leur stabilité, de mettre en évidence les modes de défaillance et d'expliquer les phénomènes physiques observés. Enfin, le quatrième chapitre de ce manuscrit est consacré à l'étude d'un filtre complet exploitant ces résonateurs comme éléments d'impédance. La conclusion du mémoire reprend les principaux résultats des travaux effectués et fournit des lignes directrices en vue d'améliorer la stabilité et la fiabilité de la technologie BAW.

Cette étude s'inscrit dans le cadre de la caractérisation électrique par sonde locale de dispositifs Métal-Oxyde-Semiconducteur et Métal-Isolant-Métal. L'enjeu est de comparer les caractéristiques de conduction et de rigidité diélectrique aux échelles nanométrique et macroscopique, dans le but d'évaluer ces caractéristiques sans la réalisation coûteuses de structures intégrées. Un microscope à force atomique en mode de conduction (C-AFM) fonctionnant sous ultravide a été utilisé, et un protocole expérimental couplant des mesures électriques standards de la microélectronique industrielle et les mesures à l'échelle nanométrique a été mis en oeuvre. La méthode a été appliquée aux jonctions Silicium / oxyde de Silicium ainsi que Nitrure de Titane / oxydes d'Hafnium, de Zirconium et silicate d'Hafnium. La comparaison systématique des mesures s'avère fiable si l'on considère une surface de contact entre la pointe et le diélectrique de l'ordre du nm². Il a été démontré que l'ensemble des mesures des tensions de claquage suivait la même loi de probabilité de Weibull, impliquant une densité de défauts responsables du claquage proche de la densité atomique d'un solide. Les champs électriques de claquage mesurés qui sont de deux à trois fois supérieurs aux mesures standards sont alors voisins du champ de claquage intrinsèque de l'oxyde. Le C-AFM a également permis de mettre en évidence un courant après claquage à la caractéristique non ohmique, possédant la propriété d'être quasi-indépendant de l'épaisseur d'oxyde et partiellement réversible. Ce courant inaccessible à l'échelle standard a été interprété à l'aide de deux modèles reposant sur l'hypothèse d'un courant filamentaire en accord avec nos expériences. La topographie après claquage est en accord avec une épitaxie du substrat assistée par claquage (DBIE), due à la densité de courant élevée dans le filament.

Les décharges électrostatiques (ESD) constituent un problème majeur de fiabilité pour les entreprises de semi-conducteurs. Pour enrayer les défauts générés par les ESD sur les circuits intégrés (ICs), des éléments de protection sont implantés directement dans les puces. La constante poussée de l'intégration des circuits a pour conséquence la réduction des dimensions des cellules technologiques élémentaires ainsi que l'accroissement du nombre d'applications supportées par les ICs. Les conditions restrictives imposées par les procédés technologiques et par la complexité croissante des systèmes entraînent un défi considérablement accru pour le développement de produits robustes aux ESD. Dans ce travail de recherche, le problème émergeant des défaillances des couches d'oxydes minces d'épaisseur Tox = 8 à 1.1nm sous contraintes ESD est adressé dans les technologies CMOS les plus avancées, par une contribution à la compréhension des mécanismes de dégradation de la fiabilité du diélectrique et des dispositifs sous contraintes ESD. Une nouvelle approche de caractérisation des oxydes minces sous des stress à pulses ultra-courts (20 ns) est décrite jusqu'à la modélisation complète de la dépendance temporelle du claquage du diélectrique. Basé sur un ensemble cohérent de modélisations, une nouvelle méthodologie est proposée pour ajuster la détermination de la fenêtre ESD de façon mieux adaptée aux intervalles de tension et d'épaisseur d'oxyde de grille pour l'ingénierie des concepts de protection. Ceci a permis d'améliorer la prise en compte des problèmes ESD pour une meilleure fiabilité et robustesse des produits conçus en technologies CMOS fortement sub-microniques vis-à-vis des décharges électrostatiques.

La recherche de solutions analytiques pour l'évaluation de la fiabilité en contexte dynamique n'est pas résolue dans le cas général. Un état de l'art présenté dans le chapitre 1 montre que des approches partielles relatives à des hypothèses particulières existent. La simulation de Monte Carlo serait le seul recours, mais il n'existait pas d'outils performants permettant la simulation simultanée de l'évolution discrète du système et de son évolution continue prenant en compte les aspects probabilistes. Dans ce contexte, dans le chapitre 2, nous introduisons le concept d'automate stochastique hybride capable de prendre en compte tous les problèmes posés par la fiabilité dynamique et d'accéder à l'évaluation des grandeurs de la sûreté de fonctionnement par une simulation de Monte Carlo implémentée dans l'environnement Scilab-Scicos. Dans le chapitre 3, nous montrons l'efficacité de notre approche de simulation pour l'évaluation de la sûreté de fonctionnement en contexte dynamique sur deux cas test dont un est un benchmark de la communauté de la Sûreté de Fonctionnement. Notre approche permet de répondre aux problèmes posés, notamment celui de la prise en compte de l'influence de l'état discret, de l'état continu et de leur interaction dans l'évaluation probabiliste des performances d'un système dans lequel en outre, les caractéristiques fiabilistes des composants dépendent eux-mêmes des états continu et discret. Dans le chapitre 4, nous donnons une idée de l'intérêt du contrôle par supervision comme moyen de la sûreté de fonctionnement. Les concepts d'automate observateur et de contrôleur ont été introduits et illustrés sur notre cas test afin de montrer leur potentialité.