Supervisory control of a class of discrete-event processes (1987)

by P J Ramadge, W M Wonham
Venue:SIAM Journal of Control and Optimization