TY - GEN
T1 - Supervisory controller optimization for deadlock resolution in automated manufacturing systems with timed petri nets
AU - Hu, Hesuan
AU - Zhou, Mengchu
AU - Li, Zhiwu
PY - 2009
Y1 - 2009
N2 - For automated manufacturing systems (AMS), few the existing approaches can incorporate the optimization of some prominent quantitative performance measures during their controller synthesis process for liveness-enforcing supervision. This causes unnecessary control limitations that often lead to higher implementation cost and lower performance. We propose a method in the paradigm of a class of timed Petrinets to minimize the cycle time of such systems. This problem is characterized in the form of mixed integer programming (MIP) formulation which can properly balance the trade-off between the control implementation cost and system efficiency. An example highlights the effectiveness and efficiency of the proposed approach.
AB - For automated manufacturing systems (AMS), few the existing approaches can incorporate the optimization of some prominent quantitative performance measures during their controller synthesis process for liveness-enforcing supervision. This causes unnecessary control limitations that often lead to higher implementation cost and lower performance. We propose a method in the paradigm of a class of timed Petrinets to minimize the cycle time of such systems. This problem is characterized in the form of mixed integer programming (MIP) formulation which can properly balance the trade-off between the control implementation cost and system efficiency. An example highlights the effectiveness and efficiency of the proposed approach.
UR - http://www.scopus.com/inward/record.url?scp=70349149855&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=70349149855&partnerID=8YFLogxK
U2 - 10.1109/ICNSC.2009.4919252
DO - 10.1109/ICNSC.2009.4919252
M3 - Conference contribution
AN - SCOPUS:70349149855
SN - 9781424434923
T3 - Proceedings of the 2009 IEEE International Conference on Networking, Sensing and Control, ICNSC 2009
SP - 91
EP - 96
BT - Proceedings of the 2009 IEEE International Conference on Networking, Sensing and Control, ICNSC 2009
T2 - 2009 IEEE International Conference on Networking, Sensing and Control, ICNSC 2009
Y2 - 26 March 2009 through 29 March 2009
ER -