A synthesis approach to distributed supervisory control design for manufacturing systems with Grafcet implementation

References

• Akesson, K., M. Fabian, H. Flordal, and R. Malik. 2006. “Supremica-an Integrated Environment for Verification, Synthesis and Simulation of Discrete Event Systems.” In IEEE 8th International Workshop on Discrete Event Systems, 384–385. Michigan.
   Google Scholar
• Baier, C., and J. P. Katoen. 2008. Principles of Model Checking. Boston, MA: MIT Press.
   Google Scholar
• Balemi, S., G. J. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. F. Franklin. 1993. “Supervisory Control of a Rapid Thermal Multiprocessor.” IEEE Transactions on Automatic Control 38 (7): 1040–1059.10.1109/9.231459
   Web of Science ®Google Scholar
• Behrmann, G., A. David, and K. G. Larsen. 2006. “A Tutorial on Uppaal.” In Formal Methods for the Design of Real-time Systems, 200–236. Berlin Heidelberg: Springer-Verlag.
   Google Scholar
• Biallas, S., J. Brauer, and S. Kowalewski. 2012. “Arcade.PLC: A Verification Platform for Programmable Logic Controllers.” In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE, 338–341. Essen.
   Google Scholar
• Cassandras, C. G., and S. Lafortune. 2008. Introduction to Discrete Event Systems. 2nd ed. New York: Springer.10.1007/978-0-387-68612-7
   Google Scholar
• Cury, J. E. R., M. H. de Queiroz, G. Bouzon, and M. Teixeira. 2015. “Supervisory Control of Discrete Event Systems with Distinguishers.” Automatica 56: 93–104.10.1016/j.automatica.2015.03.025
   Web of Science ®Google Scholar
• David, R., and H. Alla. 2010. Discrete, Continuous, and Hybrid Petri Nets. Berlin: Springer.10.1007/978-3-642-10669-9
   Google Scholar
• Feng, L., and W. M. Wonham. 2008. “Supervisory Control Architecture for Discrete-event Systems.” IEEE Transactions on Automatic Control 53: 1449–1461.10.1109/TAC.2008.927679
   Web of Science ®Google Scholar
• Gouyon, D., J. F. Petin, and A. Gouin. 2004. “Pragmatic approach for modular control synthesis and implementation.” International Journal of Production Research 42 (14): 2839–2858.10.1080/00207540410001705194
   Web of Science ®Google Scholar
• Hill, R. C., J. E. R. Cury, M. H. de Queiroz, D. M. Tilbury, and S. Lafortune. 2010. “Multi-level Hierarchical Interface-based Supervisory Control.” Automatica 46 (7): 1152–1164.10.1016/j.automatica.2010.04.002
   Web of Science ®Google Scholar
• Hopcroft, J., R. Motwani, and J. Ullman. 2006. Introduction to Automata Theory, Languages, and Computation. 3rd ed. Boston, MA: Addison-Wesley Longman.
   Google Scholar
• Hu, H., C. Chen, R. Su, Y. Liu, and M. C. Zhou. 2014. “Distributed Supervisor Synthesis for Automated Manufacturing Systems Using Petri Nets.” In 2014 IEEE International Conference on Robotics and Automation (ICRA), 4423–4429. Hong Kong.10.1109/ICRA.2014.6907504
   Google Scholar
• Hu, H., R. Su, M. C. Zhou, and Y. Liu. 2015. “Polynomially Complex Synthesis of Distributed Supervisors for Large-scale AMSs Using Petri Nets.” IEEE Transactions on Control Systems Technology 24 (5): 1–13.10.1109/TCST.2015.2445852
   Web of Science ®Google Scholar
• IEC Standard 60848. 2013. Grafcet Specification Language for Sequential Function Charts. International Electrotechnical Commission. Geneva.
   Google Scholar
• IEC Standard 61131-3. 2013. Programmable Controllers – Part 3: Programming Languages. International Electrotechnical Commission. Geneva.
   Google Scholar
• Komenda, J., T. Masopust, and J. H. van Schuppen. 2012. “Supervisory Control Synthesis of Discrete-event Systems using a Coordination Scheme.” Automatica 48 (2): 247–254.10.1016/j.automatica.2011.07.008
   Web of Science ®Google Scholar
• Lu, M. S., and S. F. Liao. 2009. “An Integrated IDEF0-3/CTPN/SFC Approach for Design and Analysis of Discrete Event Control Systems.” International Journal of Production Research 47: 6433–6453.10.1080/00207540802270104
   Web of Science ®Google Scholar
• Philippot, A. 2006. “Contribution Au Diagnostic Décentralisé Des Systèmes À Événements Discrets: Application Aux Systèmes Manufacturiers.” PhD thesis, Université de Reims-Champagne Ardenne (in French).
   Google Scholar
• Philippot, A., and A. Tajer. 2010. “From GRAFCET to Equivalent Graph for Synthesis Control of Discrete Events Systems.” In The IEEE 18th Mediterranean Conference on Control and Automation (MED10), 683–688. Marrakech.
   Google Scholar
• Philippot, A., M. Sayed Mouchaweh, and V. Carré-Ménétrier. 2009. “Modelling of a Discrete Manufacturing System by Parts of Plant.” In 13th IFAC Symposium on INformation COntrol Problems in Manufacturing (INCOM’09), 343–348. Moscow.
   Google Scholar
• Philippot, A., A. Tajer, and V. Carré-Ménétrier. 2012. “From Centralized to Decentralized Approach for Optimal Controller of Discrete Manufacturing Systems.” ARPN Journal of Science and Technology 2 (10): 936–949.
   Google Scholar
• Qamsane, Y., A. Tajer, and A. Philippot. 2014. “Synthesis and Implementation of Distributed Control for a Flexible Manufacturing System.” In IEEE Second World Conference on Complex Systems (WCCS), 323–329. Agadir.10.1109/ICoCS.2014.7060960
   Google Scholar
• Ramadge, P. J., and W. M. Wonham. 1987. “Supervisory Control of a Class of Discrete Event Processes.” SIAM Journal on Control and Optimization 25 (1): 206–230.10.1137/0325013
   Web of Science ®Google Scholar
• Riera, B., A. Philippot, R. Coupat, F. Gellot, and D. Annebicque. 2015. “A Non-intrusive Method to Make Safe Existing PLC Program.” The 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS’15). Paris.
   Google Scholar
• Sayed-Mouchaweh, M., A. Philippot, and V. Carre-Menetrier. 2008. “Decentralized Diagnosis Based on Boolean Discrete Event Models: Application on Manufacturing Systems.” International Journal of Production Research 46 (19): 5469–5490.10.1080/00207540802367074
   Web of Science ®Google Scholar
• Schumacher, F., and A. Fay. 2014. “Formal Representation of GRAFCET to Automatically Generate Control Code.” Control Engineering Practice 33: 84–93.10.1016/j.conengprac.2014.09.008
   Web of Science ®Google Scholar
• Seow, K. T. 2014. “Organizational Control of Discrete-event Systems: A Hierarchical Multi-world Supervisor Design”. IEEE Transactions on Control Systems Technology 29 (2): 695–1306.
   Google Scholar
• Shu, S., and F. Lin. 2014. “Decentralized Control of Networked Discrete Event Systems with Communication Delays.” Automatica 50: 2108–2112.10.1016/j.automatica.2014.05.035
   Web of Science ®Google Scholar
• Silva, D. B., A. D. Vieira, E. F. R. Loures, M. A. Busetti, and E. A. P. Santos. 2011. “Dealing with Routing in an Automated Manufacturing Cell: A Supervisory Control Theory Application.” International Journal of Production Research 49: 4979–4998.10.1080/00207543.2010.519732
   Web of Science ®Google Scholar
• Tajer, A., A. Philippot, and V. Carré-Ménétrier. 2011. “Distributed Optimal Controller for Manufacturing Systems through Synthesis Approach.” The IEEE International Conference on Communication, Computing and Control Applications (CCCA’11). Hammamet.
   Google Scholar
• Tajer, A., A. Philippot, and V. Carré-Ménétrier. 2013. “Centralised Controller for Manufacturing Systems through Liveness Extraction Approach.” International Journal of Systems, Control and Communications 5 (3): 189–213.10.1504/IJSCC.2013.058175
   Google Scholar
• W3C. 2012. “Extensible Markup Language (XML) 1.0”. World Wide Web Consortium 5th ed. Accessed 5, 2012. http://www.w3.org/TR/xml/
   Google Scholar
• Wang, L., C. Mahulea, and M. Silva. 2013. “Distributed Model Predictive Control of Timed Continuous Petri Nets.” In IEEE 52nd Annual Conference on Decision and Control (CDC), 6317–6322. IEEE. Florence.
   Google Scholar
• Wong, K. C., and W. M. Wonham. 1996. “Hierarchical Control of Discrete-event Systems.” Discrete Event Dynamic Systems 6 (3): 241–273.10.1007/BF01797154
   Web of Science ®Google Scholar
• Wonham, W.M. 2012. Supervisory Control of Discrete-event Systems. Systems Control Group, Department of Electrical and Computer Engineering, University of Toronto. http://www.control.toronto.edu/DES.
   Google Scholar
• Wonham, W. M., and J. G. Ramadge. 1988. “Modular Supervisory Control of Discrete Event Systems.” Mathematics of Control, Signals, and Systems 1 (1): 13–30.10.1007/BF02551233
   Google Scholar
• Yang, Y., H. Hu, and Y. Liu. 2015. “A Petri Net-based Distributed Control of Automated Manufacturing Systems with Assembly Operations.” In 2015 IEEE International Conference on Automation Science and Engineering (CASE), 1090–1097. Gothenburg.10.1109/CoASE.2015.7294244
   Google Scholar
• Zaytoon, J., and V. Carré-Ménétrier. 2001. “Synthesis of Control Implementation for Discrete Manufacturing Systems.” International Journal of Production Research 39 (2): 329–345.10.1080/00207540010002388
   Web of Science ®Google Scholar