Formal validation of asynchronous interaction-agents algorithms for reaction-diffusion problems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2007

Formal validation of asynchronous interaction-agents algorithms for reaction-diffusion problems

Résumé

In the context of biological complex systems multi- agent simulation, we present an interaction-agent model for reaction-diffusion problems that enables interaction with the simulation during the execution, and we establish a mathematical validation for our model. We use two types of interaction-agents: on one hand, in a chemical reactor with no spatial dimension -e.g. a cell-, a reaction-agent rep- resents an autonomous chemical reaction between several reactants, and modifies the concentration of reaction prod- ucts. On the other hand, we use interface-agents in order to take into account the spatial dimension that appears with diffusion : interface-agents achieve the matching transfer of reactants between cells. This approach, where the simula- tion engine makes agents intervene in a chaotic and asyn- chronous way, is an alternative to the classical model - which is not relevant when the limits conditions are fre- quently modified- based on partial derivative equations. We enounciate convergence results for our interaction-agent methods, and illustrate our model with an example about coagulation inside a blood vessel.
Fichier principal
Vignette du fichier
redou-interactionagents.pdf (242.99 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00861413 , version 1 (17-09-2013)

Identifiants

  • HAL Id : hal-00861413 , version 1

Citer

Pascal Redou, Kerdélo Sébastien, Gireg Desmeulles, Jean-François Abgrall, Vincent Rodin, et al.. Formal validation of asynchronous interaction-agents algorithms for reaction-diffusion problems. PADS'07, 21st International Workshop on Principles of Advanced and Distributed Simulation, Jun 2007, San Diego, United States. pp.26-34. ⟨hal-00861413⟩
242 Consultations
220 Téléchargements

Partager

More