L'utilisation de la communication sans fil dans les applications de contrôle offre de nombreux avantages comme la mobilité. Toutefois, la communication sans fil souffre de nombreux inconvénients tels que la perte d'information, délais aléatoires. Ces problèmes sont essentiellement induits par le non déterministe du comportement de la communication sans fil qui peut avoir un impact négatif sur la performance du système. L'objectif de ce travail porte sur l'amélioration des performances de Systèmes Discrets Contrôlés via un Réseau Sans fil. Ses systèmes sont caractérisés par une commande logique distribuée sur des automates programmables et des boîtiers d'entrées/sorties déportés communiquant via un réseau de communication sans fil, IEEE 802.11. L'approche proposée repose sur un processus de co-conception basé : un, sur une modélisation conjointe des comportements de la commande et du réseau au travers de modèles SED déterministes pour la commande et stochastiques pour le réseau, et sur la simulation pour évaluer les performances des SDCR sans fil et notamment leur temps de réponse. Deux, la proposition d'un algorithme qui alloue dynamiquement les priorités définies par l'IEEE 802.11e sur les trafics de communication en fonction des besoins et des états de la commande; cet algorithme est évalué sur un cas d'étude, pour lequel la communication sans fil induit des risques de collision entre des équipements d'une installation industrielle, en utilisant l'environnement de simulation précédemment défini. Les simulations montrent une amélioration de la performance du système surtout dans des cas où le réseau est très chargé / Using wireless communication in the control system introduces many advantages like reduced wiring costs but also many drawbacks such as the delays, packet losses... which may disturb the system performance. The objective of this thesis is to improve the performance of a Wireless Networked Discrete Control System. This kind of system is characterized with a logic command distributed among PLC and plant part communicating through a wireless network, IEEE 802.11. The proposed approach is based on a co-design concept by simultaneously modeling the behavior of the command part (deterministic), and network part (non deterministic). Simulation tools do not cope with this co-design point of view because they are generally either ?control design? or ?network analysis? dedicated. Two solutions are explored: first, by integrating the network model into a control-oriented tool, Matlab-Truetime library and second, by integrating the discrete control system behavior into a network-oriented tool, OPNET. Comparisons between these tools confirm the possibility of modeling a WNDCS using Matlab-Truetime (with some modifications) and OPNET. Moreover, an algorithm is proposed to improve the global system performance; it dynamically allocates IEEE 802.11e priorities to the communication traffic with regard to the control requirements and the current state of the system, but also by taking into account the current quality of service provided by the network. Simulations of a case study performed using OPNET have highlighted the efficiency of the proposed algorithm

L'utilisation de la communication sans fil dans les applications de contrôle offre de nombreux avantages comme la mobilité... Toutefois, la communication sans fil souffre de nombreux inconvénients tels que la perte d'information, délais aléatoires. Ces problèmes sont essentiellement induits par le non déterministe du comportement de la communication sans fil qui peut avoir un impact négatif sur la performance du système. L'objectif de ce travail porte sur l'amélioration des performances de Systèmes Discrets Contrôlés via un Réseau Sans fil. Ses systèmes sont caractérisés par une commande logique distribuée sur des automates programmables et des boîtiers d'entrées/sorties déportés communiquant via un réseau de communication sans fil, IEEE 802.11. L'approche proposée repose sur un processus de co-conception basé : un, sur une modélisation conjointe des comportements de la commande et du réseau au travers de modèles SED déterministes pour la commande et stochastiques pour le réseau, et sur la simulation pour évaluer les performances des SDCR sans fil et notamment leur temps de réponse. Deux, la proposition d'un algorithme qui alloue dynamiquement les priorités définies par l'IEEE 802.11e sur les trafics de communication en fonction des besoins et des états de la commande; cet algorithme est évalué sur un cas d'étude, pour lequel la communication sans fil induit des risques de collision entre des équipements d'une installation industrielle, en utilisant l'environnement de simulation précédemment défini. Les simulations montrent une amélioration de la performance du système surtout dans des cas où le réseau est très chargé.

Cette thèse s'intéresse à l'étude des problèmes de diagnostic des fautes sur les systèmes à événements discrets en utilisant les modèles réseau de Petri. Des techniques d'exploration incrémentale et à-la-volée sont développées pour combattre le problème de l'explosion de l'état lors de l'analyse de la diagnosticabilité. Dans le contexte atemporel, la diagnosticabilité de modèles RdP-L est abordée par l'analyse d'une série de problèmes K-diagnosticabilité. L'analyse de la diagnosticabilité est effectuée sur la base de deux modèles nommés respectivement FM-graph et FM-set tree qui sont développés à-la-volée. Un diagnostiqueur peut être dérivé à partir du FM-set tree pour le diagnostic en ligne. Dans le contexte temporel, les techniques de fractionnement des intervalles de temps sont élaborées pour développer représentation de l'espace d'état des RdP-LT pour laquelle des techniques d'analyse de la diagnosticabilité peuvent être utilisées. Sur cette base, les conditions nécessaires et suffisantes pour la diagnosticabilité de RdP-LT ont été déterminées. En pratique, l'analyse de la diagnosticabilité est effectuée sur la base de la construction à-la-volée d'une structure nommée ASG et qui contient des informations relatives à l'occurrence de fautes. D'une manière générale, l'analyse effectuée sur la base des techniques à-la-volée et incrémentale permet de construire et explorer seulement une partie de l'espace d'état, même lorsque le système est diagnosticable. Les résultats des simulations effectuées sur certains benchmarks montrent l'efficacité de ces techniques en termes de temps et de mémoire par rapport aux approches traditionnelles basées sur l'énumération des états / This PhD thesis deals with fault diagnosis of discrete event systems using Petri net models. Some on-the-fly and incremental techniques are developed to reduce the state explosion problem while analyzing diagnosability. In the untimed context, an algebraic representation for labeled Petri nets (LPNs) is developed for featuring system behavior. The diagnosability of LPN models is tackled by analyzing a series of K-diagnosability problems. Two models called respectively FM-graph and FM-set tree are developed and built on the fly to record the necessary information for diagnosability analysis. Finally, a diagnoser is derived from the FM-set tree for online diagnosis. In the timed context, time interval splitting techniques are developed in order to make it possible to generate a state representation of labeled time Petri net (LTPN) models, for which techniques from the untimed context can be used to analyze diagnosability. Based on this, necessary and sufficient conditions for the diagnosability of LTPN models are determined. Moreover, we provide the solution for the minimum delay ∆ that ensures diagnosability. From a practical point of view, diagnosability analysis is performed on the basis of on-the-fly building of a structure that we call ASG and which holds fault information about the LTPN states. Generally, using on-the-fly analysis and incremental technique makes it possible to build and investigate only a part of the state space, even in the case when the system is diagnosable. Simulation results obtained on some chosen benchmarks show the efficiency in terms of time and memory compared with the traditional approaches using state enumeration