Évaluation à la Volée de la Diagnosticabilité des Systèmes à Événements Discrets Temporisés - Archive ouverte HAL
Article Dans Une Revue Journal Européen des Systèmes Automatisés (JESA) Année : 2013

É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.

Dates et versions

hal-00909623 , version 1 (26-11-2013)

Identifiants

Citer

Baisi Liu, Mohamed Ghazel, Armand Toguyeni. Évaluation à la Volée de la Diagnosticabilité des Systèmes à Événements Discrets Temporisés. Journal Européen des Systèmes Automatisés (JESA), 2013, 47 (1-3), p227-242. ⟨10.3166/jesa.47.227-242⟩. ⟨hal-00909623⟩
159 Consultations
0 Téléchargements

Altmetric

Partager

More