PH.D. Dissertations - "Computationally Efficient Supervisor Design for Discrete-Event Systems" | IEEE Journals & Magazine | IEEE Xplore