State space exploration of spatially organized populations of agents - Université d'Évry
Conference Papers Year : 2011

State space exploration of spatially organized populations of agents

Abstract

In this paper, we aim at modeling and analyzing the behavior of a spatial population of agents through an exploration of their state space. Agents are localized on a dynamic graph and they have internal states. They interact with an environment. The evolution of the agents and of the environment is specified by a set of rules. The framework is carefully designed to enable the construction of a global state space that can be automatically build and analyzed. The formalism, called IRNs for integrated regulatory networks, may be seen as an extension of logical regulatory networks (à la Thomas) developed in systems biology with spatial information and generalized to use arbitrary data values and update functions of this values. This thus allows to model systems with multiple agents that may be located on a varying spatial structure, may store and update local information, may depend on varying global information and may communicate in their neighborhood. A model of such a system can be defined as an IRN, and then analyzed using model-checking to asses its properties. This paper sketches the modeling framework and its semantics. We show how IRN may be used for the modeling of a population of simple agents, the automatic analysis of various reachability properties and the use of symmetries to reduce the size of the state space.
Fichier principal
Vignette du fichier
scw2011_dautriche_giavitto_klaudel_pommereau.pdf (158.6 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00745245 , version 1 (11-02-2014)

Identifiers

Cite

Antoine Dautriche, Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau. State space exploration of spatially organized populations of agents. 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011), Oct 2011, Ann Arbor, MI, United States. pp.79-84, ⟨10.1109/SASOW.2011.9⟩. ⟨hal-00745245⟩
285 View
121 Download

Altmetric

Share

More