Sava, Alexandru Tiberiu; Alla, Hassane - In: Mathematics and Computers in Simulation (MATCOM) 70 (2006) 5, pp. 250-265
In this paper, we introduce a control synthesis method for discrete event systems whose behavior is dependent on explicit values of time. Our goal is to control the occurrence dates of the controllable events so that the functioning of the system respects given specifications. The system to be...