Skip to main content
SpringerLink
Log in

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

  • Published:
Journal of Intelligent Manufacturing Aims and scope Submit manuscript

This article was retracted on 04 July 2013

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • 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.

  • 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.

  • 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).

  • 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.

  • 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.

  • 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.

  • 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.

  • Crnkovic I., Larsson M. (2002) Building reliable component-based software systems. Artech House, UK

    Google Scholar 

  • 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–308

    Article  Google Scholar 

  • 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.

  • International Standard IEC61499. (2004). Industrial process measurements and control systems. In International Electrotechnical Commission (IEC) Committee Draft.

  • 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–594

    Google Scholar 

  • 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.

  • 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–732

    Article  Google Scholar 

  • Lewis R. (2001) Modelling control systems using iec 61499. Institution of Engineering and Technology, UK

    Google Scholar 

  • 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).

  • 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.

  • 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.

  • 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.

  • 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–177

    Chapter  Google Scholar 

  • 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).

  • Roch, S. (2000a). Extended computation tree logic. In Proceedings of the CESP2000 workshop, number 140 in informatik Berichte (pp. 225–234). Germany.

  • Roch, S. (2000b). Extended computation tree logic: Implementation and application. In Proceedings of the AWPN2000 workshop Germany.

  • 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.

  • Salido M. A. (2010) Special issue on planning, scheduling and constraint satisfaction. Journal of Intelligent Manufacturing 21(1): 1–4

    Article  Google Scholar 

  • 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.

  • Steblovnik K., Zazula D. (2011) A novel agent-based concept of household appliances. Journal of Intelligent Manufacturing 22(1): 73–88

    Article  Google Scholar 

  • 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–499

    Article  Google Scholar 

  • 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).

  • Vyatkin, V. (2007) Iec61499 function blocks for embedded and distributed control systems design. In Book of ISA-o3neida series, instrumentation, systems and automation society.

  • Vyatkin V., Hanisch H.-M. (2003) Verification of distributed control systems in intelligent manufacturing. Journal of International Manufacturing 14(1): 123–136

    Article  Google Scholar 

  • 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.

Download references

Author information

Authors and Affiliations

  1. Xidian University, Xi’an, China

    Mohamed Khalgui, Olfa Mosbahi & Zhiwu Li

  2. Martin Luther University, Halle Saale, Germany

    Hans-Michael Hanisch

Authors
  1. Mohamed Khalgui
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olfa Mosbahi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hans-Michael Hanisch
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Zhiwu Li
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mohamed Khalgui.

Additional information

This paper has been withdrawn due to similarities to the previously published paper “Reconfiguration of Distributed Embedded-Control Systems” by M. Khalgui, O. Mosbahi, Zhiwu Li, H-M. Hanisch, IEEE/ASME Transactions on Mechatronics, Vol.16, N.4, p.684-694, 2011.

This work is supported in part by the Natural Science Foundation of China under Grant 60773001, the Fundamental Research Funds for the Central Universities under Grant No. 72103326, the National Research Foundation for the Doctoral Program of Higher Education, the Ministry of Education, P. R. China, under Grant No. 20090203110009, “863” High-tech Research and Development Program of China under Grant No 2008AA04Z109, the Research Fellowship for International Young Scientists, National Natural Science Foundation of China, and Alexander von Humboldt Foundation in Germany.

About this article

Cite this article

Khalgui, M., Mosbahi, O., Hanisch, HM. et al. RETRACTED ARTICLE: A multi-agent architectural solution for coherent distributed reconfigurations of function blocks. J Intell Manuf 23, 2531–2549 (2012). https://doi.org/10.1007/s10845-011-0556-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10845-011-0556-y

Keywords

Search

Navigation