Cancer hybrid automata: Model, beliefs and therapy

Information and Computation

Volumn 236, Issue , 2014, Pages 68-86

  Olde Loohuis, Loes ^a   Witzel, Andreas ^b   Mishra, Bud ^b  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b NEW YORK UNIVERSITY   (United States)

Author keywords

Automatic therapy design; Belief; Cancer progression; Controller synthesis; Hybrid automata; Tests

Indexed keywords

CONTROLLERS; DISEASES; DRUG THERAPY; TESTING;

BELIEF; CANCER PROGRESSION; CONTROLLER SYNTHESIS; HYBRID AUTOMATONS; THERAPY DESIGN;

AUTOMATA THEORY;

EID: 84902290248     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2014.01.013     Document Type: Article

References (34)

1. D. Hanahan, and R.A. Weinberg The hallmarks of cancer Cell 100 1 2000 57 70 10.1016/S0092-8674(00)81683-9 (Pubitemid 30046295)
2. D. Hanahan, and R.A. Weinberg Hallmarks of cancer: The next generation Cell 144 5 2011 646 674 10.1016/j.cell.2011.02.013 URL http://linkinghub. elsevier.com/retrieve/pii/S0092867411001279
3. R. Abbott, S. Forrest, and K. Pienta Simulating the hallmarks of cancer Artif. Life 12 4 2006 617 634 10.1162/artl.2006.12.4.617 (Pubitemid 44356027)
4. J. Luo, N.L. Solimini, and S.J. Elledge Principles of cancer therapy: Oncogene and non-oncogene addiction Cell 136 5 2009 823 837 10.1016/j.cell.2009. 02.024 URL http://www.sciencedirect.com/science/article/B6WSN-4VS49KS-9/2/ 2dbe52f01a823f0c41169dbad5978c2f
5. L. Olde Loohuis, A. Witzel, B. Mishra, Towards cancer hybrid automata, in: Proceedings of Hybrid Systems and Biology (HSB).
6. E. Clarke, and E. Emerson Design and synthesis of synchronization skeletons using branching time temporal logic D. Kozen, Logics of Programs Lect. Notes Comput. Sci. vol. 131 1982 Springer Berlin/Heidelberg 52 71 URL http://dx.doi.org/10.1007/BFb0025774
7. E.M. Clarke, O. Grumberg, and D.A. Peled Model Checking 1999 MIT Press
8. S. Jiang, and R. Kumar Supervisory control of discrete event systems with CTL* temporal logic specifications SIAM J. Control Optim. 44 6 2006 2079 2103 10.1137/S0363012902409982 URL http://link.aip.org/link/?SJC/44/2079/1 (Pubitemid 44775252)
9. R.H. Hruban, M. Goggins, J. Parsons, and S.E. Kern Progression model for pancreatic cancer Clin. Cancer Res. 6 8 2000 2969
10. S. Jones, W.-d. Chen, G. Parmigiani, F. Diehl, N. Beerenwinkel, T. Antal, A. Traulsen, M.A. Nowak, C. Siegel, and V.E. Velculescu et al. Comparative lesion sequencing provides insights into tumor evolution Proc. Natl. Acad. Sci. USA 105 11 2008 4283 4288 (Pubitemid 351754372)
11. N. Beerenwinkel, T. Antal, D. Dingli, A. Traulsen, K.W. Kinzler, V.E. Velculescu, B. Vogelstein, and M.A. Nowak Genetic progression and the waiting time to cancer PLoS Comput. Biol. 3 11 2007 e225
12. B. Efron Logistic regression, survival analysis, and the kaplan-meier curve J. Am. Stat. Assoc. 83 402 1988 414 425
13. R. Alur, C. Courcoubetis, and D. Dill Model-checking in dense real-time Inf. Comput. 104 1 1993 2 34 10.1006/inco.1993.1024 URL http://www. sciencedirect.com/science/article/pii/S0890540183710242
14. P. Bouyer Weighted timed automata: Model-checking and games Electron. Notes Theor. Comput. Sci. 158 0 2006 3 17 10.1016/j.entcs.2006.04.002 (Pubitemid 44308232)
15. O. Maler, A. Pnueli, and J. Sifakis On the synthesis of discrete controllers for timed systems E. Mayr, C. Puech, STACS 95 Lect. Notes Comput. Sci. vol. 900 1995 Springer Berlin/Heidelberg 229 242
16. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya What's decidable about hybrid automata? Proceedings of the twenty-seventh annual ACM symposium on Theory of computing STOC '95 1995 ACM New York, NY, USA 373 382
17. T.A. Henzinger, B. Horowitz, and R. Majumdar Rectangular hybrid games CONCUR 99 Lect. Notes Comput. Sci. vol. 1664 1999 Springer 320 335
18. O. Maler Control from computer science Annu. Rev. Control 26 2 2002 175 187
19. T.A. Henzinger, and P.W. Kopke Discrete-time control for rectangular hybrid automata Theor. Comput. Sci. 221 1-2 1999 369 392 10.1016/S0304-3975(99) 00038-9 URL http://www.sciencedirect.com/science/article/pii/S0304397599000389 (Pubitemid 129608972)
20. S. Jiang, and R. Kumar Supervisory control of discrete event systems with ctl* temporal logic specifications SIAM J. Control Optim. 44 6 2006 2079 2103 10.1137/S0363012902409982 (Pubitemid 44775252)
21. W. van der Hoek, and M. Wooldridge Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications Stud. Log. 75 1 2003 125 157
22. K.E. de Visser, A. Eichten, and L.M. Coussens Paradoxical roles of the immune system during cancer development Nat. Rev. Cancer 6 1 2006 24 37 10.1038/nrc1782 (Pubitemid 43053650)
23. A. Rahman, K. Korzekwa, J. Grogan, F. Gonzalez, and J. Harris Selective biotransformation of taxol to 6α-hydroxytaxol by human cytochrome p450 2c8 Cancer Res. 54 21 1994 5543 5546
24. T. Henzinger The theory of hybrid automata Logic in Computer Science, Proceedings of the Eleventh Annual IEEE Symposium LICS'96 1996 IEEE 278 292
25. I. Rodriguez-Brenes, N. Komarova, and D. Wodarz Evolutionary dynamics of feedback escape and the development of stem-cell-driven cancers Proc. Natl. Acad. Sci. USA 108 47 2011 18983 18988
26. N. Navin, J. Kendall, J. Troge, P. Andrews, L. Rodgers, J. McIndoo, K. Cook, A. Stepansky, D. Levy, D. Esposito, L. Muthuswamy, A. Krasnitz, W.R. McCombie, J. Hicks, and M. Wigler Tumour evolution inferred by single-cell sequencing Nature 472 7341 2011 90 94 10.1038/nature09807
27. I.J. Fidler Tumor heterogeneity and the biology of cancer invasion and metastasis Cancer Res. 38 9 1978 2651 2660 URL http://cancerres.aacrjournals. org/content/38/9/2651.abstract (Pubitemid 9001502)
28. G.H. Heppner Tumor heterogeneity Cancer Res. 44 6 1984 2259 2265 URL http://cancerres.aacrjournals.org/content/44/6/2259.short (Pubitemid 14110633)
29. N. Ramakrishnan, S. Tadepalli, L.T. Watson, R.F. Helm, M. Antoniotti, and B. Mishra Reverse engineering dynamic temporal models of biological processes and their relationships Proc. Natl. Acad. Sci. USA 107 28 2010 12511 12516 10.1073/pnas.1006283107 URL http://www.pnas.org/content/early/2010/06/16/ 1006283107.abstract
30. E. Comen, L. Norton, and J. Massague Clinical implications of cancer self-seeding Nat. Rev. Clin. Oncol. 8 6 2011 369 377 10.1038/nrclinonc.2011.64
31. L. Norton Cancer stem cells, self-seeding, and decremented exponential growth: Theoretical and clinical implications Breast Disease 29 1 2008 27 36 URL http://iospress.metapress.com/content/T0R3351255U23705
32. R. Desper, F. Jiang, O. Kallioniemi, H. Moch, C. Papadimitriou, and A. Schäffer Inferring tree models for oncogenesis from comparative genome hybridization data J. Comput. Biol. 6 1 1999 37 51 (Pubitemid 29166360)
33. R. Desper, F. Jiang, O. Kallioniemi, H. Moch, C. Papadimitriou, and A. Schäffer Distance-based reconstruction of tree models for oncogenesis J. Comput. Biol. 7 6 2000 789 803
34. E.M. Clarke, E.A. Emerson, and A.P. Sistla Automatic verification of finite-state concurrent systems using temporal logic specifications ACM Trans. Program. Lang. Syst. 8 2 1986 244 263 10.1145/5397.5399 URL http://doi.acm.org/ 10.1145/5397.5399 (Pubitemid 16633197)