Supervisory Control of Asynchronous and Hierarchical Finite State Machines - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Supervisory Control of Asynchronous and Hierarchical Finite State Machines

Résumé

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
Fichier principal
Vignette du fichier
2003-ECC-FSM_Asynch.pdf (118.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00520032 , version 1

Citer

Benoit Gaudin, Hervé Marchand. Supervisory Control of Asynchronous and Hierarchical Finite State Machines. European Control Conference, Sep 2003, Cambridge, United Kingdom. ⟨inria-00520032⟩
74 Consultations
78 Téléchargements

Partager

Gmail Facebook X LinkedIn More