Supervisor Localization of Timed Discrete-Event Systems Under Partial Observation | IEEE Journals & Magazine | IEEE Xplore