Surveillance des systèmes à événements discrets commandés: Conception et implémentation en utilisant l'automate programmable industriel

Ce mémoire de thèse prèsente une approche pour la surveillance des systèmes à événements discrets commandés. L'étude se restreint aux défauts interruptibles : intermittents et permanents. Le comportement acceptable de ces systèmes est introduit afin d'accroître la disponibilité des systèmes commandés. Ce comportement présente une tolérance aux défauts intermittents. Une démarche de construction du système de surveillance est présentée. Nous modélisons, dans un premier temps, le comportement du système sujet aux défauts interruptibles par un automateà chronomètres. Nous appliquons, dans un deuxième temps, une procédure de synthèse à cet automate. Cette procédure est basée aux opérateurs d'analyse en avant et en arriérer de l'automate. Un nouveau modèle appelé réseaux de Petri à chronomètres post- et Pré-initialisés est également présenté. Ce modèle général du RdP a été utilisé, dans le cadre de ce mémoire, pour modéliser le comportement des systèmes sujets aux défauts interruptibles. L'implémentation de notre méthode de surveillance se fait par un automate programmable industriel. Pour ce faire, le système de surveillance étant sous la forme d'un automate àchronomètres est traduit structurellement en programme SFC.This thesis presents an approach to monitoring the controlled discrete events systems. The study is limited to the interruptible faults : intermittent and permanent. To increase the availability of a system, it is crucial to reduce the unnecessary interruptions. For that, the acceptable behavior of these systems is introduced. This behavior presents a tolerance to the intermittent faults. An approach of the construction of monitoring system is presented. We model, firstly, the behavior of the systems by a stopwatch automaton. Secondly, we apply to this automaton a synthesis procedure. This procedure is based on the forward and backward reachability analysis of the stopwatch automaton. A new model called Post- and Pre-initialized stopwatch Petri nets is also presented. This model is used to model the behavior of systems subjected to the interrupting faults. The implementation of our monitoring approach is done by using a Programmable Logic Controller. The monitoring system is translated structurally into a SFC program.GRENOBLE1-BU Sciences (384212103) / SudocCACHAN-ENS (940162301) / SudocGRENOBLE-GIPSA-lab (384212301) / SudocSudocFranceF