Discrete Event Dynamic Systems

, Volume 12, Issue 3, pp 335–377

A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems

  • T.-S. Yoo
  • Stéphane Lafortune

DOI: 10.1023/A:1015625600613

Cite this article as:
Yoo, TS. & Lafortune, S. Discrete Event Dynamic Systems (2002) 12: 335. doi:10.1023/A:1015625600613


We consider a generalized form of the conventional decentralized control architecture for discrete-event systems where the control actions of a set of supervisors can be “fused” using both union and intersection of enabled events. Namely, the supervisors agree a priori on choosing “fusion by union” for certain controllable events and “fusion by intersection” for certain other controllable events. We show that under this architecture, a larger class of languages can be achieved than before since a relaxed version of the notion of co-observability appears in the necessary and sufficient conditions for the existence of supervisors. The computational complexity of verifying these new conditions is studied. A method of partitioning the controllable events between “fusion by union” and “fusion by intersection” is presented. The algebraic properties of co-observability in the context of this architecture are presented. We show that appropriate combinations of fusion rules with corresponding decoupled local decision rules guarantee the safety of the closed-loop behavior with respect to a given specification that is not co-observable. We characterize an “optimal” combination of fusion rules among those combinations guaranteeing the safety of the closed-loop behavior. In addition, a simple supervisor synthesis technique generating the infimal prefix-closed controllable and co-observable superlanguage is presented.

supervisory control decentralized architectures decision fusion computational complexity supervisor synthesis 

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • T.-S. Yoo
    • 1
  • Stéphane Lafortune
    • 1
  1. 1.Department of Electrical Engineering and Computer ScienceThe University of MichiganAnn ArborU.S.A.

Personalised recommendations