Supervisory Control of Asynchronous and Hierarchical Finite State Machines

Abstract : In this paper, modular supervisory control of a class of Discrete Event Systems is investigated. Discrete event systems are modeled by a Hierarchical Finite State Machine. The basic problem of interest is to solve the State Avoidance Control Problem. We provide algorithms that, based on a particular decomposition of the set of forbidden configurations, locally solve the control problem (i.e. on each component without computing the whole system) and produce a global supervisor ensuring the desired property. This kind of objectives may be useful to perform dynamic interactions between different parts of a system
Type de document :
Communication dans un congrès
European Control Conference, Sep 2003, Cambridge, United Kingdom. 2003
Liste complète des métadonnées

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

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

Fichier

2003-ECC-FSM_Asynch.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00520032, version 1

Citation

Benoit Gaudin, Hervé Marchand. Supervisory Control of Asynchronous and Hierarchical Finite State Machines. European Control Conference, Sep 2003, Cambridge, United Kingdom. 2003. 〈inria-00520032〉

Partager

Métriques

Consultations de la notice

158

Téléchargements de fichiers

126