Control of vector discrete-event systems. II. Controller synthesis | IEEE Journals & Magazine | IEEE Xplore