State-based supervisory control with restrictions on the supervisor realization. - Pedro A. C. F. Leite; Fabio L. Baldissera; José E. R. Cury (Discret. Event Dyn. Syst., 2020)