Supervisory control of concurrent discrete-event systems

Abstract

Abstract When a discrele-event system P consists of several subsystems P1,...,Pn which operate concurrently, a natural approach to the supervisory control problem is to synthesize a 'local' controller Si , for each subsystem Pi , and operate the individually controlled subsystems Si/Pi 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.