loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
21st International Workshop on Principles of Advanced and Distributed Simulation (PADS'07)
Formal Validation of Asynchronous Interaction-Agents Algorithms for Reaction-Diffusion Problems
San Diego, California, USA
June 12-June 15
ISBN: 0-7695-2898-8
Pascal Redou, Brest University Hospital, France
Sebastien Kerdelo, Brest University Hospital, France
Gireg Desmeulles, Brest University Hospital, France
Jean-Francois Abgrall, Brest University Hospital, France
Vincent Rodin, Brest University Hospital, France
Jacques Tisseau, Brest University Hospital, France
In the context of biological complex systems multi-agent simulation, we present an interaction-agentmodel 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 represents an autonomous chemical reaction between several reactants, and modifies the concentration of reaction products. 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 simulation engine makes agents intervene in a chaotic and asynchronous way, is an alternative to the classical model - which is not relevant when the limits conditions are frequently 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.
Citation:
Pascal Redou, Sebastien Kerdelo, Gireg Desmeulles, Jean-Francois Abgrall, Vincent Rodin, Jacques Tisseau, "Formal Validation of Asynchronous Interaction-Agents Algorithms for Reaction-Diffusion Problems," pads, pp.93-104, 21st International Workshop on Principles of Advanced and Distributed Simulation (PADS'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.