State space exploration of spatially organized populations of agents

Antoine Dautriche 1 Jean-Louis Giavitto 2 Hanna Klaudel 3 Franck Pommereau 1
1 LIS
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
2 Repmus - Représentations musicales
STMS - Sciences et Technologies de la Musique et du Son
3 COSMO
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
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.
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00745245
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, February 11, 2014 - 3:15:41 PM
Last modification on : Tuesday, October 8, 2019 - 11:08:02 AM
Long-term archiving on : Monday, May 12, 2014 - 11:21:18 AM

File

scw2011_dautriche_giavitto_kla...
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

490

Files downloads

143