2008 23rd Annual IEEE Symposium on Logic in Computer Science A Logical Characterization of Individual-Based Models June 24-June 27 ISBN: 978-0-7695-3183-0
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/LICS.2008.27
Individual-based models are a relatively new approach to modelling dynamicalsystems of interacting entities, for example molecules in a biological cell. Although they are computationally expensive, they have the capability of modelling systems more realistically than traditional state-variable models. We give a formal definition of individual-based models, which includes state-variable models as a special case. We examine the questions of when state-variable models are sufficient for accurate modelling of a system, and when individual-based models are necessary.??We define notions of abstraction and approximation, and give sufficient conditions that imply that an individual-based model can be approximated by a deterministic state-variable model. We also give negative results:??examples of individual-based models that cannot be approximated by any state-variable model.
Index Terms:
finite model theory, probability, systems biology
Citation:
James F. Lynch, "A Logical Characterization of Individual-Based Models," lics, pp.379-390, 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||