Synthèse de contrôleurs discrets par simplification de contraintes et de conditions
Dans ce travail, nous proposons une méthode systématique et facile de mise en œuvre pour la synthèse du contrôle des systèmes à événements discrets. Nous modélisons les systèmes par des modèles RdP saufs. Deux idées distinctes sont utilisées : 1) ajout de places de contrôle pour empêcher l'atte...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00152553 http://tel.archives-ouvertes.fr/docs/00/15/25/53/PDF/These_24.pdf |