Journal of Intelligent Manufacturing

, Volume 23, Issue 6, pp 2531–2549 | Cite as

RETRACTED ARTICLE: A multi-agent architectural solution for coherent distributed reconfigurations of function blocks

  • Mohamed Khalgui
  • Olfa Mosbahi
  • Hans-Michael Hanisch
  • Zhiwu Li
Article

Abstract

The paper deals with distributed Multi-Agent Reconfigurable Embedded Control Systems following the International Industrial Standard IEC61499 in which a Function Block (abbreviated by FB) is an event-triggered software component owning data and a control application is a network of distributed blocks that should satisfy functional and temporal properties according to user requirements. We define an architecture of reconfigurable multi-agent systems in which a Reconfiguration Agent is affected to each device of the execution environment to apply local reconfigurations, and a Coordination Agent is proposed for coordinations between devices in order to guarantee safe and adequate distributed reconfigurations. A Communication Protocol is proposed to handle coordinations between agents by using well-defined Coordination Matrices. We specify both reconfiguration agents to be modelled by nested state machines, and the Coordination Agent according to the formalism Net Condition-Event Systems (Abbreviated by NCES) which is an extension of Petri nets. To validate the whole architecture, we check by applying the model checker SESA in each device functional and temporal properties to be described according to the temporal logic “Computation Tree Logic”. We have also to check all possible coordinations between devices by verifying that whenever a reconfiguration is applied in a device, the Coordination Agent and other concerned devices react as described in user requirements. We present a tool applying simulations of this distributed architecture in order to check interactions and reactivities of agents. The paper’s contributions are applied to two Benchmark Production Systems available in our research laboratory.

Keywords

Embedded control systems Manufacturing systems Reconfigurations Multi-agents Coordination Modelling Verification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Al-Safi, Y., & Vyatkin, V. (2007). An ontology-based reconfiguration agent for intelligent mechatronic systems. In Third international conference on industrial applications of holonic and multi-agent systems. Springer.Google Scholar
  2. Alur, R., & Henzinger, T. A. (1992). Logics and models of real-time: A survey. In Proceedings of real-time: theory in practice, Vol. 600 of Lecture notes in computer science. Springer.Google Scholar
  3. Angelov, C., Sierszecki, K., & Marian, N. (2005). Design models for reusable and reconfigurable state machines. In L. T. Yang et al. (Eds.), EUC 2005, LNCS 3824, International federation for information processing (pp. 152–163).Google Scholar
  4. Baruah, S., & Goossens, J. (2004). Scheduling real-time tasks: Algorithms and complexity. In J. Y.-T. Leung (Ed.), Handbook of scheduling: Algorithms, models, and performance analysis (38 pp.). Boca Raton: Chapman Hall/CRC Press.Google Scholar
  5. Berna-koes, M., Nourbakhsh, I., & Sycara, K. (2003). Communication efficiency in multiagent systems. In International conference on robotics and automation (pp. 2129–2134), April 26 to May 1, 2004.Google Scholar
  6. Brennan, R. W., Fletcher, M., & Norrie, D. H. (2001). A holonic approach to reconfiguring real-time distributed control systems. In Book: Multi-agent systems and applications: MASA’01. Springer.Google Scholar
  7. Corkill, D. D., Holzhauer, D., & Koziarz, W. (2007). Turn off your radios! environmental monitoring using power-constrained sensor agents. In In first international workshop on agent technology for sensor networks (ATSN-07) (pp. 31–38). Honolulu, Hawaii.Google Scholar
  8. Crnkovic I., Larsson M. (2002) Building reliable component-based software systems. Artech House, UKGoogle Scholar
  9. Du Y., Jiang C., Zhou M. (2009) A petri net-based model for verification of obligations and accountability in cooperative systems. In IEEE Transactions on Systems, Machine and Cybernetics, 39(2): 299–308CrossRefGoogle Scholar
  10. Hanisch, H.-M., & Luder, A. (1999). Modular modelling of closed-loop systems. In Colloquium on petri net technologies for modelling communication based systems (pp. 103–126). Germany.Google Scholar
  11. International Standard IEC61499. (2004). Industrial process measurements and control systems. In International Electrotechnical Commission (IEC) Committee Draft.Google Scholar
  12. Kim T.-H., Lopez J., Park J. H. (2010) Deqing Zou and Hangbae Chang. Intelligent manufacturing system and security and assurance. In Journal of Intelligent Manufacturing, 21(5): 593–594Google Scholar
  13. Khalgui, M., & Hanisch, H.-M. (2009) Reconfiguration of industrial embedded control systems. In Behavioral modeling for embedded systems and technologies: Applications for design and implementation.Google Scholar
  14. Khalgui M., Rebeuf X., Simonot-Lion F. (2007) A deployment method of component based applications on distributed industrial control systems. European Jounal of Automated Systems. 41(6): 707–732CrossRefGoogle Scholar
  15. Lewis R. (2001) Modelling control systems using iec 61499. Institution of Engineering and Technology, UKGoogle Scholar
  16. Mailler, R., & Lesser, V. (2003). A mediation based protocol for distributed constraint satisfaction. In The fourth international workshop on distributed constraint reasoning (pp. 49–58).Google Scholar
  17. Mailler, R., & Lesser, V. (2006) A cooperative mediation-based protocol for dynamic, distributed resource allocation. In IEEE transaction on systems, man, and cybernetics, part C, special issue on game-theoretic analysis and stochastic simulation of negotiation agents (Vol. 36, no. 1, pp. 80–91). IEEE Press.Google Scholar
  18. Mailler, R., Lesser, V., & Horling, B. (2003). Cooperative negotiation for soft real-time distributed resource allocation. In Proceedings of second international joint conference on autonomous agents and multiAgent systems (AAMAS 2003) (pp. 576–583). ACM Press.Google Scholar
  19. Novak, P., Rollo, M., Hodik, J., & Vlcek, T. (2003). Communication security in multi-agent systems. In Multi-agent systems and aplications III (pp.454–463). Springer.Google Scholar
  20. Pitt J., Mamdani A. (2000) Communication protocols in multi-agent systems: A development method and reference architecture. In: Dignum F., Greaves M. (eds) Issues in agent communication, LNAI 1916. Springer, Berlin, pp 160–177CrossRefGoogle Scholar
  21. Rausch, M., & Hanisch, H.-M. (1995). Net condition/event systems with multiple condition outputs. In Symposium on emerging technologies and factory automation (Vol. 1, pp. 592–600).Google Scholar
  22. Roch, S. (2000a). Extended computation tree logic. In Proceedings of the CESP2000 workshop, number 140 in informatik Berichte (pp. 225–234). Germany.Google Scholar
  23. Roch, S. (2000b). Extended computation tree logic: Implementation and application. In Proceedings of the AWPN2000 workshop Germany.Google Scholar
  24. Rooker, M. N., Sunder, C., Strasser, T., Zoitl, A., Hummer, O., & Ebenhofer, G. (2007). Zero downtime reconfiguration of distributed automation systems: The εcedac approach. In Third international conference on industrial applications of holonic and multi-agent systems. Springer.Google Scholar
  25. Salido M. A. (2010) Special issue on planning, scheduling and constraint satisfaction. Journal of Intelligent Manufacturing 21(1): 1–4CrossRefGoogle Scholar
  26. Sims, M., Corkill, D., & Lesser, V. (2008) Automated organization design for multi-agent systems. In Autonomous agents and multi-agent systems (Vol. 16, no. 2, pp. 151–185). Netherlands: Springer.Google Scholar
  27. Steblovnik K., Zazula D. (2011) A novel agent-based concept of household appliances. Journal of Intelligent Manufacturing 22(1): 73–88CrossRefGoogle Scholar
  28. TehraniNik Nejad H., Sugimura N., Iwamura K., Tanimizu Y. (2010) Multi agent architecture for dynamic incremental process planning in the flexible manufacturing system. Journal of Intelligent Manufacturing, 21(4): 487–499CrossRefGoogle Scholar
  29. Thramboulidis, K., Doukas, G., & Frantzis, A. (2004). Towards an implementation model for fb-based reconfigurable distributed control applications. In Proceedings of 7th IEEE international symposium on object-oriented real-time distributed computing (pp. 193–200).Google Scholar
  30. Vyatkin, V. (2007) Iec61499 function blocks for embedded and distributed control systems design. In Book of ISA-o3neida series, instrumentation, systems and automation society.Google Scholar
  31. Vyatkin V., Hanisch H.-M. (2003) Verification of distributed control systems in intelligent manufacturing. Journal of International Manufacturing 14(1): 123–136CrossRefGoogle Scholar
  32. Vyatkin, V., Hanisch, H.-M., Pang C., & Yang, J. (2009) Application of closed-loop modelling in integrated component design and validation of manufacturing automation. In IEEE transactions on systems, machine and cybernetics.Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2011

Authors and Affiliations

  • Mohamed Khalgui
    • 1
  • Olfa Mosbahi
    • 1
  • Hans-Michael Hanisch
    • 2
  • Zhiwu Li
    • 1
  1. 1.Xidian UniversityXi’anChina
  2. 2.Martin Luther UniversityHalle SaaleGermany

Personalised recommendations