Les défauts de code et de conception sont des problèmes d'implémentation et de conception qui proviennent de ''mauvais'' choix conceptuels récurrents. Ces défauts ont pour conséquence de freiner le développement et la maintenance des systèmes en les rendant plus difficiles à maintenir et évoluer. Une détection et une correction semi-automatiques sont donc des facteurs clefs pour faciliter les phases de maintenance et d'évolution.<br /><br />Des techniques et outils ont été proposés dans la littérature à la fois pour la détection et la correction des défauts. Les techniques de détection proposées consistent principalement à définir des règles pour détecter les défauts et à les appliquer sur le code source d'un système. Quant aux techniques de correction, elles consistent à appliquer de façon automatique des refactorisations dans le code source du système analysé afin de le restructurer de manière à corriger les défauts. Cependant, la phase qui consiste à identifier les restructurations est réalisée manuellement par les<br />ingénieurs logiciels. Ainsi, il n'est pas possible de corriger<br />directement et automatiquement les défauts détectés. Ce problème est dû au fait que la détection et la correction des défauts sont traitées de façon isolée.<br /><br />Ainsi, nous proposons DECOR, une méthode qui englobe et définit toutes les étapes nécessaires pour la détection et la correction des défauts de code et de conception. Cette méthode permet de spécifier des règles de détection à un haut niveau d'abstraction et de suggérer des restructurations de code afin d'automatiser la correction des défauts.<br /><br />Nous appliquons et validons notre méthode sur des systèmes libres orientés objet afin de montrer que notre méthode permet une détection précise et une correction adaptée des défauts.

Aujourd'hui, les réseaux de communications sont largement utilisés pour relier les points de ressources, qui permettent la transmission de données à distance, de réduire la complexité dans le cadre de câblage et les coûts de support et de fournir l'aise dans la maintenance. En raison de ces avantages, les réseaux ont été introduits dans les systèmes automatiques au cours de ces dernières décennies et de nouveaux protocoles de réseau industriel ont été également développés pour assurer le contrôle à distance. Les systèmes contrôlés en réseau SCR (Networked Control System NCS) sont des systèmes automatiques traditionnels où les actionneurs, les capteurs, les contrôleurs et des autres composants sont distribués autour d'un réseau de communication, qui peut être partagé ou non avec d'autres applications. Les données de commande et de diagnostic sont échangées entre les composants du système (capteur, contrôleur, actionneur) via ce réseau partagé. Cette nouvelle architecture de système de contrôle introduit des problèmes originaux, en termes de retard variable affectant la transmission, des pertes de paquets, etc. Dans l'objectif de maintenir de bonnes performances du module de diagnostic face à des éventuelles variations introduites par le réseau, il est intéressant d'introduire des nouvelles approches. Nous avons rapporté les résultats relatifs aux techniques d'estimation optimale à base de filtre de Kalman, de façon à constituer un document aussi complet que possible traitant la génération de résidus et l'isolation des défauts dans SCR. Notre contribution consiste, dans un premier temps, à développer un modèle d'état d'un système contrôlé via un réseau. En deuxième temps, nous proposons un générateur de résidus en se basant sur les hypothèses simulant le retard induit par le réseau. Finalement, nous développons un filtre isolateur pour identifier directement les défauts affectant les actionneurs dans un SCR.

Le sujet de cette thèse s'inscrit dans le cadre des systèmes tolérants aux défauts sous contraintes avec prise en considération de la dégradation des performances. L'objectif principal de ce travail consiste à considérer la gestion des références comme une partie intégrante du système de commande tolérant aux défauts. Dans la littérature, la plupart des méthodes actives de tolérance aux défauts supposent que le recouvrement du système nominal est toujours possible et que les performances nominales sont toujours atteignables. Cette condition est peu réaliste dans la pratique puisque plusieurs éléments empêchent le système reconfiguré de revenir à son mode de fonctionnement nominal. Dans le domaine industriel, l'ensemble des contraintes du système est un handicap majeur qui limite le fonctionnement nominal d'un système à des plages fonctionnelles bien définies. Ces plages fonctionnelles sont énormément réduites après l'apparition de certains défauts dits sévères et qui affectent généralement les actionneurs. Par conséquent, cette hypothèse de recouvrement des performances nominales dans le cas des systèmes sous contraintes limite l'ensemble des défauts traités par ces méthodes classiques à quelques défauts dits mineurs. Afin de remédier a ce problème, une architecture de reconfiguration structurée en deux niveaux est proposée. Le premier concerne les algorithmes classiques de reconfiguration en agissant sur un contrôleur reconfigurable, et le deuxième agit sur le module de gestion des références conçu à base d'un gouverneur de référence avec offset. La connaissance exacte du modèle en post-défaut nécessite un système de détection et diagnostic de défaut qui permet d'estimer l'amplitude de défaut, ce qui conduit à la synthèse d'un observateur adaptatif d'estimation de défaut à base de LMI. Afin de synchroniser le déroulement du processus FTC, deux indices ont été conçus. Le premier indice porte sur le mécanisme de décision permettant de sélectionner le/les niveau(x) de reconfiguration nécessaire(s) à l'accommodation du défaut. Le deuxième indice permet d'évaluer le niveau de dégradation du système " post-défaut ". Une dégradation de performance est toujours admise tant que les consignes de sécurité sont respectées.

Ce mémoire de thèse présente une étude fondamentale enrichie par des contributions qui sont articulées autour de la modélisation de processus ainsi qu'un diagnostic de défauts en utilisant l'analyse en composantes principales (ACP). <br /> Dans l'objectif d'un choix optimal du modèle ACP, une étude comparative de quelques critères connus dans la littérature nous a permis de conclure que le problème rencontré est souvent lié à une ignorance des variables indépendantes et quasi-indépendantes. Dans ce cadre, nous avons réalisé deux démonstrations mettant en évidence les limitations de deux critères en particulier la variance non reconstruite (VNR). En s'appuyant sur le principe d'une telle variance, nous avons proposé trois nouveaux critères. Parmi eux, deux ont été considérés comme étant empiriques car seule l'expérience permettra de prouver leur efficacité. Le troisième critère noté VNRVI représente un remède à la limitation du critère VNR. Une étude de sa consistance théorique a permis d'établir les conditions garantissant l'optimalité de son choix. Les résultats de simulation ont validé une telle théorie en prouvant ainsi que le critère VNRVI étant plus efficace que ceux étudiés dans cette thèse.<br /> Dans le cadre d'un diagnostic de défauts par ACP, l'approche de reconstruction des indices de détection ainsi que celle des contributions ont été utilisées. A travers une étude de généralisation, nous avons étendu le concept d'isolabilité de défauts par reconstruction à tout indice quadratique. Une telle généralisation nous a permis d'élaborer une analyse théorique d'isolabilité de défauts par reconstruction de la distance combinée versus celles des indices SPE et T2 de Hotelling en mettant en avant l'avantage de l'utilisation d'une telle distance. D'autre part, nous avons proposé une nouvelle méthode de contribution par décomposition partielle de l'indice SPE. Cette approche garantit un diagnostic correct de défauts simples ayant de grandes amplitudes. Nous avons également étendu une méthode de contribution classiquement connue par la RBC au cas multidimensionnel. Ainsi, la nouvelle forme garantit un diagnostic correct de défauts multiples de grandes amplitudes. En considérant la complexité de défauts, nous avons exploité la nouvelle approche de contribution RBC afin de proposer une nouvelle qui s'appelle RBCr. Cette dernière s'appuie sur un seuil de tolérance pour l'isolation de défauts. Une analyse de diagnosticabilité basée sur la RBCr montre que celle-ci garantit l'identification des défauts détectables. Ces derniers sont garantis isolables si leurs amplitudes satisfont les mêmes conditions d'isolabilité établies pour l'approche de reconstruction des indices.

La découverte du graphène en 2004 constitue une double avancée en physique de la matière condensée. D'une part, ses propriétés électroniques sont celles d’un gaz de fermions de Dirac sans masse. D'autre part, sa structure fournit le tout premier exemple d’un matériau ordonné à deux dimensions.Cette seconde caractéristique est étudiée dans cette thèse par microscopie à effet tunnel (STM), dans le cas du graphène synthétisé en ultra-haut vide sur la face (0001) du rhénium. A deux dimensions, l’ordre cristallin est en effet impossible, et il est prédit qu’un quasi-ordre à longue distance s’y substitue, où la phase du paramètre d’ordre fluctue. Le substrat de rhénium intervient alors comme une influence extérieure qui peut restaurer l’ordre cristallin, en forçant la structure du graphène à épouser une relation d’épitaxie avec le rhénium.L’étude proposée de la structure du graphène démontre qu’elle est en fait tributaire de contraintes cinétiques héritées de sa croissance. Plusieurs nanostructures caractéristiques ont ainsi été identifiées à l’échelle atomique, permettant de remonter au mécanisme de croissance. Deux chemins réactionnels y entrent ainsi en compétition. Le premier aboutit à une famille d’agrégats de carbone métastables, de structures bien définies, en épitaxie sur le rhénium. Le second mène à la croissance d’îlots de graphène qui s’étendent sur quelques nanomètres. La coalescence de ces îlots et l’incorporation des agrégats en leur sein conduit à des défauts structurels dont la structure atomique est détaillée pour la première fois. Cette étude exhaustive révèle la diversité des chemins réactionnels lors de la croissance de graphène sur rhénium, qui sont autant de compromis entre cinétique et thermodynamique.Au terme de cette croissance, le graphène obtenu n’est pas uniforme, mais constitué de domaines s'étendant sur des distances de l'ordre de 10 nm. Chaque domaine présente une relation d'épitaxie entre le graphène et le rhénium qui lui est propre, où le graphène s'avère à la fois tourné et cisaillé par rapport à son substrat, comme le montre une méthode d’analyse d’images STM développée à cet effet. L’élaboration d’une classification universelle de ces relations d'épitaxie montre leur grande diversité. Deux interprétations se confrontent alors. Les parois entre domaines de graphène peuvent en effet être interprétées comme des défauts topologiques dans l’ordre cristallin imposé au graphène par le substrat de rhénium. Alternativement, ce sont des modes de fluctuations dont la dynamique est gelée par l’interaction avec le substrat. Ces résultats remettent donc en question la notion d’ordre cristallin imposé par son substrat à un matériau bidimensionnel. Ils montrent qu’au lieu de forcer une relation d'épitaxie particulière, l’interaction du graphène avec son substrat donne lieu à une phase dite chaotique. / The discovery of graphene in 2004 is a two-fold breakthrough in condensed matter physics. On the one hand, its electronic properties are that of a massless Dirac fermion gas. On the other hand, its structure is the very first example of an ordered material in two dimensions.This second characteristics is studied in this thesis by scanning tunneling microscopy (STM), in the case of graphene grown in ultra-high vacuum on the (0001) surface of rhenium. In two dimensions, crystalline order is indeed impossible, and it is predicted to be replaced by a quasi-long-range order, for which the phase of the order parameter fluctuates. The rhenium substrate then acts as an outside influence that can restore crystalline order, as it forces graphene's structure to adopt an epitaxial relation with rhenium.The study of graphene's structure proposed here proves it actually originates from kinetic constraints inherited from its growth. Many typical nanostructures have indeed been identified at the atomic scale, giving access to the growth mechanism. Two reaction pathways compete. The first one gives rise to a family of metastable carbon clusters with well-defined structures in epitaxy on rhenium. The second one leads to growing graphene islands of a few nanometers in size. The coalescence of these islands and the incorporation of the carbon clusters ends up forming structural defects whose atomic structure is detailed for the first time. This exhaustive study reveals reaction pathways in the growth of graphene on rhenium are diverse, and constitute compromises between kinetics and thermodynamics.At the end of that growth, the obtained graphene is not uniform, but made of roughly 10 nm-large domains. Each domain displays a specific epitaxial relation with rhenium, in which graphene is both twisted and sheared with respect to rhenium, as revealed a STM image analysis method developed for this purpose. Elaborating a universal classification of such epitaxial relations shows they are very diverse. Two interpretations of this morphology are possible. The graphene domain walls can indeed be interpreted as topological defects in the crystalline order set in graphene by the rhenium substrate. Otherwise, they are fluctuation modes whose dynamics is frozen by the interaction with the substrate. These results put into question the notion of crystalline order set by a substrate to a two-dimensional material. They show that instead of forcing a specific epitaxial relationship, the graphene-substrate interaction gives rise to a so-called chaotic phase.

Cette thèse porte sur le diagnostic des défauts dans des Systèmes à Evènements Discrets (SED) pour lesquels l’occurrence des événements est soumise à des contraintes temporelles. Les domaines d’application potentiels sont nombreux et variés allant de la production manufacturière aux systèmes de transport en passant par les réseaux de communication et les systèmes d’information. La complexité croissante de ces systèmes nécessite l’élaboration de méthodes de surveillance de plus en plus efficaces et performantes pour garantir leur sécurité, leur disponibilité ainsi que le maintien de leurs propriétés dans le temps. Les réseaux de Petri Stochastiques Temporisés Partiellement Observés (RdPSTPO) sont utilisés pour modéliser le système ainsi que les défauts qui peuvent l’affecter. L’étude concerne particulièrement les défauts qui se traduisent par la violation des contraintes temporelles. Une exploitation pertinente des informations temporelles, en vue du diagnostic, constitue la contribution majeure de la thèse. En effet, une meilleure utilisation de ces informations permet de discerner avec précision les différents comportements qui expliquent les mesures. De plus, la probabilité d’occurrence des défauts est calculée en fonction des dates des mesures collectées. Deux approches sont développées : la première est dédiée aux défauts ponctuels et la seconde aux dérives lentes dans les systèmes cycliques. / This PhD thesis deals with the fault diagnosis of Discrete Event Systems (DES) for which the occurrence of events is constrained by temporal specifications. The domain of application is large and varied ranging from manufacturing systems to transportation systems, communication networks and information systems. The increasing complexity of these systems requires the development of effective and efficient monitoring methods to ensure their security, availability and the maintenance of their properties over the time. For that purpose, Partially Observed Stochastic Timed Petri Nets (POSTPN) are used to model the system and the different faults that may affect it. The study is particularly concerned with faults that result after the violation of temporal constraints. Our main contribution in this thesis is the relevant exploitation of the timed information for the fault diagnosis. In fact, a better use of these temporal informations allow to discern with precision the different behaviors that are consistent with the measurements. In addition, the probability of faults occurrence is evaluated according to the dates of collected measurements. Two approaches are developed : the first one is used for single faults and the second one for slow drifts in cyclical systems.

Les entraînements électriques à base de machine asynchrone sont largement utilisés dans les applications industrielles en raison de leur faible coût, de leurs performances et de leur robustesse. Cependant, des modes de fonctionnement dégradés peuvent apparaître durant la vie de la machine. L'une des raisons principales de ces défaillances reste les défauts de roulements à billes. Afin d'améliorer la sûreté de fonctionnement des entraînements, des schémas de surveillance peuvent être mis en place afin d'assurer une maintenance préventive. Ce travail de thèse traite de la détection et du diagnostic des défauts mécaniques et plus particulièrement des défauts de roulements dans une machine asynchrone. Généralement, une surveillance vibratoire peut être mise en place. Cette méthode de surveillance est cependant souvent chère du fait de la chaîne de mesure. Une approche, basée sur l'analyse et le traitement des courants statoriques, est alors proposée, afin de suppléer à l'analyse vibratoire. L'étude est basée sur l'existence et la caractérisation des effets des oscillations du couple de charge sur les courants d'alimentation. Un schéma de détection est alors introduit pour détecter différents types de défauts de roulements. De plus, des variables mécaniques, telles que la vitesse ou le couple, sont également reconstruites afin de fournir une indication sur la présence de défauts de roulements. Par ailleurs, un diagnostic des modulations des courants statoriques est proposé, en régime permanent et en régime transitoire, quel que soit le rapport entre les fréquences porteuse et modulante. Les méthodes étudiées sont la transformée de Hilbert, la transformée de Concordia, l'amplitude et la fréquence instantanées ainsi que la distribution de Wigner-Ville.

L'objectif de ce travail est de comprendre comment s'auto-organisent les films minces de PS-b-PMMA présentant des nanodomaines cylindriques de PMMA orientés verticalement. Ces films sont ensuite utilisés pour organiser des nano-objets discrets de faibles dimensions (diamètre ~ 20 nm) et en forte densité (~1011/cm²).<br />Il est montré que la phase de cylindres verticaux se forme de façon indirecte pendant le recuit thermique à partir d'une phase homogène. Tout d'abord, il se forme une phase de cylindres désordonnés au sein du film sur laquelle la phase de cylindres verticaux s'établie par un mécanisme de nucléation-croissance, menant à la présence de défauts aux joints de grains. <br />L'élimination des défauts dans le réseau nécéssite une diffusion de ces derniers. Après avoir montré expérimentalement et théoriquement que les sites heptacoordinés adoptent une morphologie distordue en raison de la contrainte du réseau, nous proposons un mécanisme de diffusion des dislocations basé sur la division des nanodomaines distordus. Nous montrons que les films réalisés possédent un ordre hexatique selon la théorie KTHNY.<br /> Finalement, nous utilisons ces films en tant que masque pour réaliser, par gravure plasma, des nano-piliers en Si/SiGe ou bien des capacités MOS à nanocristaux de Pt

Ce mémoire de thèse présente une étude fondamentale enrichie par des contributions qui sont articulées autour de la modélisation de processus ainsi qu'un diagnostic de défauts en utilisant l'analyse en composantes principales (ACP). Dans l'objectif d'un choix optimal du modèle ACP, une étude comparative de quelques critères connus dans la littérature nous a permis de conclure que le problème rencontré est souvent lié à une ignorance des variables indépendantes et quasi-indépendantes. Dans ce cadre, nous avons réalisé deux démonstrations mettant en évidence les limitations de deux critères en particulier la variance non reconstruite (VNR). En s'appuyant sur le principe d'une telle variance, nous avons proposé trois nouveaux critères. Parmi eux, deux ont été considérés comme étant empiriques car seule l'expérience permettra de prouver leur efficacité. Le troisième critère noté VNRVI représente un remède à la limitation du critère VNR. Une étude de sa consistance théorique a permis d'établir les conditions garantissant l'optimalité de son choix. Les résultats de simulation ont validé une telle théorie en prouvant ainsi que le critère VNRVI étant plus efficace que ceux étudiés dans cette thèse. Dans le cadre d'un diagnostic de défauts par ACP, l'approche de reconstruction des indices de détection ainsi que celle des contributions ont été utilisées. A travers une étude de généralisation, nous avons étendu le concept d'isolabilité de défauts par reconstruction à tout indice quadratique. / This thesis presents a fundamental study enhanced by some contributions that are focused on process modelling and fault diagnosis using principal components analysis (PCA). In order to find an optimal PCA model, we have concluded through a comparative study of some popular criteria that the problem is often related to an ignorance of the independent and quasi-independent variables. In this framework, we have performed two demonstrations highlighting the limitations of two selection criteria in particular the unreconstructed variance (VNR). Based on the principle of VNR approach, we have proposed three new criteria, among them two methods were considered as empirical criteria because only the experience will prove their effectiveness. However the third one which is noted VNRVI represents a cure for the limitation of the classical VNR criterion. Thus, the conditions that ensure an optimal selection were derived according to a theoretical consistency study of the VNRVI approach. The simulation results have successfully validated the VNRVI criterion by proving that is more effective than the other studied criteria in the present thesis. The reconstruction and contributions approaches were used for fault diagnosis using PCA. According to a unified study, we have extended the fault isolability concept based on the reconstruction method to any detection index which has a quadratic form. Such generalization has allowed us to develop a theoretical fault isolability analysis based on the reconstruction of the combined index versus those of SPE and T2 indices. This analysis has highlighted the advantage of using the combined index for fault isolation.

Aujourd'hui, les réseaux de communications sont largement utilisés pour relier les points de ressources, qui permettent la transmission de données à distance, de réduire la complexité dans le cadre de câblage et les coûts de support et de fournir l'aide dans la maintenance. En raison de ces avantages, les réseaux ont été introduits dans les systèmes automatiques au cours de ces dernières décennies et de nouveaux protocoles de réseau industriel ont été également développés pour assurer le contrôle à distance. Les systèmes contrôlés en réseau SCR (Networked Control System NCS) sont des systèmes automatiques traditionnels où les actionneurs, les capteurs, les contrôleurs et des autres composants sont distribués autour d'un réseau de communication, qui peut être partagé ou non avec d'autres applications. Les données de commande et de diagnostic sont échangées entre les composants du système (capteur, contrôleur, actionneur) via ce réseau partagé. Cette nouvelle architecture de système de contrôle introduit des problèmes originaux, en termes de retard variable affectant la transmission, des pertes de paquets, etc. Dans l'objectif de maintenir de bonnes performances du module de diagnostic face à des éventuelles variations introduites par le réseau, il est intéressant d'introduire des nouvelles approches. Nous avons rapporté les résultats relatifs aux techniques d'estimation optimale à base de filtre de Kalman, de façon à constituer un document aussi complet que possible traitant la génération de résidus et l'isolation des défauts dans SCR. Notre contribution consiste, dans un premier temps, à développer un modèle d'état d'un système contrôlé via un réseau. En deuxième temps, nous proposons un générateur de résidus en se basant sur les hypothèses simulant le retard induit par le réseau. Finalement, nous développons un filtre isolateur pour identifier directement les défauts affectant les actionneurs dans un SCR / Today's communications networks are widely used to connect the resources, enabling the remote data transmission, reducing the cabling complexity, minimizing costs and providing easy maintenance. Because of these advantages, the networks have been introduced in automatic systems during recent decades and new industrial network protocols were also developed for the remote control. The systems controlled by networks, the term "Networked Control Systems (NCS)" are automatic traditional systems where the actuators, the sensors, the controllers and other components are distributed around a communication network that can be shared or not with other applications. The data of both control and diagnostic are exchanged between system components (sensor, controller and actuator) via the shared network. This new architecture of control system introduces new problems in terms of variable delay affecting the transmission, the packet loss, etc. With the aim to maintain good performance of diagnostic module face of possible changes introduced by the network, it is interesting to introduce new approaches. We have reported results for the optimal estimation techniques based on Kalman filter, thus creating a report as complete as possible, treating the residual generation and fault isolation in NCS. Our contribution consists, firstly, to develop a state space model of a system controlled via a network. Secondly, we propose a residual generator based on the delay models induced by the network. Finally, we develop a isolation filter in order to directly identify in the actuators faults in a SCR