{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:16:05Z","timestamp":1748751365215,"version":"3.41.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319269153"},{"type":"electronic","value":"9783319269160"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26916-0_6","type":"book-chapter","created":{"date-parts":[[2016,1,9]],"date-time":"2016-01-09T05:44:21Z","timestamp":1452318261000},"page":"96-116","source":"Crossref","is-referenced-by-count":6,"title":["Approximate Probabilistic Verification of Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Benjamin M.","family":"Gyori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bing","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soumya","family":"Paul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Ramanathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,10]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abate, A., Ames, A.D., Sastry, S.S.: Stochastic approximations of hybrid systems. In: ACC 2005. pp. 1557\u20131562 (2005)","DOI":"10.1109\/ACC.2005.1470189"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/11730637_4","volume-title":"Hybrid Systems: Computation and Control","author":"M Agrawal","year":"2006","unstructured":"Agrawal, M., Stephan, F., Thiagarajan, P.S., Yang, S.: Behavioural approximations for restricted linear differential hybrid automata. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 4\u201318. Springer, Heidelberg (2006)"},{"issue":"7","key":"6_CR3","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R Alur","year":"2000","unstructured":"Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. Proc. IEEE 88(7), 971\u2013984 (2000)","journal-title":"Proc. IEEE"},{"key":"6_CR4","unstructured":"Approximate probabilistic verification of hybrid systems (Technical report): http:\/\/arxiv.org\/abs\/1412.6953"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: COSMOS: a statistical model checker for the hybrid automata stochastic logic. In: QEST 2011. pp. 143\u2013144 (2011)","DOI":"10.1109\/QEST.2011.24"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-31954-2_9","volume-title":"Hybrid Systems: Computation and Control","author":"G Batt","year":"2005","unstructured":"Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Page, M., Schneider, D.: Qualitative analysis and verification of hybrid models of genetic regulatory networks: nutritional stress response in Escherichia coli. In: Morari, M., Thiele, L. (eds.) Hybrid Systems: Computation and Control. LNCS, vol. 3414, pp. 134\u2013150. Springer, Heidelberg (2005)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"A Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 193\u2013207. Springer, Heidelberg (1999)"},{"key":"6_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/11587392","volume-title":"Stochastic Hybrid Systems: Theory and Safety Critical Applications","author":"HA Blom","year":"2006","unstructured":"Blom, H.A., Lygeros, J., Everdij, M., Loizou, S., Kyriakopoulos, K.: Stochastic Hybrid Systems: Theory and Safety Critical Applications. Springer, Heidelberg (2006)"},{"issue":"1","key":"6_CR9","first-page":"75","volume":"229","author":"L Bortolussi","year":"2009","unstructured":"Bortolussi, L., Policriti, A.: The importance of being (a little bit) discrete. ENTCS 229(1), 75\u201392 (2009)","journal-title":"ENTCS"},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/s11538-013-9927-1","volume":"76","author":"D Bruce","year":"2014","unstructured":"Bruce, D., Pathmanathan, P., Whiteley, J.P.: Modelling the effect of gap junctions on tissue-level cardiac electrophysiology. Bull. Math. Biol. 76(2), 431\u2013454 (2014)","journal-title":"Bull. Math. Biol."},{"issue":"6","key":"6_CR11","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1007\/s00285-010-0395-z","volume":"63","author":"E Buckwar","year":"2011","unstructured":"Buckwar, E., Riedler, M.G.: An exact stochastic hybrid model of excitable membranes including spatio-temporal evolution. J. Math. Biol. 63(6), 1051\u20131093 (2011)","journal-title":"J. Math. Biol."},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1016\/j.jtbi.2008.03.029","volume":"253","author":"A Bueno-Orovio","year":"2008","unstructured":"Bueno-Orovio, A., Cherry, E.M., Fenton, F.H.: Minimal model for human ventricular action potentials in tissue. J. Theor. Biol. 253, 544\u2013560 (2008)","journal-title":"J. Theor. Biol."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Cassandras, C.G., Lygeros, J.: Stochastic Hybrid Systems. CRC Press, Taylor & Francis Group (2006)","DOI":"10.1201\/9781420008548"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/3-540-36577-X_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Clarke","year":"2003","unstructured":"Clarke, E., Fehnker, A., Han, Z., Krogh, B.H., Stursberg, O., Theobald, M.: Verification of hybrid systems based on counterexample-guided abstraction refinement. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 192\u2013207. Springer, Heidelberg (2003)"},{"key":"6_CR15","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0735-1097(95)00167-X","volume":"26","author":"E Drouin","year":"1995","unstructured":"Drouin, E., Charpentier, F., Gauthier, C., Laurent, K., Le Marec, H.: Electrophysiologic characteristics of cells spanning the left ventricular wall of human heart: evidence for presence of m cells. J Am Coll Cardiol 26, 185\u2013192 (1995)","journal-title":"J Am Coll Cardiol"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1063\/1.166311","volume":"8","author":"F Fenton","year":"1998","unstructured":"Fenton, F., Karma, A.: Vortex dynamics in 3D continuous myocardium with fiber rotation: filament instability and fibrillation. Chaos 8, 20\u201347 (1998)","journal-title":"Chaos"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-31954-2_17","volume-title":"Hybrid Systems: Computation and Control","author":"G Frehse","year":"2005","unstructured":"Frehse, G.: PHAVer: algorithmic verification of hybrid systems past hytech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 258\u2013273. Springer, Heidelberg (2005)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Gao, S., Kong, S., Clarke, E.: Delta-complete reachability analysis (part i). In: Technical report, CMU SCS, CMU-CS-13-131 (2013)","DOI":"10.21236\/ADA600179"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11730637_21","volume-title":"Hybrid Systems: Computation and Control","author":"A Girard","year":"2006","unstructured":"Girard, A., Le Guernic, C., Maler, O.: Efficient computation of reachable sets of linear time-invariant systems with inputs. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 257\u2013271. Springer, Heidelberg (2006)"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-642-22110-1_31","volume-title":"Computer Aided Verification","author":"R Grosu","year":"2011","unstructured":"Grosu, R., Batt, G., Fenton, F.H., Glimm, J., Le Guernic, C., Smolka, S.A., Bartocci, E.: From cardiac cells to genetic regulatory networks. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 396\u2013411. Springer, Heidelberg (2011)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Henzinger, T.: The theory of hybrid automata. In: LICS 1996. pp. 278\u2013292 (1996)","DOI":"10.1109\/LICS.1996.561342"},{"issue":"1","key":"6_CR23","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1016\/S0304-3975(99)00038-9","volume":"221","author":"T Henzinger","year":"1999","unstructured":"Henzinger, T., Kopke, P.: Discrete-time control for rectangular hybrid automata. Theor. Comput. Sci. 221(1), 369\u2013392 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR24","volume-title":"Differential Equations, Dynamical Systems, and an Introduction to Chaos","author":"M Hirsch","year":"2012","unstructured":"Hirsch, M., Smale, S., Devaney, R.: Differential Equations, Dynamical Systems, and an Introduction to Chaos. Academic Press, Waltham (2012)"},{"issue":"6","key":"6_CR25","doi-asserted-by":"publisher","first-page":"1193","DOI":"10.1109\/TAC.2009.2019791","volume":"54","author":"AA Julius","year":"2009","unstructured":"Julius, A.A., Pappas, G.J.: Approximations of stochastic hybrid systems. IEEE Trans. Autom. Control 54(6), 1193\u20131203 (2009)","journal-title":"IEEE Trans. Autom. Control"},{"key":"6_CR26","first-page":"1","volume":"8","author":"JK Kim","year":"2012","unstructured":"Kim, J.K., Forger, D.B.: A mechanism for robust circadian timekeeping via stoichiometric balance. Mol Syst Biol 8, 1\u201314 (2012)","journal-title":"Mol Syst Biol"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-3-319-12982-2_8","volume-title":"Computational Methods in Systems Biology","author":"B Liu","year":"2014","unstructured":"Liu, B., Kong, S., Gao, S., Zuliani, P., Clarke, E.M.: Parameter synthesis for cardiac cell hybrid models using $$\\delta $$ -decisions. In: Mendes, P., Dada, J.O., Smallbone, K. (eds.) CMSB 2014. LNCS, vol. 8859, pp. 99\u2013113. Springer, Heidelberg (2014)"},{"issue":"1","key":"6_CR28","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1142\/S021972000600176X","volume":"4","author":"H Matsuno","year":"2006","unstructured":"Matsuno, H., Inouye, S.T., Okitsu, Y., Fujii, Y., Miyano, S.: A new regulatory interaction suggested by simulations for circadian genetic control mechanism in mammals. J Bioinf. Comput Biol 4(1), 139\u2013153 (2006)","journal-title":"J Bioinf. Comput Biol"},{"key":"6_CR29","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1161\/01.CIR.93.1.168","volume":"93","author":"M Nabauer","year":"1996","unstructured":"Nabauer, M., Beuckelmann, D.J., Uberfuhr, P., Steinbeck, G.: Regional differences in current density and rate-dependent properties of the transient outward current in subepicardial and subendocardial myocytes of human left ventricle. Circulation 93, 169\u2013177 (1996)","journal-title":"Circulation"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Nakamura, K., Yoshida, R., Nagasaki, M., Miyano, S., Higuchi, T.: Parameter estimation of in silico biological pathways with particle filtering towards a petascale computing. In: PSB 2009. pp. 227\u2013238 (2009)","DOI":"10.1142\/9789812836939_0022"},{"key":"6_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-40708-6_10","volume-title":"Computational Methods in Systems Biology","author":"SK Palaniappan","year":"2013","unstructured":"Palaniappan, S.K., Gyori, B.M., Liu, B., Hsu, D., Thiagarajan, P.S.: Statistical model checking based calibration and analysis of bio-pathway models. In: Gupta, A., Henzinger, T.A. (eds.) CMSB 2013. LNCS, vol. 8130, pp. 120\u2013134. Springer, Heidelberg (2013)"},{"key":"6_CR32","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1126\/science.288.5468.1013","volume":"288","author":"L Shearman","year":"2000","unstructured":"Shearman, L., Sriram, S., Weaver, D., Maywood, E., Chaves, I., Zheng, B., Kume, K., Lee, C., van der Horst, G., Hastings, M., Reppert, S.: Interacting molecular loops in the mammalian circadian clock. Science 288, 1013\u20131019 (2000)","journal-title":"Science"},{"key":"6_CR33","volume-title":"General Topology","author":"W Stephen","year":"1970","unstructured":"Stephen, W.: General Topology. Dover Publications, Addison-Wesley Publishing Company, Reading, Massachusetts (1970)"},{"issue":"101","key":"6_CR34","doi-asserted-by":"publisher","first-page":"839","DOI":"10.1161\/CIRCRESAHA.107.153858","volume":"8","author":"K Tanaka","year":"2007","unstructured":"Tanaka, K., Zlochiver, S., Vikstrom, K., Yamazaki, M., Moreno, J., Klos, M., Zaitsev, A., Vaidyanathan, R., Auerbach, D., Landas, S., Guiraudon, G., Jalife, J., Berenfeld, O., Kalifa, J.: Spatial distribution of fibrosis governs fibrillation wave dynamics in the posterior left atrium during heart failure. Circ. Res. 8(101), 839\u2013847 (2007)","journal-title":"Circ. Res."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26916-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T02:49:39Z","timestamp":1748746179000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26916-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319269153","9783319269160"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26916-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}