Design and implementation of decentralised supervisory control for manufacturing system automation

References

• Basile , F. 2004 . Modeling and logic controller specification of flexible manufacturing systems using behavioural traces and Petri net building blocks . Journal of Intelligent Manufacturing , 15 ( 3 ) : 351 – 371 .
   Web of Science ®Google Scholar
• Brandin , B. A. 1994 . “ The real-time supervisory control of an experimental manufacturing cell ” . In Systems Control Group Report No. 9404 , Department of Electrical and Computer Engineering, University of Toronto .
   Google Scholar
• Cai , K. and Wonham , W. M. 2010 . Supervisor localization for large discrete-event systems . International Journal of Advanced Manufacturing Technology , 50 ( 9–12 ) : 1189 – 1202 .
   Web of Science ®Google Scholar
• Cassandra , C. G. and Lafortune , S. 1989 . Introduction to discrete event systems , Boston, MA: Kluwer Academic Publishers .
   Google Scholar
• Chung , S. Y. and Lee , D. Y. 2005 . An augmented Petri net for modelling and control of assembly tasks with uncertainties . International Journal of Computer Integrated Manufacturing , 18 ( 2–3 ) : 170 – 178 .
   Web of Science ®Google Scholar
• Dai , X. , Li , J. and Meng , Z. 2009 . Hierarchical Petri net modeling of reconfigurable manufacturing systems with improved net rewriting systems . International Journal of Computer Integrated Manufacturing , 22 ( 2 ) : 158 – 177 .
   Web of Science ®Google Scholar
• Feng , L. , Cai , K. and Wonham , W. M. 2009 . A sturctual approach to the nonblocking supervisory control of discrete-event systems . International Journal of Manufacturing Technology , 41 ( 11–12 ) : 1152 – 1168 .
   Google Scholar
• Ferrarini , L. , Piroddi , L. and Allegri , S. 1999 . A comparative performance analysis of deadlock avoidance control algorithms for FMS . Journal of Intelligent Manufacturing , 10 ( 6 ) : 569 – 585 .
   Web of Science ®Google Scholar
• Giua , A. and Seatzu , C. Supervisory control of railway networks with Petri nets . Proceedings of the IEEE conference on decision and control . December 4–7 , Orlando, FL. pp. 5004 – 5009 . New York : IEEE Press .
   Google Scholar
• Golmakani , H. R. , Mills , J. K. and Benhabib , B. 2006 . On-line scheduling and control of flexible manufacturing cells using automata theory . International Journal of Computer Integrated Manufacturing , 19 ( 2 ) : 178 – 193 .
   Web of Science ®Google Scholar
• Jafari , M. A. A distributed discrete event dynamic mode for supply chain of business enterprises . Proceedings of the workshop on discrete event systems . October 2–4 , Zaragoza, Spain. pp. 279 – 285 .
   Google Scholar
• Leduc , R. J. 2005 . Hierarchical interface-based supervisory control-part I: serial case . IEEE Transactions on Automatic Control , 50 ( 9 ) : 1322 – 1335 .
   Web of Science ®Google Scholar
• Leduc , R. J. , Dai , P. and Song , R. 2009 . Synthesis method for hierarchical interface-based supervisory control . IEEE Transactions on Automatic Control , 54 ( 7 ) : 1548 – 1560 .
   Web of Science ®Google Scholar
• Leduc , R. J. , Lawford , M. and Dai , P. 2006 . Hierarchical interface-based supervisory control of a flexible manufacturing system . IEEE Transactions on Control Systems Technology , 14 ( 4 ) : 654 – 668 .
   Web of Science ®Google Scholar
• Lee , J-K. and Lee , T-E. 2002 . Automata-based supervisory control logic design for a multi-robot assembly cell . International Journal of Computer Integrated Manufacturing , 15 ( 4 ) : 319 – 334 .
   Web of Science ®Google Scholar
• Petin , J-F. , Gouyon , D. and Morel , G. 2007 . Supervisory synthesis for product-driven automation and its application to a flexible assembly cell . Control Engineering Practice , 15 ( 5 ) : 595 – 614 .
   Web of Science ®Google Scholar
• Queiroz , M. H.D. and Cury , J. E.R. Synthesis and implementation of local modular supervisory control for a manufacturing cell . Proceedings of the International Workshop on Discrete Event Systems . October 2–4 , Zaragoza, Spain. pp. 377 – 382 .
   Google Scholar
• Ramadge , P. J. and Wonham , W. M. 1987 . Supervisory control of a class of discrete event process . SIAM Journal of Control and Optimization , 25 ( 1 ) : 206 – 230 .
   Web of Science ®Google Scholar
• Ramadge , R. J. and Wonham , W. M. 1989 . The control of discrete event systems . Proceedings of IEEE , 77 ( 1 ) : 81 – 98 .
   Web of Science ®Google Scholar
• Ramirez-Serrano , A. 2002 . A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation . Journal of Intelligent Manufacturing , 13 ( 4 ) : 261 – 281 .
   Web of Science ®Google Scholar
• Ramirez-Serrano , A. and Benhabib , B. 2003 . Supervisory control of reconfigurable flexible-manufacturing workcells—temporary addition of resources . International Journal of Computer Integrated Manufacturing , 16 ( 2 ) : 93 – 111 .
   Web of Science ®Google Scholar
• Ricker , S. , Sarkar , N. and Rudie , K. 1996 . A discrete-event system approach to modeling dexterous manipulation . Robotica , 14 ( 5 ) : 515 – 526 .
   Google Scholar
• Rudie , K. and Wonham , W. M. 1992 . Think globally, act locally: decentralized supervisory control . IEEE Transactions on Automatic Control , 37 ( 11 ) : 1692 – 1708 .
   Web of Science ®Google Scholar
• Singh , N. , Sarngadharan , P. V. and Pal , P. K. 2010 . AGV scheduling for automated material distribution: a case study . Journal of Intelligent Manufacturing , doi: 10.1007/s10845-009-0283-9
   Web of Science ®Google Scholar
• Son , H. I. and Lee , S. 2007 . Failure diagnosis and recovery based on DES framework . Journal of Intelligent Manufacturing , 18 ( 2 ) : 249 – 260 .
   Web of Science ®Google Scholar
• Tittus , M. and Lennartson , B. 2002 . Hierarchical supervisory control for batch process . IEEE Transactions on Control System Technology , 7 ( 5 ) : 542 – 554 .
   Google Scholar
• Tsinarakis , G. J. , Tsourveloudis , N. C. and Valavanis , K. P. 2005 . Modular Petri net based modeling, analysis, synthesis and performance evaluation of random topology dedicated production systems . Journal of Intelligent Manufacturing , 16 ( 1 ) : 67 – 92 .
   Web of Science ®Google Scholar
• Wakerley , J. 1990 . Digital designs principles and practices , Englewood Cliffs, NJ: Prentice-Hall, Inc .
   Google Scholar
• Wonham , W. M. 1998 . Notes on control of discrete event systems , Department of Electrical and Computer Engineering, University of Toronto .
   Google Scholar
• Wonham , W. M. and Ramadge , P. J. 1987 . On the supremal controllable sublanguage of a given language . SIAM Journal of Control and Optimization , 25 ( 3 ) : 637 – 659 .
   Web of Science ®Google Scholar
• Wonham , W. M. and Ramadge , P. J. 1988 . Modular supervisory control of discrete event systems . Mathematics of Control Signals and Systems , 1 ( 1 ) : 13 – 30 .
   Google Scholar
• Yoo , T-S. and Lafortune , S. 2002 . A general architecrue for decentralized supervisory control of discrete-event systems . Discrete Event Dynamic Systems: Theory and Applications , 12 ( 3 ) : 335 – 377 .
   Web of Science ®Google Scholar
• Yoo , T-S. and Lafortune , S. 2004 . Decentralized supervisory control with conditional decisions: supervisor existence . IEEE Transactions on Automatic Control , 49 ( 11 ) : 1886 – 1904 .
   Web of Science ®Google Scholar