Formal specification of multi-agent systems: approach based on meta-models and high-level Petri nets - case study of a transportation system

2003 ◽  
Author(s):  
H. Abouaissa ◽  
J.C. Nicolas ◽  
A. Benasser ◽  
E. Czesnalowicz
Keyword(s):  
Petri Nets ◽  
Formal Specification ◽  
Systems Approach ◽  
Transportation System ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent ◽  
High Level

A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets

2015 ◽  
Vol 25 (07) ◽  
pp. 1199-1235 ◽  
Author(s):  
Lily Chang ◽  
Xudong He
Keyword(s):  
Complex Systems ◽  
Petri Nets ◽  
Model Analysis ◽  
Tool Development ◽  
Multi Agent Systems ◽  
Agent Model ◽  
Agent Systems ◽  
Multi Agent ◽  
High Level

This paper presents a methodology for analyzing multi-agent systems modeled in nested predicate transition nets. The objective is to automate the model analysis for complex systems, and provide a foundation for tool development. We formally define the translation rules that translate the multi-agent model to an executable PROMELA model, and demonstrate the translation with an example.

Open Fuzzy Synchronized Petri Net

2016 ◽  
Vol 12 (1) ◽  
pp. 63-94 ◽  
Author(s):  
Sofia Kouah ◽  
Djamel Eddine Saïdouni ◽  
Ilham Kitouni
Keyword(s):  
Petri Nets ◽  
Operational Semantics ◽  
Concurrent Design ◽  
Multi Agent Systems ◽  
Action Refinement ◽  
Proposed Model ◽  
Multi Agent ◽  
Labeled Transition System ◽  
High Level

Designing Multi agent systems needs a high-level specification model which supports abstraction, dynamicity, openness and enables fuzziness. Since the model of Synchronized Petri Nets supports dynamicity and abstraction, we extend it by fuzziness, openness and interaction with environment. The proposed model called Open Fuzzy Synchronized Petri Nets (OFSyPN for short) associates action name with transitions and enables openness feature and interaction with environment. Each action has an uncertainty degree and places are typed. The authors give an operational semantics for OFSyPN in terms of Fuzzy Labeled Transition System (FLTS for short). FLTS is a semantics model, which allows a concise action refinement representation and deals with incomplete information through its fuzziness representation. Furthermore the structure can be used to produce a tree of potential concurrent design trajectories, named fuzzy labeled transition refinement tree (FLTRT for short). We exemplify the OFSyPN model thought a case study.

scholarly journals A Programming Approach to Collective Autonomy

2021 ◽  
Vol 10 (2) ◽  
pp. 27
Author(s):  
Roberto Casadei ◽  
Gianluca Aguzzi ◽  
Mirko Viroli
Keyword(s):  
Autonomous Vehicles ◽  
Autonomic Computing ◽  
Autonomous Agents ◽  
Programming Approach ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent ◽  
Simulated Case ◽  
Complex Settings

Research and technology developments on autonomous agents and autonomic computing promote a vision of artificial systems that are able to resiliently manage themselves and autonomously deal with issues at runtime in dynamic environments. Indeed, autonomy can be leveraged to unburden humans from mundane tasks (cf. driving and autonomous vehicles), from the risk of operating in unknown or perilous environments (cf. rescue scenarios), or to support timely decision-making in complex settings (cf. data-centre operations). Beyond the results that individual autonomous agents can carry out, a further opportunity lies in the collaboration of multiple agents or robots. Emerging macro-paradigms provide an approach to programming whole collectives towards global goals. Aggregate computing is one such paradigm, formally grounded in a calculus of computational fields enabling functional composition of collective behaviours that could be proved, under certain technical conditions, to be self-stabilising. In this work, we address the concept of collective autonomy, i.e., the form of autonomy that applies at the level of a group of individuals. As a contribution, we define an agent control architecture for aggregate multi-agent systems, discuss how the aggregate computing framework relates to both individual and collective autonomy, and show how it can be used to program collective autonomous behaviour. We exemplify the concepts through a simulated case study, and outline a research roadmap towards reliable aggregate autonomy.

Exploring management strategies for community-based forests using multi-agent systems: A case study in Palawan, Philippines

2009 ◽  
Vol 90 (11) ◽  
pp. 3607-3615 ◽  
Author(s):  
Paolo C. Campo ◽  
Guillermo A. Mendoza ◽  
Philippe Guizol ◽  
Teodoro R. Villanueva ◽  
François Bousquet
Keyword(s):  
Management Strategies ◽  
Multi Agent Systems ◽  
Community Based ◽  
Agent Systems ◽  
Multi Agent

Engineering Adaptive Multi-Agent Systems

2011 ◽  
pp. 513-535
Author(s):  
Carole Bernon ◽  
Valérie Camps ◽  
Marie-Pierre Gleizes ◽  
Gauthier Picard
Keyword(s):  
Information System ◽  
Theoretical Background ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
The Third ◽  
Multi Agent

This chapter introduces the ADELFE methodology, an agent-oriented methodology dedicated to the design of systems that are complex, open, and not well-specified. The need for its development is justified by the theoretical background given in the first section, which also gives an overview of the concepts on which multi-agent systems developed with ADELFE are based. A methodology is composed of a process, a notation, and tools. Tools are presented in the second section and the process in the third one, using an information system case study to better visualize how to apply this process.

Sign in / Sign up

Export Citation Format

Share Document