Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Wednesday, September 22, 2010 - 9:35:56 AM
Last modification on : Friday, February 4, 2022 - 3:15:49 AM
Long-term archiving on: : Thursday, December 23, 2010 - 2:48:48 AM


Files produced by the author(s)


  • HAL Id : inria-00520032, version 1


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



Record views


Files downloads