Computational Procedures for Robust Nonblocking Supervisory Control of Discrete-Event Systems