Nourelfath, Mustapha; Khoumsi, Ahmed - In: Mathematics and Computers in Simulation (MATCOM) 70 (2006) 5, pp. 408-418
We present a generalization of the classical supervisory control theory for discrete event systems to a setting of … centralized supervisory control problems in timed discrete event systems under full observation can be obtained. The enhanced … appropriate finite discrete subautomaton, the grid automaton, which contains enough information to deal with the timed supervisory …