{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:28:44Z","timestamp":1725892124889},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336355"},{"type":"electronic","value":"9783642336362"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33636-2_16","type":"book-chapter","created":{"date-parts":[[2012,9,27]],"date-time":"2012-09-27T19:25:48Z","timestamp":1348773948000},"page":"267-287","source":"Crossref","is-referenced-by-count":8,"title":["Approximate Bisimulations for Sodium Channel Dynamics"],"prefix":"10.1007","author":[{"given":"Abhishek","family":"Murthy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Md. Ariful","family":"Islam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ezio","family":"Bartocci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elizabeth M.","family":"Cherry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flavio H.","family":"Fenton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Glimm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Cherry, E., Glimm, J., Grosu, R., Smolka, S.A., Fenton, F.: Toward real-time simulation of cardiac dynamics. In: Proceedings of the 9th International Conference on Computational Methods in Systems Biology, CMSB 2011, pp. 103\u2013112. ACM (2011)","DOI":"10.1145\/2037509.2037525"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Bauer, F.L., Fike, C.T.: Norms and Exclusion Theorems. Numerische Matematik (1960)","DOI":"10.1007\/BF01386217"},{"key":"16_CR3","unstructured":"Boyd, S.: EE 263: Introduction to Linear Dynamical Systems, lecture notes. In: Stanford Engineering Everywhere, SEE (2010)"},{"issue":"3","key":"16_CR4","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. of Theor. Biology\u00a0253(3), 544\u2013560 (2008)","journal-title":"J. of Theor. Biology"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"125016","DOI":"10.1088\/1367-2630\/10\/12\/125016","volume":"10","author":"E.M. Cherry","year":"2008","unstructured":"Cherry, E.M., Fenton, F.H.: Visualization of spiral and scroll waves in simulated and experimental cardiac tissue. New Journal of Physics\u00a010, 125016 (2008)","journal-title":"New Journal of Physics"},{"key":"16_CR6","first-page":"964","volume":"2","author":"E. Chiavazzo","year":"2007","unstructured":"Chiavazzo, E., Gorban, A.N., Karlin, I.V.: Comparisons of invariant manifolds for model reduction in chemical kinetics. Comm. Comp. Phys.\u00a02, 964\u2013992 (2007)","journal-title":"Comm. Comp. Phys."},{"key":"16_CR7","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195096705.001.0001","volume-title":"An Introduction to Nonlinear Chemical Dynamics","author":"I.R. Epstein","year":"1998","unstructured":"Epstein, I.R., Pojman, J.A.: An Introduction to Nonlinear Chemical Dynamics. Oxford University Press, London (1998)"},{"issue":"1","key":"16_CR8","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 three-dimensional continuous myocardium with fiber rotation: Filament instability and fibrillation. Chaos\u00a08(1), 20\u201347 (1998)","journal-title":"Chaos"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"1868","DOI":"10.4249\/scholarpedia.1868","volume":"3","author":"F.H. Fenton","year":"2008","unstructured":"Fenton, F.H., Cherry, E.M.: Models of cardiac cell. Scholarpedia\u00a03, 1868 (2008)","journal-title":"Scholarpedia"},{"issue":"1896","key":"16_CR10","doi-asserted-by":"publisher","first-page":"2161","DOI":"10.1098\/rsta.2008.0301","volume":"367","author":"M. Fink","year":"2009","unstructured":"Fink, M., Noble, D.: Markov models for ion channels: Versatility versus identifiability and speed. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences\u00a0367(1896), 2161\u20132179 (2009)","journal-title":"Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-21437-0_3","volume-title":"FM 2011: Formal Methods","author":"J. Fisher","year":"2011","unstructured":"Fisher, J., Piterman, N., Vardi, M.Y.: The Only Way Is Up. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol.\u00a06664, pp. 3\u201311. Springer, Heidelberg (2011)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1016\/j.automatica.2012.02.037","volume":"48","author":"A. Girard","year":"2012","unstructured":"Girard, A.: Controller synthesis for safety and reachability via approximate bisimulation. Automatica\u00a048, 947\u2013953 (2012)","journal-title":"Automatica"},{"key":"16_CR13","unstructured":"Girard, A., Pappas, G.J.: Approximate bisimulations for nonlinear dynamical systems. In: Proc. of CDC 2005, The 44th Int. Conf. on Decision and Control, Seville, Spain. IEEE (December 2005)"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"1307","DOI":"10.1016\/j.automatica.2007.01.019","volume":"43","author":"A. Girard","year":"2007","unstructured":"Girard, A., Pappas, G.J.: Approximate bisimulation relations for constrained linear systems. Automatica\u00a043, 1307\u20131317 (2007)","journal-title":"Automatica"},{"issue":"5","key":"16_CR15","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/TAC.2007.895849","volume":"52","author":"A. Girard","year":"2007","unstructured":"Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control\u00a052(5), 782\u2013798 (2007)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"4751","DOI":"10.1016\/j.ces.2002.12.001","volume":"58","author":"A.N. Gorban","year":"2003","unstructured":"Gorban, A.N., Karlin, I.V.: Method of invariant manifold for chemical kinetics. Chem. Eng. Sci.\u00a058, 4751\u20134768 (2003)","journal-title":"Chem. Eng. Sci."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Gorban, A.N., Kazantzis, N., Kevrekidis, I.G., Ottinger, H.C., Theodoropoulos, C.: Model reduction and coarse-graining approaches for multiscale phenomena. Springer (2006)","DOI":"10.1007\/3-540-35888-9"},{"key":"16_CR18","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.\u00a06806, pp. 396\u2013411. Springer, Heidelberg (2011)"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1113\/jphysiol.1952.sp004764","volume":"117","author":"A.L. Hodgkin","year":"1952","unstructured":"Hodgkin, A.L., Huxley, A.F.: A quantitative description of membrane current and its application to conduction and excitation in nerve. Journal of Physiology\u00a0117, 500\u2013544 (1952)","journal-title":"Journal of Physiology"},{"issue":"3","key":"16_CR20","doi-asserted-by":"publisher","first-page":"1507","DOI":"10.1529\/biophysj.104.043299","volume":"87","author":"V. Iyer","year":"2004","unstructured":"Iyer, V., Mazhari, R., Winslow, R.L.: A computational model of the human left-ventricular epicardial myocytes. Biophysical Journal\u00a087(3), 1507\u20131525 (2004)","journal-title":"Biophysical Journal"},{"key":"16_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00285-006-0034-x","volume":"54","author":"T. Jahnke","year":"2007","unstructured":"Jahnke, T., Huisinga, W.: Solving the chemical master equation for monomolecular reaction systems analytically. Journal of Mathematical Biology\u00a054, 1\u201326 (2007)","journal-title":"Journal of Mathematical Biology"},{"issue":"10","key":"16_CR22","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/2001269.2001289","volume":"54","author":"J. Fisher","year":"2011","unstructured":"Fisher, J., Harel, D., Henzinger, T.A.: Biology as reactivity. Communications of the ACM\u00a054(10), 72\u201382 (2011)","journal-title":"Communications of the ACM"},{"issue":"3","key":"16_CR23","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s00285-008-0199-6","volume":"58","author":"J. Keener","year":"2009","unstructured":"Keener, J.: Invariant manifold reductions for markovian ion channel dynamics. Journal of Mathematical Biology\u00a058(3), 447\u2013457 (2009)","journal-title":"Journal of Mathematical Biology"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Kevorkian, J., Cole, J.D.: Multiple Scale and Singular Perturbation Methods. Springer (1996)","DOI":"10.1007\/978-1-4612-3968-0"},{"issue":"1284","key":"16_CR25","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1098\/rspb.1989.0024","volume":"236","author":"P. Kienker","year":"1989","unstructured":"Kienker, P.: Equivalence of aggregated markov models of ion-channel gating. Proceedings of the Royal Society of London. B. Biological Sciences\u00a0236(1284), 269\u2013309 (1989)","journal-title":"Proceedings of the Royal Society of London. B. Biological Sciences"},{"key":"16_CR26","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1016\/0896-6273(94)90335-2","volume":"12","author":"C.-C. Kuo","year":"1994","unstructured":"Kuo, C.-C., Bean, B.P.: Na channels must deactivate to recover from inactivation. Neuron\u00a012, 819\u2013829 (1994)","journal-title":"Neuron"},{"key":"16_CR27","unstructured":"Lee, E., Varaiya, P.: Structure and Interpretation of Signals and Systems. Pearson Education (2003)"},{"key":"16_CR28","doi-asserted-by":"publisher","first-page":"1868","DOI":"10.1016\/S0006-3495(99)77346-7","volume":"76","author":"L.A. Irvine","year":"1999","unstructured":"Irvine, L.A., Saleet Jafri, M., Winslow, R.L.: Cardiac sodium channel markov model with tempretature dependence and recovery from inactivation. Biophysical Journal\u00a076, 1868\u20131885 (1999)","journal-title":"Biophysical Journal"},{"issue":"6","key":"16_CR29","doi-asserted-by":"publisher","first-page":"1071","DOI":"10.1161\/01.RES.74.6.1071","volume":"74","author":"C.H. Luo","year":"1994","unstructured":"Luo, C.H., Rudy, Y.: A dynamic model of the cardiac ventricular action potential. I. Simulations of ionic currents and concentration changes. Circulation Research\u00a074(6), 1071\u20131096 (1994)","journal-title":"Circulation Research"},{"key":"16_CR30","unstructured":"MATLAB. Choosing a solver, http:\/\/www.mathworks.com\/help\/toolbox\/optim"},{"key":"16_CR31","unstructured":"MATLAB. Curve fitting toolbox, http:\/\/www.mathworks.com\/products\/curvefitting"},{"key":"16_CR32","unstructured":"MATLAB. Nonlinear numerical methods, http:\/\/www.mathworks.com\/help\/techdoc\/ref\/f16-5872.html"},{"key":"16_CR33","unstructured":"MATLAB. Optimization toolbox, http:\/\/www.mathworks.com\/help\/toolbox\/optim"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"Murray, J.D.: Mathematical Biology. Springer (1990)","DOI":"10.1007\/978-3-662-08539-4"},{"key":"16_CR35","unstructured":"Myers, C.J.: Engineering Genetic Circuits. CRC Press (2010)"},{"key":"16_CR36","unstructured":"National Science Foundation (NSF). Computational Modeling and Analysis of Complex Systems (CMACS), http:\/\/cmacs.cmu.edu"},{"key":"16_CR37","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1113\/jphysiol.1962.sp006849","volume":"160","author":"D. Noble","year":"1962","unstructured":"Noble, D.: A modification of the Hodgkin-Huxley equations applicable to purkinje fibre action and pace-maker potentials. J. Physiol.\u00a0160, 317\u2013352 (1962)","journal-title":"J. Physiol."},{"issue":"1","key":"16_CR38","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1186\/1752-0509-2-86","volume":"2","author":"O. Radulescu","year":"2008","unstructured":"Radulescu, O., Gorban, A.N., Zinovyev, A., Lilienbaum, A.: Robust simplifications of multiscale biochemical networks. BMC Systems Biology\u00a02(1), 86 (2008)","journal-title":"BMC Systems Biology"},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"Smith, N., Crampin, E.: Development of models of active ion transport for whole-cell modelling: Cardiac sodium\u2013potassium pump as a case study. Progress in Biophysics and Molecular Biology\u00a085(2-3), 387\u2013405 (2004), Modelling Cellular and Tissue Function","DOI":"10.1016\/j.pbiomolbio.2004.01.010"},{"key":"16_CR40","first-page":"H1573","volume":"286","author":"K.H. Tusscher","year":"2004","unstructured":"ten Tusscher, K.H., Noble, D., Noble, P.J., Panfilov, A.V.: A model for human ventricular tissue. American Journal of Physiology\u00a0286, H1573\u2013H1589 (2004)","journal-title":"American Journal of Physiology"},{"issue":"1","key":"16_CR41","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/TCBB.2011.84","volume":"9","author":"C. Wang","year":"2012","unstructured":"Wang, C., Beyerlein, P., Pospisil, H., Krause, A., Nugent, C., Dubitzk, W.: An efficient method for modeling kinetic behavior of channel proteins in cardiomyocytes. IEEE\/ACM Trans. on Computational Biology and Bioinformatics\u00a09(1), 40\u201351 (2012)","journal-title":"IEEE\/ACM Trans. on Computational Biology and Bioinformatics"},{"issue":"1","key":"16_CR42","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/j.mbs.2010.01.008","volume":"225","author":"J.P. Whiteley","year":"2010","unstructured":"Whiteley, J.P.: Model reduction using a posteriori analysis. Mathematical Biosciences\u00a0225(1), 44\u201352 (2010)","journal-title":"Mathematical Biosciences"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33636-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,29]],"date-time":"2022-01-29T13:04:24Z","timestamp":1643461464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33636-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336355","9783642336362"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33636-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}