Supervisor localization of timed discrete-event systems under partial observation | IEEE Conference Publication | IEEE Xplore