Contrôle Tolérant aux Fautes des Systèmes à Evénements Discrets par enforcement de séquences d'entrées/sorties
EncadrementFinancement
Contrat Doctoral Spécifique pour Normaliens (CDSN)
Mots-clésSystèmes à Evénements Discrets, Contrôle Tolérant aux fautes, Diagnostique.
RésuméLa conception d'une commande tolérante aux fautes pour des procédés décrits comme des systèmes à événements discrets ont débuté en utilisant des modèles de type automates ou réseaux de Petri. L'approche qualifiée d'accommodation aux fautes a été le plus souvent retenue mais s'appuie un diagnostiqueur qui détecte l'occurrence de fautes et provoque la reconfiguration du contrôleur. Apparue plus récemment, l'approche dite de masquage de fautes présente l'avantage de ne nécessiter ni de diagnostiqueur, ni de mécanismes de reconfiguration du contrôleur. Le principe général des techniques d'enforcement est de générer, à partir d'une séquence d'événements qui ne respecte pas forcément certaines propriétés formelles, une séquence qui respecte ces propriétés. L'objectif de ces travaux de thèse est de tirer profit des résultats obtenus en matière d'enforcement de séquences d'événements pour la construction d'un reconfigurateur permettant le masquage de fautes.