Évaluation à la Volée de la Diagnosticabilité des Systèmes à Événements Discrets Temporisés
LIU ; GHAZEL ; TOGUYENI
Type de document
ARTICLE A COMITE DE LECTURE NON REPERTORIE DANS BDI (ACLN)
Langue
francais
Auteur
LIU ; GHAZEL ; TOGUYENI
Résumé / Abstract
Cet article s’intéresse à la diagnosticabilité des systèmes à événements discrets temporisés. Le formalisme de modélisation utilisé est le réseau de Petri T-temporel et labellisé (RdP-LT). C’est une extension des RdP temporels pour laquelle à chaque transition est associé un événement qui peut être observable ou non. Nous proposons une approche pour vérifier la diagnosticabilité et nous fournissons une solution pour calculer le délai minimum delta pour garantir cette diagnosticabilité. L’analyse de cette diagnosticabilité est effectuée par un algorithme à la volée, basé sur une structure de données que nous nommerons graphe-ECEE. Cette structure contient les informations sur l’état du RdP-LT. Les algorithmes à la volée permettent souvent d’obtenir un résultat sans avoir nécessairement à explorer tout l’espace d’états. C’est un avantage important par rapport aux approches classiques d’énumération systématique de tous les états.
Source
Journal Européen des Systèmes Automatisés, num. 1-3, p227-242 p.
Editeur
HERMES-LAVOISIER
