,
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. Proceedings of Mediterranean Conference on Control and Automation 2009, 1120–1125.