Title :
Deadlock avoidance control synthesis in manufacturing systems using model checking
Author :
Wang, Yin ; Wu, Zhiming
Author_Institution :
Shanghai Jiaotong University
Keywords :
Automata; Automatic control; Control system synthesis; Digital audio players; Logic; Manufacturing automation; Manufacturing systems; Polynomials; Routing; System recovery;
Conference_Titel :
American Control Conference, 2003. Proceedings of the 2003
Print_ISBN :
0-7803-7896-2
DOI :
10.1109/ACC.2003.1239839
