On Supervisory Control of Concurrent Discrete-Event Systems

  title={On Supervisory Control of Concurrent Discrete-Event Systems},
  author={Yosef Willner and Michael Heymann},
When a discrete-event system P consists of several subsystems P1, . . . , Pn that 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 in [4] and [5]. In the present paper simple and easily computable conditions… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS