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

by P J Ramadge, W M Wonham
Venue:SIAM J. Control Optim