Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: The existenc