Nested graphs: A model to efficiently distribute multi-agent systems on HPC clusters
نویسندگان
چکیده
منابع مشابه
Extending UML to Model Multi-Agent Systems
Multi-agent systems (MASs) and object-oriented systems (OOSs) differ in many respects. Traditionally, OOSs are composed of objects whose properties are attributes and methods and interact through method calling. MASs are composed not only of objects but of different elements (such as agents, organizations and others) that have different properties and interact in different ways. MASs require mo...
متن کاملStudies on Neighbourhood Graphs for Communication in Multi Agent Systems
This paper addresses a special type of graph, the k-neighbourhood graph, for the usage in huge multi agent systems. It can be used to establish slim communication structures in extensive groups of agents as they are present e.g. in swarm applications. We will prove some properties of k-neighbourhood graphs in twoand three-dimensional Euclidean space, i.e. we show that the maximum number of inco...
متن کاملModel Checking Multi-Agent Systems
Multi-agent systems are increasingly complex, and the problem of their verification and validation is acquiring increasing importance. In this paper we show how a well known and effective verification technique, model checking, can be generalized to deal with multi-agent systems. This paper explores a particular type of multi-agent system, in which each agent is viewed as having the three menta...
متن کاملModel Checking Multi-Agent Systems
Model checking [2] has been applied to many areas of software and hardware verification; this includes hybrid systems, which contain both hardware and software components. To model hybrid systems both types of component are included in a single model. In this research we consider hybrid systems in which multiple agents interact in an environment. An agent is a simple robot capable of moving, de...
متن کاملModel checking multi-agent systems
A multi-agent system (MAS) is usually understood as a system composed of interacting autonomous agents. In this sense, MAS have been employed successfully as a modelling paradigm in a number of scenarios, especially in Computer Science. However, the process of modelling complex and heterogeneous systems is intrinsically prone to errors: for this reason, computer scientists are typically concern...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Concurrency and Computation: Practice and Experience
سال: 2018
ISSN: 1532-0626
DOI: 10.1002/cpe.4407