On observability of discrete-event systems
F. Lin,W. Wonham
The observability of discrete-event systems is investigated and a solution of the supervisory control and observation problem (SCOP) is obtained.