and W.M.Wonham. Supervisory control of a class of discrete event systems (1987)

by P J G Ramadge
Venue:SIAM Journal Control Optim