From forbidden state to linear constraints for the optimal supervisory control