A dynamic-programming-type technique for the control of timed discrete-event systems
Tan-Jan Ho · 2000
We study a class of synthesis problems (control-invariance) in timed discrete-event systems within our framework. To tackle the intended control problems, we introduce a dynamic programming-type technique to determine how to utilize forcing admitted in controller synthesis. As a result, we obtain solvability conditions to the problem as well as a synthesis procedure. Finally, we apply our results to resolving some control problems in a manufacturing system.