{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:24:18Z","timestamp":1760171058039},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"S6","content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Syst Biol"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1186\/s12918-017-0481-6","type":"journal-article","created":{"date-parts":[[2017,12,14]],"date-time":"2017-12-14T09:06:20Z","timestamp":1513242380000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Model checking optimal finite-horizon control for probabilistic gene regulatory networks"],"prefix":"10.1186","volume":"11","author":[{"given":"Ou","family":"Wei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zonghao","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yun","family":"Niu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenyuan","family":"Liao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,14]]},"reference":[{"issue":"1","key":"481_CR1","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1023\/A:1023909812213","volume":"52","author":"A Datta","year":"2003","unstructured":"Datta A, Choudhary A, Bittner ML, Dougherty ER. External control in markovian genetic regulatory networks. Mach Learn. 2003; 52(1):169\u201391.","journal-title":"Mach Learn"},{"issue":"2","key":"481_CR2","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1093\/bioinformatics\/18.2.261","volume":"18","author":"I Shmulevich","year":"2002","unstructured":"Shmulevich I, Dougherty ER, Kim S. Probabilistic boolean networks: a rule-based uncertainty model for gene regulatory networks. Bioinformatics. 2002; 18(2):261\u201374.","journal-title":"Bioinformatics"},{"issue":"1","key":"481_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/1478-811X-11-46","volume":"11","author":"P Trairatphisan","year":"2013","unstructured":"Trairatphisan P, Mizera A, Pang J, Tantar AA, Schneider J, Sauter T. Recent development and biomedical applications of probabilistic boolean networks. Cell Commun Signal. 2013; 11(1):1\u201325.","journal-title":"Cell Commun Signal"},{"issue":"7","key":"481_CR4","doi-asserted-by":"crossref","first-page":"1211","DOI":"10.1093\/bioinformatics\/bti131","volume":"27","author":"R Pal","year":"2005","unstructured":"Pal R, Datta A, Bittner ML, Dougherty ER. Intervention in context-sensitive probabilistic boolean networks. Bioinformatics. 2005; 27(7):1211\u20138.","journal-title":"Bioinformatics"},{"issue":"10","key":"481_CR5","doi-asserted-by":"crossref","first-page":"1319","DOI":"10.1093\/bioinformatics\/18.10.1319","volume":"18","author":"I Shmulevich","year":"2002","unstructured":"Shmulevich I, Dougherty ER, Zhang W. Gene perturbation and intervention in probabilistic boolean networks. Bioinformatics. 2002; 18(10):1319\u20131331.","journal-title":"Bioinformatics"},{"key":"481_CR6","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen JP, Larsen KG. Principles of Model Checking. Cambridge MA: MIT Press; 2008."},{"key":"481_CR7","doi-asserted-by":"crossref","unstructured":"Ceska M, Dannenberg F, Kwiatkowska M, Paoletti N. Precise parameter synthesis for stochastic biochemical systems. In: Proceedings of the 12th International Conference on Computational Methods in Systems Biology: 2014. p. 86\u201398.","DOI":"10.1007\/978-3-319-12982-2_7"},{"issue":"2","key":"481_CR8","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1142\/S0219720009004084","volume":"7","author":"CJ Langmead","year":"2009","unstructured":"Langmead CJ, Jha SK. Symbolic approaches for finding control strategies in boolean networks. J Bioinforma Comput Biol. 2009; 7(2):307\u201319.","journal-title":"J Bioinforma Comput Biol"},{"key":"481_CR9","volume-title":"Proceedings of the 14th International Conference on Computational Methods in Systems Biology","author":"C Mu","year":"2016","unstructured":"Mu C, Dittrich P, Parker D, Rowe JE. Formal quantitative analysis of reaction networks using chemical organization theory. In: Proceedings of the 14th International Conference on Computational Methods in Systems Biology. Cham: Springer: 2016. p. 232\u2013251."},{"key":"481_CR10","volume-title":"Proceedings of the 2011 IEEE International Conference on Bioinformatics and Biomedicine","author":"U Rauf","year":"2011","unstructured":"Rauf U, Siddique U, Ahmad J, Niazi U. Formal modeling and analysis of biological regulatory networks using spin. In: Proceedings of the 2011 IEEE International Conference on Bioinformatics and Biomedicine. Washington: IEEE Computer Society publisher: 2011. p. 304\u20138."},{"issue":"6","key":"481_CR11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1049\/iet-syb.2012.0018","volume":"6","author":"K Kobayashi","year":"2012","unstructured":"Kobayashi K, Hiraishi K. Symbolic approach to verification and control of deterministic\/probabilistic boolean networks. IET Syst Biol. 2012; 6(6):215\u201322.","journal-title":"IET Syst Biol"},{"issue":"2","key":"481_CR12","first-page":"295","volume":"2014","author":"K Kobayashi","year":"2014","unstructured":"Kobayashi K, Hiraishi K. Verification and optimal control of context-sensitive probabilistic boolean networks using model checking and polynomial optimization. Sci World J. 2014; 2014(2):295\u2013318.","journal-title":"Sci World J"},{"issue":"S-2","key":"481_CR13","first-page":"14","volume":"4","author":"Y Cong","year":"2010","unstructured":"Cong Y, Ching W, Tsing N, Leung H. On finite-horizon control of genetic regulatory networks with multiple hard-constraints. BMC Syst Biol. 2010; 4(S-2):14.","journal-title":"BMC Syst Biol"},{"issue":"6","key":"481_CR14","doi-asserted-by":"crossref","first-page":"1260","DOI":"10.1016\/j.automatica.2011.01.035","volume":"47","author":"K Kobayashi","year":"2011","unstructured":"Kobayashi K, Hiraishi K. An integer programming approach to optimal control problems in context-sensitive probabilistic boolean networks. Automatica. 2011; 47(6):1260\u20134.","journal-title":"Automatica"},{"issue":"7","key":"481_CR15","doi-asserted-by":"crossref","first-page":"1211","DOI":"10.1093\/bioinformatics\/bti131","volume":"21","author":"R Pal","year":"2005","unstructured":"Pal R, Datta A, Bittner ML, Dougherty ER. Intervention in context-sensitive probabilistic boolean networks. Bioinformatics. 2005; 21(7):1211\u20138.","journal-title":"Bioinformatics"},{"key":"481_CR16","volume-title":"Proceeding of the 23rd International Conference on Computer Aided Verification. LNCS, vol. 6806","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska M, Norman G, Parker D. Prism 4.0: Verification of probabilistic real-time systems. In: Proceeding of the 23rd International Conference on Computer Aided Verification. LNCS, vol. 6806. Heidelberg: Springer: 2011. p. 585\u201391."},{"issue":"2","key":"481_CR17","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1016\/j.jtbi.2009.06.006","volume":"260","author":"L Tournier","year":"2009","unstructured":"Tournier L, Chaves M. Uncovering operational interactions in genetic networks using asynchronous boolean dynamics. J Theor Biol. 2009; 260(2):196\u2013209.","journal-title":"J Theor Biol"},{"key":"481_CR18","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"M Puterman","year":"2005","unstructured":"Puterman M. Markov Decision Processes: Discrete Stochastic Dynamic Programming. Hoboken: John Wiley and Sons; 2005."},{"issue":"6795","key":"481_CR19","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1038\/35020115","volume":"406","author":"M L.Bittner","year":"2000","unstructured":"L.Bittner M, Meltzer P, Chen Y, Jiang Y, Seftor E, Hendrix M, Radmacher M, Simon R, Yakhini Z, Ben-Dor A, Sampas N, Dougherty E, Wang E, Marincola F, Lueders CGJ, Glatfelter A, Pollock P, Carpten J, Gillanders E, Leja D, Dietrich K, Beaudry C, Berens M, Alberts D, Sondak V. Molecular classification of cutaneous malignant melanoma by gene expression profiling. Nature. 2000; 406(6795):536\u201340.","journal-title":"Nature"},{"issue":"10","key":"481_CR20","doi-asserted-by":"crossref","first-page":"1265","DOI":"10.1093\/bioinformatics\/btm093","volume":"23","author":"Y Xiao","year":"2007","unstructured":"Xiao Y, Dougherty ER. The impact of function perturbations in boolean networks. Bioinformatics. 2007; 23(10):1265\u201373.","journal-title":"Bioinformatics"}],"container-title":["BMC Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12918-017-0481-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T00:47:43Z","timestamp":1570495663000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcsystbiol.biomedcentral.com\/articles\/10.1186\/s12918-017-0481-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":20,"journal-issue":{"issue":"S6","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["481"],"URL":"https:\/\/doi.org\/10.1186\/s12918-017-0481-6","relation":{},"ISSN":["1752-0509"],"issn-type":[{"value":"1752-0509","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,12]]},"article-number":"104"}}