,
IEEE
Mediterranean Conference on Control and Automation
Scientific Computing

Su, R., van Schuppen, J., & Rooda, J. (2009). An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems. In Proceedings of Mediterranean Conference on Control and Automation 2009 (pp. 1120–1125). IEEE.