Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, February 11, 2014 - 3:15:41 PM
Last modification on : Friday, January 8, 2021 - 2:04:36 PM
Long-term archiving on: : Monday, May 12, 2014 - 11:21:18 AM


Files produced by the author(s)



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⟩



Record views


Files downloads