Loading...
Please wait, while we are loading the content...
Similar Documents
Séparation des états du graphe de marquages d'un réseau de Petri pour la commande par supervision des systèmes à événements discrets
| Content Provider | Semantic Scholar |
|---|---|
| Author | Gonza, Mohaman Bitjoka, Laurent Alla, Hassane |
| Copyright Year | 2017 |
| Abstract | Le graphe de marquages est generalement de taille importante pour que l'on puisse identifier de maniere simple et efficace l'ensemble des etats adequats pour la synthese de supervision des systemes a evenements discrets. En outre, le probleme d'explosion combinatoire inherent a la theorie de supervision affecte les methodes de synthese s'appuyant sur le graphe de marquages. Parmi ces methodes, la methode des invariants de marquages qui est la plus utilisee ne peut garantir l'optimalite des resultats que si l'ensemble adequat des contraintes lineaires liees aux etats ou marquages interdits lui est fourni. Pour trouver un tel ensemble adequat de contraintes, l'espace d'etats du graphe de marquages du reseau de Petri modelisant le systeme a evenements discrets doit etre separe. Cet article presente une approche de separation des ensembles d'etats interdits et d'etats autorises du graphe de marquages accessibles, represente par sa matrice de fonction de transition codifiee. Cette separation est definie par une fonction de decision qui caracterise l'ensemble des etats-frontieres ou critiques. Cet ensemble constitue l'hyperplan de separation qui peut etre utilise pour determiner de maniere bijective les contraintes admissibles necessaires a la synthese de supervision par la methode des invariants de marquages. |
| File Format | PDF HTM / HTML |
| Volume Number | 2017 |
| Alternate Webpage(s) | https://www.see.asso.fr/bitcache/2b9bdbc5c2640185f41f5403983933dffdf41fd1?disposition=attachment&op=download&vid=33777 |
| Alternate Webpage(s) | https://www.see.asso.fr/en/printpdf/19870/landing |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
