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
Type de document :
Communication dans un congrès
5ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2005, Autran, France. Hermès, 39, pp.79-94, 2005, Journal Européen des Systèmes Automatisés
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00520028
Contributeur : Hervé Marchand <>
Soumis le : mercredi 22 septembre 2010 - 09:24:52
Dernière modification le : mercredi 11 avril 2018 - 01:54:37
Document(s) archivé(s) le : jeudi 23 décembre 2010 - 02:48:11

Fichier

2005-MSR-Syst-Concur.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. Hermès, 39, pp.79-94, 2005, Journal Européen des Systèmes Automatisés. 〈inria-00520028〉

Partager

Métriques

Consultations de la notice

125

Téléchargements de fichiers

111