An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets, Untimed and Timed Contexts
Cette thèse s'intéresse à l'étude des problèmes de diagnostic des fautes sur les systèmes à événements discrets dans des contextes atemporel et temporel sur la base de modèles réseau de Petri. Des techniques d'exploration incrémentale et à-la-volée sont développées pour combattre le p...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
Ecole Centrale de Lille
2014
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-01064597 http://tel.archives-ouvertes.fr/docs/01/06/45/97/PDF/doc00018675.pdf |