Park, S.-J., & Raisch, J. (2015). Supervisory Control of Hybrid Systems Under Partial Observation Based on l-Complete Approximations. IEEE Transactions on Automatic Control, 60(5), 1404-1409. doi:10.1109/TAC.2014.2353132.