https://hal.inria.fr/inria-00520032Gaudin, BenoitBenoitGaudinVERTECS - Verification models and techniques applied to testing and control of reactive systems - Inria Rennes – Bretagne Atlantique - Inria - Institut National de Recherche en Informatique et en AutomatiqueMarchand, HervéHervéMarchandVERTECS - Verification models and techniques applied to testing and control of reactive systems - Inria Rennes – Bretagne Atlantique - Inria - Institut National de Recherche en Informatique et en AutomatiqueSupervisory Control of Asynchronous and Hierarchical Finite State MachinesHAL CCSD2003[INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE]Marchand, Hervé2010-09-22 09:35:562022-02-04 03:15:492010-09-23 10:13:02enConference papersapplication/pdf1In 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