Reconfiguration protocol for multi-agent control software architectures

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 41, Issue 1, 2011, Pages 70-80

  Khalgui, Mohamed ^a   Hanisch, Hans Michael ^a  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

Adaptive systems; Component architectures; Embedded control systems; Software intelligent agents; System analysis and design

Indexed keywords

ADAPTIVE SYSTEMS; APPLICATION PROGRAMS; CONTROL SYSTEMS; INTELLIGENT AGENTS; MODEL CHECKING; MULTI AGENT SYSTEMS; NETWORK ARCHITECTURE; PETRI NETS; RESEARCH LABORATORIES; STANDARDS;

COMPONENT ARCHITECTURES; COMPUTATION TREE LOGIC; CONTROL APPLICATIONS; DISTRIBUTED RECONFIGURATION; EMBEDDED CONTROL SYSTEMS; EXECUTION ENVIRONMENTS; LOCAL RECONFIGURATIONS; SYSTEM ANALYSIS AND DESIGN;

RECONFIGURABLE ARCHITECTURES;

EID: 80051788247     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCC.2010.2064163     Document Type: Article

References (17)

1. Y. Al-Safi and V. Vyatkin, "An ontology-based reconfiguration agent for intelligent mechatronic systems," presented at the 3rd Int. Conf. Industrial Applications of Holonic and Multi-Agent Systems, Springer-Verlag, New York, 2007.
2. Ch. Angelov, K. Sierszecki, and N. Marian, "Design models for reusable and reconfigurable state machines," in Proc. EUC (in L. T. Yang et al., Eds., Lecture Notes in Computer Sciences, vol. 3824. Botswana: International Federation for Information Processing), 2005, pp. 152-163.
3. S. Baruah and J. Goossens, "Scheduling real-time tasks: Algorithms complexity," in Handbook of Scheduling: Algorithms, Models, and Performance Analysis, London, U.K./Boca Raton, FL: Chapman & Hall/CRC Press, 2004, ISBN-10: 1584883979.
4. R. W. Brennan, M. Fletcher, and D. H. Norrie, "A holonic approach to reconfiguring real-time distributed control systems," in Book: Multi-Agent Systems and Applications: MASA'01. New York: Springer-Verlag, 2001, vol. 2322, pp. 107-119.
5. I. Crnkovic andM. Larsson, Building Reliable Component-Based Software Systems. London, U.K.: Artech House, 2002.
6. Y. Du, C. Jiang, and M. Zhou, "A petri net-based model for verification of obligations and accountability in cooperative systems," IEEE Trans. Syst., Mach. Cybern., vol. 39, no. 2, pp. 299-308, Mar. 2009.
7. Industrial process measurements and control systems. in International Electrotechnical Commission (IEC) Committee Draft, International Standard IEC 61499, 2004.
8. M. Khalgui, X. Rebeuf, and F. Simonot-Lion, "A deployment method of component based applications on distributed industrial control systems," Eur. J. Automated Syst., vol. 41, no. 6, pp. 707-732, 2007.
9. M. Khalgui and H.-M. Hanisch, "NCES-based modelling and CTL-based verification of reconfigurable benchmark production systems," in Proc. 3rd Int. Symp. Ind. Embedded Syst., 2008, pp. 1-10.
10. M. Khalgui and H.-M. Hanisch, "Reconfiguration of industrial embedded control systems," in Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. Hershey, PA: IGI Global, 2009, pp. 318-352.
11. M. Khalgui, O. Mosbahi, and H.-M. Hanisch, "A formal approach to check and schedule reconfigurable embedded control systems," in Proc. Int. Conf. Emerg. Techonol. Factory Autom., 2008, pp. 383-391.
12. R Lewis, Modelling Control Systems Using IEC 61499. Stevenage Herts, U.K.: Institution Of Engineering and Technology, 2001.
13. M. Rausch and H.-M. Hanisch, "Net condition/event systems with multiple condition outputs," in Proc. Symp. Emerg. Technol. Factory Autom., 1995, vol. 1, pp. 592-600.
14. M. N. Rooker, C. Sunder, T. Strasser, A. Zoitl, O. Hummer, and G. Eben-hofer, "Zero downtime reconfiguration of distributed automation systems: The εcedac approach," presented at 3rd Int. Conf. Industrial Applications of Holonic and Multi-Agent Systems. New York: Springer-Verlag, 2007.
15. K. Thramboulidis, G. Doukas, and A. Frantzis, "Towards an implementation model for FB-based reconfigurable distributed control applications," in Proc. 7th IEEE Int. Symp. Object-Oriented Real-Time Distrib. Comput., 2004, pp. 193-200.
16. V. Vyatkin, IEC61499 Function Blocks for Embedded and Distributed Control Systems Design (ISA-o3neida series). Research Triangle Park, NC: o3neida, Instrumentation, Systems and Automation Society, 2007, ISBN: 978-0-9792343-0-9.
17. V. Vyatkin, H.-M. Hanisch, C. Pang, and J. Yang, "Application of closed-loop modelling in integrated component design and validation of manufacturing automation," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 39, no. 2, pp. 17-28, 2009.