Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/inria-00520028
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Wednesday, September 22, 2010 - 9:24:52 AM
Last modification on : Friday, February 4, 2022 - 3:15:58 AM
Long-term archiving on: : Thursday, December 23, 2010 - 2:48:11 AM

File

2005-MSR-Syst-Concur.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00520028, version 1

Citation

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⟩

Share

Metrics

Record views

51

Files downloads

112