scholarly journals A Communication Protocol Design aimed at a Multi-Agent System Framework for Miniaturized Satellite Systems

2020 ◽  
Author(s):  
Samantha Iteriano-Valverde ◽  
David Scazzoli ◽  
Carmen Chan-Zheng ◽  
Johan Carvajal-Godinez ◽  
Mauricio Magarini
Keyword(s):  
Control Unit ◽  
Protocol Design ◽  
Centralized Control ◽  
Distributed Architecture ◽  
Multi Agent Systems ◽  
Satellite Systems ◽  
Message Exchange ◽  
Multi Agent ◽  
Systems Framework ◽  
The Relationship

In recent years space-science and exploration have become more accessible due to the popularization of the concept of CubeSats. CubeSats are being used as a result of their convenient size and weight requirements, allowing for target missions to be designed, developed, and launched with a significant reduction of costs compared to traditional space missions.  Furthermore, the development of target missions has become more intricate, forcing a shift in the traditional notion of using a centralized control architecture to a distributed architecture.  A distributed architecture tackles the problem of a possible functionality loss over the control unit. This paper describes the extension of capabilities of the Multi-Agent Systems Framework for Embedded Systems (MAES). This extension provides MAES framework with the ability to perform inter-platform communication, so now the control unit architecture can be broadened allowing agents from different platforms to interact and perform cooperatively different routines designed by the developer, so it is not limited to the capabilities of just one platform. Moreover, this paper shows the results of the experimental setup showing the precision of inter-platform message exchange and the relationship between the delay of the exchange of inter-platform messages and the number of agents that are simultaneously running on each platform.

scholarly journals Modelling and verification of reconfigurable multi-agent systems

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.

Cooperation Protocol Design Method for Repository-Based Multi-Agent Applications

2013 ◽  
Vol 5 (2) ◽  
pp. 1-14 ◽  
Author(s):  
Wenpeng Wei ◽  
Hideyuki Takahashi ◽  
Takahiro Uchiya ◽  
Tetsuo Kinoshita
Keyword(s):  
Design Method ◽  
System Development ◽  
Design Tool ◽  
Protocol Design ◽  
Multi Agent Systems ◽  
Application Development ◽  
Agent Systems ◽  
Multi Agent ◽  
Cooperation Protocol ◽  
Graphical Design

This paper proposes a cooperation protocol design method for repository-based multi-agent systems. The proposal aims to improve the efficiency of multi-agent system development by introducing reusable protocol templates. To achieve the decoupling of protocol templates and application domain processes, original protocol template representations are proposed. Moreover, a graphical design tool with automatic implementation functions of proposed protocol templates is developed to reduce the development cost of multi-agent systems. To validate the functionality and feasibility of the proposal, two disparate multi-agent based applications are developed using the proposed design method. The comparison with the reference implementation shows that applying proposal in practical application development reduces approximately 50% coding work.

scholarly journals A Systematic Modelling Procedure to Design Agent-Oriented Control to Coalition of Capabilities - In the Context of I4.0 as Virtual Assets (AAS)

2021 ◽  
Author(s):  
Jackson Tavares Veiga ◽  
Marcosiris Amorim de Oliveira Pessoa ◽  
Fabrício Junqueira ◽  
Paulo Eigi Miyagi ◽  
Diolino José Dos Santos Filho
Keyword(s):  
Intelligent Agents ◽  
Manufacturing Systems ◽  
Multi Agent Systems ◽  
Production Flow ◽  
Systematic Method ◽  
Passive Components ◽  
Agent Systems ◽  
Modelling Procedure ◽  
Multi Agent ◽  
The Relationship

Manufacturing systems need to meet I4.0 guidelines to deal with uncertainty in scenarios of turbulent demand for products. The engineering concepts to define the service’s resources to manufacture the products will be more flexible, ensuring the possibility of re-planning in operation. These can follow the engineering paradigm based on capabilities. The virtualization of industry components and assets achieves the RAMI 4.0 guidelines and (I4.0C), which describes the Asset Administration Shell (AAS). However, AAS are passive components that provide information about I4.0 assets. The proposal of specific paradigms is exposed for managing these components, as is the case of multi-agent systems (MAS) that attribute intelligence to objects. The implementation of resource coalitions with evolutionary architectures (EAS) applies cooperation and capabilities’ association. Therefore, this work focuses on designing a method for modeling the asset administration shell (AAS) as virtual elements orchestrating intelligent agents (MAS) that attribute cooperation and negotiation through contracts to coalitions based on the engineering capabilities concept. The systematic method suggested in this work is partitioned for the composition of objects, AAS elements, and activities that guarantee the relationship between entities. Finally, Production Flow Schema (PFS) refinements are applied to generate the final Petri net models (PN) and validate them with Snoopy simulations. The results achieved demonstrate the validation of the procedure, eliminating interlocking and enabling liveliness to integrate elements behavior.

scholarly journals A Logic for Agent Organizations

2009 ◽  
pp. 220-240 ◽  
Author(s):  
Virgina Dignum ◽  
Frank Dignum
Keyword(s):  
Social Order ◽  
Autonomous Agents ◽  
Formal Model ◽  
Organizational Structures ◽  
Theoretical Framework ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent ◽  
Common Goals ◽  
The Relationship

Organization concepts and models are increasingly being adopted for the design and specification of multi-agent systems. Agent organizations can be seen as mechanisms of social order, created to achieve common goals for more or less autonomous agents. In order to develop a theory on the relationship between organizational structures, organizational actions, and actions of agents performing roles in the organization, we need a theoretical framework to describe and reason about organizations. The formal model presented in this chapter is sufficiently generic to enable the comparison of different existing organizational approaches to Multi-Agent Systems (MAS), while having enough descriptive power to describe realistic organizations.

scholarly journals A Systematic Modelling Procedure to Design Agent-Oriented Control to Coalition of Capabilities—In the Context of I4.0 as Virtual Assets (AAS)

Computers ◽  
2021 ◽  
Vol 10 (12) ◽  
pp. 161
Author(s):  
Jackson T. Veiga ◽  
Marcosiris A. O. Pessoa ◽  
Fabrício Junqueira ◽  
Paulo E. Miyagi ◽  
Diolino J. dos Santos Filho
Keyword(s):  
Intelligent Agents ◽  
Manufacturing Systems ◽  
Multi Agent Systems ◽  
Production Flow ◽  
Systematic Method ◽  
Passive Components ◽  
Agent Systems ◽  
Modelling Procedure ◽  
Multi Agent ◽  
The Relationship

Manufacturing systems need to meet Industry 4.0 (I4.0) guidelines to deal with uncertainty in scenarios of turbulent demand for products. The engineering concepts to define the service’s resources to manufacture the products will be more flexible, ensuring the possibility of re-planning in operation. These can follow the engineering paradigm based on capabilities. The virtualization of industry components and assets achieves the RAMI 4.0 guidelines and (I4.0C), which describes the Asset Administration Shell (AAS). However, AAS are passive components that provide information about I4.0 assets. The proposal of specific paradigms is exposed for managing these components, as is the case of multi-agent systems (MAS) that attribute intelligence to objects. The implementation of resource coalitions with evolutionary architectures (EAS) applies cooperation and capabilities’ association. Therefore, this work focuses on designing a method for modeling the asset administration shell (AAS) as virtual elements orchestrating intelligent agents (MAS) that attribute cooperation and negotiation through contracts to coalitions based on the engineering capabilities concept. The systematic method suggested in this work is partitioned for the composition of objects, AAS elements, and activities that guarantee the relationship between entities. Finally, Production Flow Schema (PFS) refinements are applied to generate the final Petri net models (PN) and validate them with Snoopy simulations. The results achieved demonstrate the validation of the procedure, eliminating interlocking and enabling liveliness to integrate elements’ behavior.

scholarly journals A Systematic Modelling Procedure to Design Agent-Oriented Control to Coalition of Capabilities - In the Context of I4.0 as Virtual Assets (AAS)

2021 ◽  
Author(s):  
Jackson Tavares Veiga ◽  
Marcosiris Amorim de Oliveira Pessoa ◽  
Fabrício Junqueira ◽  
Paulo Eigi Miyagi ◽  
Diolino José Dos Santos Filho
Keyword(s):  
Intelligent Agents ◽  
Manufacturing Systems ◽  
Multi Agent Systems ◽  
Production Flow ◽  
Systematic Method ◽  
Passive Components ◽  
Agent Systems ◽  
Modelling Procedure ◽  
Multi Agent ◽  
The Relationship

Manufacturing systems need to meet I4.0 guidelines to deal with uncertainty in scenarios of turbulent demand for products. The engineering concepts to define the service’s resources to manufacture the products will be more flexible, ensuring the possibility of re-planning in operation. These can follow the engineering paradigm based on capabilities. The virtualization of industry components and assets achieves the RAMI 4.0 guidelines and (I4.0C), which describes the Asset Administration Shell (AAS). However, AAS are passive components that provide information about I4.0 assets. The proposal of specific paradigms is exposed for managing these components, as is the case of multi-agent systems (MAS) that attribute intelligence to objects. The implementation of resource coalitions with evolutionary architectures (EAS) applies cooperation and capabilities’ association. Therefore, this work focuses on designing a method for modeling the asset administration shell (AAS) as virtual elements orchestrating intelligent agents (MAS) that attribute cooperation and negotiation through contracts to coalitions based on the engineering capabilities concept. The systematic method suggested in this work is partitioned for the composition of objects, AAS elements, and activities that guarantee the relationship between entities. Finally, Production Flow Schema (PFS) refinements are applied to generate the final Petri net models (PN) and validate them with Snoopy simulations. The results achieved demonstrate the validation of the procedure, eliminating interlocking and enabling liveliness to integrate elements behavior.

Sign in / Sign up

Export Citation Format

Share Document