Email updates

Keep up to date with the latest news and content from BMC Bioinformatics and BioMed Central.

This article is part of the supplement: Eleventh International Conference on Bioinformatics (InCoB2012): Bioinformatics

Open Access Open Badges Proceedings

Improved statistical model checking methods for pathway analysis

Chuan Hock Koh12*, Sucheendra K Palaniappan2, PS Thiagarajan2 and Limsoon Wong2

Author Affiliations

1 NUS Graduate School for Integrative Sciences and Engineering, Singapore 117597

2 School of Computing, National University of Singapore, Singapore 117417

For all author emails, please log on.

BMC Bioinformatics 2012, 13(Suppl 17):S15  doi:10.1186/1471-2105-13-S17-S15

Published: 13 December 2012


Statistical model checking techniques have been shown to be effective for approximate model checking on large stochastic systems, where explicit representation of the state space is impractical. Importantly, these techniques ensure the validity of results with statistical guarantees on errors. There is an increasing interest in these classes of algorithms in computational systems biology since analysis using traditional model checking techniques does not scale well. In this context, we present two improvements to existing statistical model checking algorithms. Firstly, we construct an algorithm which removes the need of the user to define the indifference region, a critical parameter in previous sequential hypothesis testing algorithms. Secondly, we extend the algorithm to account for the case when there may be a limit on the computational resources that can be spent on verifying a property; i.e, if the original algorithm is not able to make a decision even after consuming the available amount of resources, we resort to a p-value based approach to make a decision. We demonstrate the improvements achieved by our algorithms in comparison to current algorithms first with a straightforward yet representative example, followed by a real biological model on cell fate of gustatory neurons with microRNAs.