Strategy Model for Multi-Robot Coordination in Robotic Soccer

Soccer robots have been frequently used to validate models of multi-agent systems, involving collaboration among the agents. For this purpose, many researchers in robotics have been developing robotic soccer teams which compete in events such as RoboCup. This paper presents a strategy model for multi-robot coordination in robotic soccer teams involving ball position, team member position and opponent position for the selection of a team tactic and the player roles. This assignation is dynamical and achieved by a virtual coach. This strategy model was validated in a RoboCup Small Size League environment using Webots robot simulator.

Download Full-text

Modelling and verification of reconfigurable multi-agent systems

Autonomous Agents and Multi-Agent Systems ◽

10.1007/s10458-021-09521-x ◽

2021 ◽

Vol 35 (2) ◽

Author(s):

Yehia Abd Alrahman ◽

Nir Piterman

Keyword(s):

Model Checking ◽

Communication Protocols ◽

Local State ◽

Multi Agent Systems ◽

Agent Systems ◽

Robot Systems ◽

Message Exchange ◽

Multi Agent ◽

Exchange Data ◽

Multi Robot

AbstractWe propose a formalism to model and reason about reconfigurable multi-agent systems. In our formalism, agents interact and communicate in different modes so that they can pursue joint tasks; agents may dynamically synchronize, exchange data, adapt their behaviour, and reconfigure their communication interfaces. Inspired by existing multi-robot systems, we represent a system as a set of agents (each with local state), executing independently and only influence each other by means of message exchange. Agents are able to sense their local states and partially their surroundings. We extend ltl to be able to reason explicitly about the intentions of agents in the interaction and their communication protocols. We also study the complexity of satisfiability and model-checking of this extension.

Download Full-text

A survey of multi-agent organizational paradigms

The Knowledge Engineering Review ◽

10.1017/s0269888905000317 ◽

2004 ◽

Vol 19 (4) ◽

pp. 281-316 ◽

Cited By ~ 315

Author(s):

BRYAN HORLING ◽

VICTOR LESSER

Keyword(s):

Comparative Evaluation ◽

Organizational Design ◽

Performance Characteristics ◽

Multi Agent Systems ◽

Organizational Strategies ◽

Agent Systems ◽

Advantages And Disadvantages ◽

Multi Agent ◽

Selection Of ◽

Organizational Paradigms

Many researchers have demonstrated that the organizational design employed by an agent system can have a significant, quantitative effect on its performance characteristics. A range of organizational strategies have emerged from this line of research, each with different strengths and weaknesses. In this article we present a survey of the major organizational paradigms used in multi-agent systems. These include hierarchies, holarchies, coalitions, teams, congregations, societies, federations, markets, and matrix organizations. We will provide a description of each, discuss their advantages and disadvantages, and provide examples of how they may be instantiated and maintained. This summary will facilitate the comparative evaluation of organizational styles, allowing designers to first recognize the spectrum of possibilities, and then guiding the selection of an appropriate organizational design for a particular domain and environment.

Download Full-text

Automated Verification of Social Laws for Continuous Time Multi-Robot Systems

Proceedings of the AAAI Conference on Artificial Intelligence ◽

10.1609/aaai.v33i01.33017683 ◽

2019 ◽

Vol 33 ◽

pp. 7683-7690 ◽

Cited By ~ 1

Author(s):

Ronen Nir ◽

Erez Karpas

Keyword(s):

Continuous Time ◽

Automated Verification ◽

Shared Environment ◽

Multi Agent Systems ◽

Agent Systems ◽

Temporal Planning ◽

Social Law ◽

Robot Systems ◽

Multi Agent ◽

Multi Robot

Designing multi-agent systems, where several agents work in a shared environment, requires coordinating between the agents so they do not interfere with each other. One of the canonical approaches to coordinating agents is enacting a social law, which applies restrictions on agents’ available actions. A good social law prevents the agents from interfering with each other, while still allowing all of them to achieve their goals. Recent work took the first step towards reasoning about social laws using automated planning and showed how to verify if a given social law is robust, that is, allows all agents to achieve their goals regardless of what the other agents do. This work relied on a classical planning formalism, which assumed actions are instantaneous and some external scheduler chooses which agent acts next. However, this work is not directly applicable to multi-robot systems, because in the real world actions take time and the agents can act concurrently. In this paper, we show how the robustness of a social law in a continuous time setting can be verified through compilation to temporal planning. We demonstrate our work both theoretically and on real robots.

Download Full-text

2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS)

10.1109/mrs40655.2017 ◽

2017 ◽

Keyword(s):

International Symposium ◽

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent ◽

Multi Robot

Download Full-text

2019 International Symposium on Multi-Robot and Multi-Agent Systems (MRS)

10.1109/mrs47350.2019 ◽

2019 ◽

Keyword(s):

International Symposium ◽

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent ◽

Multi Robot

Download Full-text

Dynamic Selection of Negotiation Protocol in Multi-agent Systems for Disaster Management

Computational Collective Intelligence. Technologies and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23938-0_37 ◽

2011 ◽

pp. 363-373 ◽

Cited By ~ 1

Author(s):

Amelia Bădică ◽

Costin Bădică ◽

Sorin Ilie ◽

Alex Muscar ◽

Mihnea Scafeş

Keyword(s):

Disaster Management ◽

Multi Agent Systems ◽

Dynamic Selection ◽

Negotiation Protocol ◽

Agent Systems ◽

Multi Agent ◽

Selection Of

Download Full-text

Roby-Go, a Prototype for Cooperating MiroSOT Soccer-Playing Robots

Journal of Advanced Computational Intelligence and Intelligent Informatics ◽

10.20965/jaciii.2005.p0409 ◽

2005 ◽

Vol 9 (4) ◽

pp. 409-414 ◽

Cited By ~ 1

Author(s):

Gregor Novak ◽

Keyword(s):

Soccer Player ◽

Mobile Platform ◽

Open Architecture ◽

Modular Construction ◽

Multi Agent Systems ◽

Test Bed ◽

Agent Systems ◽

Independent Test ◽

Soccer Teams ◽

Multi Agent

Perfectly working robot are basics to competitive robot soccer teams. The mobile minirobot we developed is two-wheeled and differentially driven (2WDD), featuring simple, compact, modular construction. The robot's open architecture enables it to be used both as a MiroSOT soccer player and as a mobile platform in such tasks as an independent test bed for multi agent systems (MAS).

Download Full-text

A multi-agent systems-based contractor pre-qualification model

Engineering Construction & Architectural Management ◽

10.1108/ecam-01-2016-0013 ◽

2016 ◽

Vol 23 (6) ◽

pp. 709-726 ◽

Cited By ~ 12

Author(s):

Faikcan Kog ◽

Hakan Yaman

Keyword(s):

Selection Process ◽

Construction Sector ◽

Multi Agent Systems ◽

Content Type ◽

Quantitative Survey ◽

Agent Systems ◽

Proposed Model ◽

Multi Agent ◽

User Friendly ◽

Selection Of

Purpose The selection of the contractor, as a main participant of a construction project, is the most important and challenging decision process for a client. The purpose of this paper is to propose a multi-agent systems (MAS)-based contractor pre-qualification (CP) model for the construction sector in the frame of the tender management system. Design/methodology/approach The meta-classification and analysis study of the existing literature on CP, contractor selection and criteria weighting issues, which examines the current and important CP criteria, other than price, is introduced structurally. A quantitative survey, which is carried out to estimate initial weightings of the identified criteria, is overviewed. MAS are used to model the pre-qualification process and workflows are shown in Petri nets formalism. A user-friendly prototype program is created in order to simulate the tendering process. In addition, a real case regarding the construction work in Turkey is analyzed. Findings There is a lack of non-human-driven solutions and automation in CP and in the selection problem. The proposed model simulates the pre-qualification process and provides consistent results. Research limitations/implications The meta-classification study consists of only peer-reviewed papers between 1992 and 2013 and the quantitative survey initiates the perspectives of the actors of Turkish construction sector. Only the traditional project delivery method is selected for the proposed model, that is other delivery methods such as design/build, project management, etc., are not considered. Open, selective limited and negotiated tendering processes are examined in the study and the direct supply is not considered in the scope. Practical implications The implications will help to provide an objective CP and selection process and to prevent the delays, costs and other troubles, which are caused by the false selection of a contractor. Originality/value Automation and simulation in the pre-qualification and the selection of the contractor with a non-human-driven intelligent solution ease the decision processes of clients in terms of cost, time and quality.

Download Full-text