Contrôle de systèmes à événements discrets hiérarchiques

Résumé : Dans ce papier, nous nous intéressons au contrôle de systèmes à événements discrets modélisés par des machines à états finis hiérarchiques. Le problème du contrôle que nous nous posons est d'assurer l'interdiction d'un ensemble particulier de configurations dans le système. Nous présentons des algorithmes qui, basés sur une décomposition particulière de cet ensemble, résolvent localement les problèmes de contrôle (i.e. sur chaque composant du système sans avoir à calculer explicitement le système) et produisent un contrôleur global assurant la propriété attendue. Ce type d'objectifs peut être utilisé pour décrire/assurer des interactions entre différents sous-systèmes.
Type de document :
Communication dans un congrès
4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. Lavoisier, pp.383-397, 2003, Modélisation des Systèmes Réactifs
Liste complète des métadonnées

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

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

Fichier

2003-MSR-HFSM_asynch.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00520044, version 1

Collections

Citation

Benoit Gaudin, Hervé Marchand. Contrôle de systèmes à événements discrets hiérarchiques. 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. Lavoisier, pp.383-397, 2003, Modélisation des Systèmes Réactifs. 〈inria-00520044〉

Partager

Métriques

Consultations de la notice

122

Téléchargements de fichiers

213