Supervisory control of discrete-event processes with partial observations | doi.page