A new scheme for the modular control of discrete event systems is presented. This scheme is an exten sion of earlier works on modular control in the realm of the Supervisory Control Theory of discrete event systems. The key feature of this scheme is the use of a priority mechanism based on the priority functions of individual supervisors, in the process of combining the control actions of individual supervisors. This ap proach is motivated by both theoretical and practical considerations. On the theoretical side, it is of inter est to attempt to mitigate the blocking problem that arises in modular control by allowing other types of composition of the control actions of the individual supervisors than pure conjunction. On the practical side, the recent work on the problem of "feature in teractions" in telecommunications networks has mo tivated us to consider the use of priorities in resolving conflicts. In this paper, we first show how to design individual supervisors so that they can operate under this scheme. Then we present our "modular control with priorities" scheme and study some of its proper ties.
[1]
R.P. Malhame,et al.
Conflict resolution in modular control with applications to feature interaction
,
1995,
Proceedings of 1995 34th IEEE Conference on Decision and Control.
[2]
M. Heymann.
Concurrency and discrete event control
,
1990,
IEEE Control Systems Magazine.
[3]
Christos G. Cassandras,et al.
Introduction to the Modelling, Control and Optimization of Discrete Event Systems
,
1995
.
[4]
Mark A. Shayman,et al.
Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
,
1995
.
[5]
W. M. Wonham,et al.
The control of discrete event systems
,
1989
.