A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
Discrete Event Dynamic Systems
PSPACE-completeness of Modular Supervisory Control Problems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
ISC '07 Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control
A framework for FSM based multi-model approach to interconnected components' network
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Integrating discrete controller synthesis into a reactive programming language compiler
Discrete Event Dynamic Systems
| Hi-index | 0.00 |
The decentralized supervisory control problem of discrete event systems under partial observation is studied in this paper. The main result of the paper is a necessary and sufficient condition for the existence of decentralized supervisors for ensuring. That the controlled behavior of the system lies in a given range. The contribution of the paper is (1) our setting of decentralized control generalizes the prior ones; (2) we present an alternative approach for solving the decentralized control problem, which leads to computational saving for concurrent systems and certain other systems; and (3) our generalized formulation and its solution lets us extend several of the existing results reported previously. The results of our paper are illustrated by an example of a simple manufacturing system