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

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