Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents
Résumé
Dans cet article, nous nous intéressons au contrôle de systèmes à événements discrets concurrents définis par une collection de sous-systèmes interagissant les uns avec les autres. Étant donné un objectif de contrôle, le but consiste à calculer un superviseur maximal assurant cet objectif, sans construire explicitement le système à contrôler. Des approximations du système G sont dérivés à partir des sous-systèmes qui le composent, et une propriété appelée contrôlabilité partielle, devant être vérifiée par l'objectif sur ces approximations, est introduite. Assurer la contrôlabilité partielle de l'objectif sur chacune des approximations permet, sous certaines hypothèses, d'en déduire un superviseur maximal assurant l'objectif de contrôle sur G. Les calculs effectués ont une faible complexité et ne nécessitent pas de construire explicitement le système G, évitant ainsi l'explosion combinatoire inhérente aux systèmes concurrents
Domaines
Génie logiciel [cs.SE]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...