Behavioral modeling and verification of multi-agent systems for manufacturing control

Yeung, Wing Lok

doi:10.1016/j.eswa.2011.04.067

Cited by 9 publications

(6 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The distributed control solution takes the advantage of resource allocation possibility and coordination result from automated negotiation among agents. Yeung proposed a formal approach to address the potential behavioural problems of multi-agent systems for manufacturing control applications, and verified the [54].…”

Section: Multi-agent Modelling Simulationmentioning

confidence: 99%

Methodology – A Review of Intelligent Manufacturing: Scope, Strategy and Simulation

Sun

2018

Communications in Computer and Information Science

View full text Add to dashboard Cite

This paper presents a critical review of some existing modelling, control and optimization techniques for energy saving, carbon emission reduction in manufacturing processes. The study on various production issues reveals different levels of intelligent manufacturing approaches. Then methods and strategies to tackle the sustainability issues in manufacturing are summarized. Modelling tools such as discrete (dynamic) event system (DES/DEDS) and agent-based modelling/simulation (ABS) approaches are reviewed from the production planning and control prospective. These approaches will provide some guidelines for the development of advanced factory modelling, resource flow analysis and assisting the identification of improvement potentials, in order to achieve more sustainable manufacturing.

show abstract

Section: Multi-agent Modelling Simulationmentioning

confidence: 99%

Methodology – A Review of Intelligent Manufacturing: Scope, Strategy and Simulation

Sun

2018

Communications in Computer and Information Science

View full text Add to dashboard Cite

show abstract

“…CSP has been used in other approaches for multi-agent systems. Examples include an approach that combines a CSP encoding of agent communications with a first-order logic framework [20]; a CSP framework for a Java-based "cognitive agent architecture" called Cougar [15], where the model is used to verify properties about the code generated from the Cougar system; and a timed CSP model of a multi-agent manufacturing system [31]. However, each of these approaches is (like ours) specific to its example application.…”

Section: Related Workmentioning

confidence: 99%

Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest

Luckcuck¹,

C.²

2021

Preprint

View full text Add to dashboard Cite

Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent systems provides useful confidence in its reliability. In this paper, we describe the formal verification of a complex communication protocol that coordinates agents merging maps of their environment. The protocol was used by the LFC team in the 2019 edition of the Multi-Agent Programming Contest (MAPC). Our specification of the protocol is written in Communicating Sequential Processes (CSP), which is a well-suited approach to specifying agent communication protocols due to its focus on concurrent communicating systems. We validate the specification's behaviour using scenarios where the correct behaviour is known, and verify that eventually all the maps have merged.

show abstract

“…The part finds all the necessary productions steps independently by negotiating with all participants in the system [15]. But this structure does not always lead to the optimal solution [17], it can even happen, that due to the independent behavior of all participants a dead lock occurs that blocks the complete multi-agent-system [18]. The functional, hierarchical structure of the control system can also be kept in a distributed and modular control system [19].…”

Section: Introductionmentioning

confidence: 99%

Flexible, Self-configuring Control System for a Modular Production System

Scheifele

Friedrich

Lechler

et al. 2014

Procedia Technology

View full text Add to dashboard Cite

Behavioral modeling and verification of multi-agent systems for manufacturing control

Cited by 9 publications

References 29 publications

Methodology – A Review of Intelligent Manufacturing: Scope, Strategy and Simulation

Methodology – A Review of Intelligent Manufacturing: Scope, Strategy and Simulation

Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest

Flexible, Self-configuring Control System for a Modular Production System

Contact Info

Product

Resources

About