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 Access content directly
Conference Papers Year : 2005

Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00520028 , version 1

Cite

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 View
130 Download

Share

Gmail Facebook Twitter LinkedIn More