Loading...
Please wait, while we are loading the content...
Similar Documents
Approches canoniques pour la synthèse des contrôleurs réseaux de Petri
| Content Provider | Semantic Scholar |
|---|---|
| Author | Rezig, Sadok |
| Copyright Year | 2016 |
| Abstract | Dans ce memoire, nous presentons differentes approches de synthese de controleurs reseaux de Petri en se basant sur la theorie des regions. Cette theorie presente quelques limites dans la synthese de controle. En effet, la synthese du controleur RdP, s’il existe, n’est pas du tout une tâche facile vue sa complexite de calcul et l’explosion combinatoire des etats dans le graphe de marquage. De plus, le systeme lineaire de la theorie des regions a resoudre peut contenir des combinaisons convexes entre ces equations ce qui rend la theorie insoluble pour calculer les superviseurs RdP. Ce travail vise a simplifier la complexite de calcul de la theorie des regions en reduisant le nombre d’equations du systeme lineaire de la theorie des regions d’une part, et d’autre part en minimisant le temps de calcul des controleurs RdP. De nouveaux concepts de coupes minimales et de marquages canoniques ont ete introduits afin d’appliquer la theorie des regions sur des zones precises du graphe et non pas sur la totalite du graphe de marquage. Finalement, deux autres nouvelles approches ont ete developpees pour synthetiser des controleurs RdP sans generer le graphe de marquage |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://tel.archives-ouvertes.fr/tel-01446779/document |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |