Title :
A dynamic-programming-type technique for the control of timed discrete-event systems
Author_Institution :
Dept. of Electr. & Comput. Eng., R. Mil. Coll. of Canada, Kingston, Ont., Canada
Abstract :
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
Keywords :
computability; control system synthesis; decision theory; discrete event systems; dynamic programming; production control; state feedback; decision theory; dynamic-programming; manufacturing system; production control; solvability; state feedback; timed discrete-event systems; Clocks; Control system synthesis; Control systems; Discrete event systems; Educational institutions; Law; Legal factors; Manufacturing systems; Military computing;
Conference_Titel :
American Control Conference, 2000. Proceedings of the 2000
Conference_Location :
Chicago, IL
Print_ISBN :
0-7803-5519-9
DOI :
10.1109/ACC.2000.879230
