Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds.