SUPERVISORY CONTROL OF CONCURRENT DISCRETE-EVENT SYSTEMS

When a discrete-event system P consists of several subsystems P1, ..., P(n) which operate concurrently, a natural approach to the supervisory control problem is to synthesize a 'local' controller S(i) for each subsystem P(i) and operate the individually controlled subsystems S(i)/P(i) concurrently. Such an approach is called concurrent supervisory control and is closely related to decentralized supervisory control as studied by Cieslak et al. (1988) and Lin and Wonham (1988). In the present paper simple and easily computable conditions are developed which guarantee that concurrent supervisory control can achieve the optimal behaviour achievable by a global supervisor. To achieve this, two specific concurrent control strategies are introduced.