Decision procedure based discovery of rare behaviors in stochastic differential equation models of biological systems

2012 IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2012

Volumn , Issue , 2012, Pages

  Ghosh, Arup K ^a   Hussain, Faraz ^a   Jha, Sumit K ^a   Langmead, Christopher J ^b   Jha, Susmit ^c  

^a University of Central Florida   (United States)

^b Carnegie Mellon University ^*  (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYTIC METHOD; COMPLEX BIOLOGICAL SYSTEMS; CYBER PHYSICAL SYSTEMS (CPSS); DECISION PROCEDURE; PRECISION ARITHMETIC; STOCHASTIC DIFFERENTIAL EQUATION MODELS; STOCHASTIC NATURE; STOCHASTIC SIMULATIONS;

DIFFERENTIAL EQUATIONS; EMBEDDED SYSTEMS; GAUSSIAN NOISE (ELECTRONIC); STOCHASTIC MODELS;

BIOLOGICAL SYSTEMS;

EID: 84860521750     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCABS.2012.6182635     Document Type: Conference Paper

References (16)

1. S. Jha and C. Langmead, "Exploring Behaviors of SDE Models of Biological Systems using Change of Measures,"in Proc. of the 1st IEEE International Conference on Computational Advances in Bio and medical Sciences (ICCABS), 2011, pp. 111-117.
2. S. Jha, R. Limaye, and S. A. Seshia, "Beaver: Engineering an efficient smt solver for bit-vector arithmetic," in 21st International Conference on Computer-Aided Verification, 2009, pp. 668-674.
3. S. Jha, B. A. Brady, and S. A. Seshia, "Symbolic Reachability Analysis of Lazy Linear Hybrid Automata," in 5th International Conference on Formal Modelling and Analysis of Timed Systems, 2007, pp. 241-256.
4. C. Baier and J.-P. Katoen, Principles of Model Checking (Representation and Mind Series). The MIT Press, 2008.
5. C. Piazza, M. Antoniotti, V. Mysore, A. Policriti, F. Winkler, and B. Mishra, "Algorithmic algebraic model checking i: Challenges from systems biology," in 17th International Conference on Computer Aided Verification, 2005, pp. 5-19.
6. J. Heath, M. Kwiatkowska, G. Norman, D. Parker, and O. Tymchyshyn, "Probabilistic model checking of complex biological pathways," in Proc. Computational Methods in Systems Biology (CMSB'06), ser. Lecture Notes in Bioinformatics, C. Priami, Ed., vol. 4210. Springer Verlag, 2006, pp. 32-47.
7. S. Jha, E. Clarke, C. Langmead, A. Platzer, and P. Zuliani, "A bayesian approach to model checking biological systems,"Proc. 7th Conf. on Computational Methods in Systems Biology (CMSB), pp. 218-234, 2009.
8. E. Clarke, J. Faeder, L. Harris, C. Langmead, A. Legay, and S. Jha, "Statistical model checking in biolab: Application to the automated analysis of the t-cell receptor signalling pathway," Proc. 6th Conf. on Computational Methods in Systems Biology (CMSB), pp. 231-250, 2008.
9. I. Karatzas and S. Shreve, Brownian Motion and Stochastic Calculus (Graduate Texts in Mathematics), 2nd ed. Springer, 1991.
10. A. Pnueli, "The temporal logic of programs," in Proceedings of the 18th IEEE Symposium on Foundation of Computer Science, 1977, pp. 46-57.
11. Q.-G. Xu and H.-K. Miao, "Timed automata for metric interval temporal logic formulae in prototype verification system," Journal of Shanghai University (English Edition), vol. 12, no. 4, pp. 339-346, 2008.
12. A. K. Ghosh, "Speeding up sat solver by exploring cnf symmetries: Revisited," Congressus Numerantium, vol. 206, pp. 73-84, 2010.
13. B. Dutertre and L. de Moura, "The Yices SMT solver," Tool paper at http://yices.csl.sri.com/tool-paper.pdf, SRI International, Aug. 2006.
14. S. Jha, S. Gulwani, S. A. Seshia, and A. Tiwari, "Oracle-guided component-based program synthesis," in Proceedings of the 32nd International Conference on Software Engineering (ICSE), 2010, pp. 215-224.
15. S. Jha, S. Gulwani, S. Seshia, and A. Tiwari, "Synthesizing switching logic for safety and dwell-time requirements," in Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2010, pp. 22-31.
16. B. Pfeuty and K. Kaneko, "Minimal requirements for robust cell size control in eukaryotic cells," Physical Biology, 2007.