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.

Application of Fuzzy Labeled Transition System to Contract Net Protocol

2015 ◽  
Vol 6 (3) ◽  
pp. 27-46 ◽  
Author(s):  
Sofia Kouah ◽  
Djamel Eddine Saïdouni
Keyword(s):  
Dynamic Systems ◽  
Transition System ◽  
Multi Agent Systems ◽  
Contract Net Protocol ◽  
Agent Systems ◽  
Contract Net ◽  
Multi Agent ◽  
Refinement Process ◽  
Labeled Transition System

For developing large dynamic systems in a rigorous manner, fuzzy labeled transition refinement tree (FLTRT for short) has been defined. This model provides a formal specification framework for designing such systems. In fact, it supports abstraction and enables fuzziness which allows a rigorous formal refinement process. The purpose of this paper is to illustrate the applicability of FLTRT for designing multi agent systems (MAS for short), among others collective and internal agent's behaviors. Therefore, Contract Net Protocol (CNP for short) is chosen as case study.

Adopting trust and assurance as indicators for the reassignment of responsibilities in multi-agent systems

2015 ◽  
Vol 30 (2) ◽  
pp. 187-200 ◽  
Author(s):  
Benjamin Gâteau ◽  
Moussa Ouedraogo ◽  
Christophe Feltus ◽  
Guy Guemkam ◽  
Grégoire Danoy ◽  
...  
Keyword(s):  
Distributed Systems ◽  
Weather Station ◽  
Multi Agent Systems ◽  
New Approach ◽  
Agent Systems ◽  
Trust Level ◽  
Proposed Model ◽  
Selection Parameter ◽  
Multi Agent

AbstractMulti-agent systems have been widely used in the literature, including for the monitoring of distributed systems. However, one of the unresolved issues in this technology remains in the reassignment of the responsibilities of monitoring agents when some of them become unable to meet their obligations. This paper proposes a new approach for solving this problem based on (a) the gathering of evidence on whether the agent can or cannot fulfil the tasks it has been assigned and (b) the reassignment of the task to alternative agents using their trust level as a selection parameter. A weather station case study is proposed as an instantiation of the proposed model.

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.

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.

Fuzzy Labeled Transition Refinement Tree

2014 ◽  
Vol 6 (3) ◽  
pp. 1-31 ◽  
Author(s):  
Sofia Kouah ◽  
Djamel-Eddine Saidouni
Keyword(s):  
Dynamic Systems ◽  
Transition System ◽  
System Model ◽  
Design Parameters ◽  
Concurrent Design ◽  
Incremental Development ◽  
Action Refinement ◽  
Formal Framework ◽  
Labeled Transition System ◽  
Multi Agents

This paper aims to provide a formal framework that supports an incremental development of dynamic systems such as multi agents systems (MAS). We propose a fuzzy labeled transition system model (FLTS for short). FLTS allows a concise action refinement representation and deals with incomplete information through its fuzziness representation. Afterward, based on FLTS model, we propose a refinement model called fuzzy labeled transition refinement tree (FLTRT for short). The FLTRT structure serves as a tree of potential concurrent design trajectories of the system. Also, we introduce bisimulation relations for both models in order to identify equivalent design trajectories, which could be assessed with respect to relevant design parameters.

Sign in / Sign up

Export Citation Format

Share Document