Robust Supervisory Control of Uncertain Timed Discrete Event Systems Based on Activity Models and Eligible Time Bounds