Loading...
Please wait, while we are loading the content...
Similar Documents
Diagnosticabilité de motifs de supervision par dépliage de réseaux de Petri
| Content Provider | Semantic Scholar |
|---|---|
| Author | Houssam-Eddine Audine Yannick |
| Copyright Year | 2012 |
| Abstract | Résumé—Ce papier s’intéresse au problème de la diagnosticabilité des motifs de supervision dans les systèmes à événements discrets. Ces motifs permettent de prendre en compte des comportements de fautes complexes. La méthode d’analyse de diagnosticabilité s’appuie sur l’utilisation des réseaux de Petri et sur les méthodes de dépliage de manière à appréhender les problèmes d’explosion combinatoire induits par des approches classiques d’analyse par graphe des marquages. L’approche proposée consiste à vérifier la diagnosticabilité de chaque motif en adaptant la méthode classique du produit jumelé (twin-plant). La non-diagnosticabilité du motif de faute est vérifiée par la recherche de séquences infinies ambiguës dans le dépliage du produit. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://homepages.laas.fr/ypencole/papers/gougam_2013_refid55.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
