Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
Modelling Distributed Control Systems Using IEC 61499
Modelling Distributed Control Systems Using IEC 61499
A Holonic Approach to Reconfiguring Real-Time Distributed Control Systems
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Communication Protocols in Multi-agent Systems: A Development Method and Reference Architecture
Issues in Agent Communication
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Cooperative negotiation for soft real-time distributed resource allocation
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Automated organization design for multi-agent systems
Autonomous Agents and Multi-Agent Systems
An Ontology-Based Reconfiguration Agent for Intelligent Mechatronic Systems
HoloMAS '07 Proceedings of the 3rd international conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing
Zero Downtime Reconfiguration of Distributed Automation Systems: The εCEDAC Approach
HoloMAS '07 Proceedings of the 3rd international conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing
IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design
IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design
A Petri net-based model for verification of obligations and accountability in cooperative systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Communication security in multi-agent systems
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Journal of Intelligent Manufacturing
A novel agent-based concept of household appliances
Journal of Intelligent Manufacturing
Design models for reusable and reconfigurable state machines
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
A Cooperative mediation-based protocol for dynamic distributed resource allocation
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Dynamic explicitly specified behaviors in distributed agent-based industrial solutions
Journal of Intelligent Manufacturing
Hi-index | 0.00 |
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.