A NEW ARCHITECTURE FOR DECENTRALIZED CONTROL OF DISCRETE EVENT SYSTEMS: DECIDABILITY AND SYNTHESIS ISSUES
Ahmed Khoumsi · 2008
This paper deals with decentralized control of Discrete Event Systems, where a set of supervisors take enabling/disabling decisions which can be fused for deducing actual decisions. Recently, a new control architecture has been proposed that strictly includes the solutions of all previous architectures. A new notion of n-observability was deflned in the context of this architecture. As expected, this new n-observability is not preserved under union of languages. In the context of the above architecture, we propose a new notion of n-normality, which is stronger than n-observability and preserved under union of languages. We show that these new notions of n-observability and n-normality are undecidable. Then we discuss how to deal with this undecidability in order to be able to synthesize the supremal n-normal and controllable language included in a given language.