Aggregation in Hierarchical Discrete-Event Systems
Discrete Event Dynamic Systems
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction
Discrete Event Dynamic Systems
ISC '07 Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control
Automatica (Journal of IFAC)
Hi-index | 0.00 |
The decentralized supervisory control problem is to construct for a discrete-event system a set of supervisors each observing only part of the system and each controlling only part of the events such that the interconnection of the system and the supervisors meets control objectives of safety and liveness. Definitions are provided of the concepts of a maximal solution, of a Nash equilibrium, and of a strong Nash equilibrium for a set of supervisors with as order relation the inclusion relation on the set of closed-loop languages. The main result is that a set of supervisors is a maximal solution if and only if it is a strong Nash equilibrium. A procedure to determine a Nash equilibrium is described and illustrated by an example. There is no guarantee that the procedure halts in finite time. However, in the case that it halts in finite time, then it is proven that a Nash equilibrium is obtained.