Reconfigurable coordination of distributed discrete event control systems

IEEE Transactions on Control Systems Technology

Volumn 23, Issue 1, 2015, Pages 323-330

  Zhang, Jiafeng ^a,b   Khalgui, Mohamed ^c,d   Li, Zhiwu ^a,e,f   Frey, Georg ^b   Mosbahi, Olfa ^c   Salah, Hela Ben ^g  

^a XIDIAN UNIVERSITY   (China)

^b SAARLAND UNIVERSITY   (Germany)

^c UNIVERSITY OF CARTHAGE   (Tunisia)

^d CNR   (Italy)

^e MACAU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Macao)

^f KING ABDULAZIZ UNIVERSITY   (Saudi Arabia)

^g UNIVERSITY OF TUNIS EL MANAR   (Tunisia)

Author keywords

Discrete event system; distributed control system; Petri nets; reconfiguration.

Indexed keywords

COMPUTER CIRCUITS; DISCRETE EVENT SIMULATION; DISTRIBUTED PARAMETER CONTROL SYSTEMS; MODEL CHECKING; PETRI NETS; TRANSFER FUNCTIONS;

COMPUTATION TREE LOGIC; DISCRETE EVENT CONTROL SYSTEMS; DISTRIBUTED DISCRETE EVENT CONTROL SYSTEMS; DYNAMIC RECONFIGURABILITY; HARDWARE/SOFTWARE COMPONENTS; OPTIMAL COORDINATION; RECONFIGURABLE SUBSYSTEMS; RECONFIGURATION;

NETWORKED CONTROL SYSTEMS;

EID: 84919601071     PISSN: 10636536     EISSN: 1558-0865     Source Type: Journal    
DOI: 10.1109/TCST.2014.2313352     Document Type: Article

References (47)

1. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
2. F. Basile, P. Chiacchio, and G. D. Tommasi, "An efficient approach for online diagnosis of discrete event systems," IEEE Trans. Autom. Control, vol. 54, no. 4, pp. 748-759, Apr. 2009.
3. F. Basile and P. Chiacchio, "On the implementation of supervised control of discrete event systems," IEEE Trans. Control Syst. Technol., vol. 15, no. 4, pp. 725-739, Jul. 2007.
4. T. Parisini and S. Sacone, "Fault diagnosis and controller re-configuration: An hybrid approach," in Proc. ISIC, Sep. 1998, pp. 163-168.
5. P. Stoffels, W. M. Boussahel, M. Vielhaber, and G. Frey, "Energy engineering in the virtual factory," in Proc. 17th IEEE Int. Conf. Emerging Technol. Factory Autom., Sep. 2013, pp. 1-6.
6. R. Sampath, H. Darabi, U. Buy, and J. Liu, "Control reconfiguration of discrete event systems with dynamic control specifications," IEEE Trans. Autom. Sci. Eng., vol. 5, no. 1, pp. 84-100, Jan. 2008.
7. K. Ohashi and K. G. Shin, "Model-based control for reconfigurable manufacturing systems," in Proc. IEEE Int. Conf. Robot. Autom., 2001, pp. 553-558.
8. Y. Koren et al., "Reconfigurable manufacturing systems," Ann.-Manuf. Technol., vol. 48, no. 2, pp. 527-540, 1999.
9. G. Yasuda, "A distributed autonomous control architecture for synchronization and coordination of multiple robot systems," in Proc. SICE Ann. Conf., 2012, pp. 1864-1869.
10. J. Proenca, D. Clarke, E. de Vink, and F. Arbab, "Dreams: A framework for distributed synchronous coordination," in Proc. 27th Annu. ACM Symp. Appl. Comput., 2012, pp. 1510-1515.
11. M. Khalgui, O. Mosbahi, J. F. Zhang, Z. W. Li, and A. Gharbi, "Feasible dynamic reconfigurations of petri nets application to a production systems," in Proc. 6th Int. Conf. Softw. Database Technol., 2011, pp. 105-110.
12. J. F. Zhang, M. Khalgui, Z. W. Li, O. Mosbahi, and A. M. Al-Ahmari, "R-TNCES: A novel formalism for reconfigurable discrete event control systems," IEEE Trans. Syst., Man Cybern., Syst., vol. 43, no. 4, pp. 757-772, Jul. 2013.
13. D. Kalita and P. P. Khargonekar, "Formal verification for analysis and design of logic controllers for reconfigurable machining systems," IEEE Trans. Robot. Autom., vol. 18, no. 4, pp. 463-473, Aug. 2002.
14. A. S. Yigit, A. G. Ulsoy, and A. Allahverdi, "Optimizing modular product design for reconfigurable manufacturing," J. Intell. Manuf., vol. 13, no. 4, pp. 309-316, 2002.
15. R. Kolluru, K. P. Valavanis, S. A. Smith, and N. Tsourveloudis, "Design fundamentals of a reconfigurable robotic gripper system," IEEE Trans. Syst., Man Cybern., A, Syst. Humans, vol. 30, no. 2, pp. 181-187, Mar. 2000.
16. R. Mailler and V. Lesser, "A cooperative mediation-based protocol for dynamic distributed resource allocation," IEEE Trans. Syst., Man, Cybern., C, vol. 36, no. 1, pp. 80-91, Jan. 2006.
17. R. Mailler and V. Lesser, "A mediation based protocol for distributed constraint satisfaction," in Proc. 4th Int. Workshop Distrib. Constraint Reasoning, 2003, pp. 49-58.
18. J. Pitt and A. Mamdani, "Communication protocols in multi-agent systems: A development method and reference architecture," in Issues in Agent Communication, F. Dignum and M. Greaves, Eds. Berlin, Germany: Springer-Verlag, 2000, pp. 160-177.
19. C. Catalan, F. Serna, A. Blesa, J. M. Rams, and J. M. Colomn, "Communication types for manufacturing systems: A proposal to distributed control system based on IEC 61499," in Proc. IEEE Int. Conf. Autom. Sci. Eng., Trieste, Italy, Aug. 2011, pp. 767-772.
20. P. Novak, M. Rollo, J. Hodik, and T. Vlcek, "Communication security in multi-agent systems," in Multi-Agent Systems and Applications III. Berlin, Germany: Springer-Verlag, 2003, pp. 454-463.
21. M. Berna-koes, I. Nourbakhsh, and K. Sycara, "Communication efficiency in multi-agent systems," in Proc. Int. Conf. Robot. Autom., Apr./May 2004, pp. 2129-2134.
22. M. Sims, D. Corkill, and V. Lesser, "Automated organization design for multi-agent systems," Auto. Agents Multi-Agent syst., vol. 16, no. 2, pp. 151-185, 2008.
23. D. D. Corkill, D. Holzhauer, and W. Koziarz, "Turn off your radios! Environmental monitoring using power-constrained sensor agents," in Proc. First Int. Workshop Agent Technol. Sensor Netw., 2007, pp. 31-38.
24. M. Khalgui and O. Mosbahi, "Intelligent distributed control systems," Inf. Softw. Technol., vol. 52, no. 12, pp. 1259-1271, 2010.
25. M. Rausch and H. M. Hanisch, "Net condition/event systems with multiple condition outputs," in Proc. INRIA/IEEE Symp. Emerging Technol. Factory Autom., Oct. 1995, pp. 592-600.
26. M. Khalgui1 and H. M. Hanisch, "Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems," Int. J. Model., Identificat. Control, vol. 12, no. 3, pp. 223-243, 2011.
27. H. M. Hanisch and A. Luder, "Modular modelling of cloosed-loop systems," in Proc. Colloq. Petri Net Technol. Model. Commun. Based Syst., 1999, pp. 103-126.
28. P. H. Starke and S. Roch, "Analysing signal-net systems," in The Technical Report in Informatik-Berichte. Berlin, Germany: Humboldt-Univ., 2002.
29. S. Roch, "Extended computation tree logic," in Proc. Inf.-Bericht Workshop Concurrency, Special Program., 2000, pp. 225-234.
30. E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications," ACM Trans. Program. Lang. Syst., vol. 8, no. 2, pp. 244-263, 1986.
31. V. Vyatkin, Modelling and Verification of Discrete Control Systems With Net Condition/Event Systems and Verification Framework. Auckland, New Zealand, 2007.
32. H. M. Hanisch, J. Thieme, A. Luder, and O. Wienhold, "Modeling of PLC behavior by means of timed net condition/event systems," in Proc. Int. Conf. Emerging Technol. Factory Autom., 1997, pp. 391-396.
33. S. Preuße, D. Missal, C. Gerber, M. Hirsch, and H. M. Hanisch, "On the use of model-based IEC 61499 controller design," Int. J. Discrete Event Control Syst., vol. 1, no. 1, pp. 115-128, 2011.
34. C. Gerber, Implementation and Verification of Distributed Control Systems. Berlin, Germany: Logos Verlag, 2011.
35. S. Preuße, H. C. Lapp, and H. M. Hanisch, "Closed-loop system modeling, validation, and verification," in Proc. 17th IEEE Int. Conf. Emerging Technol. Factory Autom., Sep. 2012, pp. 1-8.
36. S. Preuße and H. M. Hanisch, "Verifying functional and non-functional properties of manufacturing control systems," in Proc. 3rd Int. Workshop Dependable Control Discrete Syst., 2011, pp. 41-46.
37. C. Gerber, S. Preuße, and H. M. Hanisch, "A complete framework for controller verification in manufacturing," in Proc. 15th IEEE Int. Conf. Emerging Technol. Factory Autom., Sep. 2010, pp. 1-9.
38. Z. W. Li and M. C. Zhou, "Elementary siphons of petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern., A, Syst. Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
39. Z. W. Li, M. C. Zhou, and N. Q. Wu, "A survey and comparison of petri net-based deadlock prevention policies for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern., C, Appl. Rev., vol. 38, no. 2, pp. 172-188, Mar. 2008.
40. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Berlin, Germany: Springer-Verlag, 2009.
41. Z. W. Li, M. C. Zhou, and N. Q. Wu, "Deadlock control of automated manufacturing systems based on petri nets-A literature review," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 42, no. 4, pp. 437-462, Jul. 2012.
42. D. Liu, Z. W. Li, and M. C. Zhou, "A parameterized liveness and ratioenforcing supervisor for a class of generalized Petri nets," Automatica, vol. 49, no. 11, pp. 3167-3179, 2013.
43. D. Liu, Z. W. Li, and M. C. Zhou, "Hybrid liveness-enforcing policy for generalized Petri net models of flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 43, no. 1, pp. 85-97, Jan. 2013.
44. E. M. Clarke, O. Grumberg, and D. Peled, Model Checking. Cambridge, MA, USA: MIT, 1999.
45. Y. F. Chen and Z. W. Li, Optimal Supervisory Control of Automated Manufacturing Systems. Boca Raton, FL, USA: CRC, 2013.
46. E. A. Emerson, A. K. Mok, A. P. Sistla, and J. Srinivasan, "Quantitative temporal reasoning," in Proc. 2nd Int. Comput. Aided Verification Conf., vol. 531. 1991, pp. 136-145.
47. M. Khalgui, O. Mosbahi, Z. W. Li, and H. M. Hanisch, "Reconfiguration of distributed embedded-control systems," IEEE/ASME Trans. Mechatron., vol. 16, no. 4, pp. 684-694, Aug. 2011.