2008 | OriginalPaper | Buchkapitel
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway
verfasst von : Edmund M. Clarke, James R. Faeder, Christopher J. Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay
Erschienen in: Computational Methods in Systems Biology
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We present an algorithm, called
BioLab
, for verifying temporal properties of rule-based models of cellular signalling networks.
BioLab
models are encoded in the
BioNetGen
language, and properties are expressed as formulae in probabilistic bounded linear temporal logic. Temporal logic is a formalism for representing and reasoning about propositions qualified in terms of time. Properties are then verified using sequential hypothesis testing on executions generated using stochastic simulation.
BioLab
is optimal, in the sense that it generates the minimum number of executions necessary to verify the given property.
BioLab
also provides guarantees on the probability of it generating Type-I (i.e., false-positive) and Type-II (i.e., false-negative) errors. Moreover, these error bounds are pre-specified by the user. We demonstrate
BioLab
by verifying stochastic effects and bistability in the dynamics of the T-cell receptor signaling network.