Symbolic Computation of Reduced Guards in Supervisory Control | IEEE Journals & Magazine | IEEE Xplore