Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

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
Fichier principal
Vignette du fichier
2005-MSR-Syst-Concur.pdf (151.43 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00520028 , version 1 (22-09-2010)

Identifiants

  • HAL Id : inria-00520028 , version 1

Citer

Benoit Gaudin, Hervé Marchand. Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents. 5ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2005, Autran, France. pp.79-94. ⟨inria-00520028⟩
51 Consultations
132 Téléchargements

Partager

Gmail Facebook X LinkedIn More