Recherche

Recherche simple

Recherche avancée

Panier électronique

Votre panier ne contient aucune notice

Connexion à la base

Identification

(Identifiez-vous pour accéder aux fonctions de mise à jour. Utilisez votre login-password de courrier électronique)

Entrepôt OAI-PMH

Soumettre une requête

	Consulter la notice détaillée
	Version complète en ligne
	Version complète en ligne accessible uniquement depuis l'Ircam
	Ajouter la notice au panier
	Retirer la notice du panier

English version

(full translation not yet available)

Liste complète des articles

Consultation des notices

Vue détaillée

Vue Refer

Vue Labintel

Vue BibTeX

%0 Conference Proceedings
%A Dautriche, Antoine
%A Giavitto, Jean-Louis
%A Klaudel, Hanna
%A Pommereau, Franck
%T State Space Exploration of Spatially Organized Populations of Agents
%D 2011
%B Spatial Computing Workshop (SCW 2011)
%C Ann Arbor, Michigan
%V IEEE Digital Library
%F Dautriche11a
%K model-checking
%K ransition systems
%K dynamic graphs
%K dynamical systems with a dynamical structure
%K biological modeling
%X 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 evolu- tion 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 regula- tory networks, may be seen as a spatial extension of logical regulatory networks (`a la Thomas) developed in systems biology. 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.
%1 6
%2 1
%U http://architexte.ircam.fr/textes/Dautriche11a/