Évaluation à la Volée de la Diagnosticabilité des Systèmes à Événements Discrets Temporisés
Résumé
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.