{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,21]],"date-time":"2025-04-21T06:40:01Z","timestamp":1745217601765,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642355233"},{"type":"electronic","value":"9783642355240"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35524-0_4","type":"book-chapter","created":{"date-parts":[[2012,11,20]],"date-time":"2012-11-20T01:03:10Z","timestamp":1353373390000},"page":"77-101","source":"Crossref","is-referenced-by-count":0,"title":["On Approximative Reachability Analysis of Biochemical Dynamical Systems"],"prefix":"10.1007","author":[{"given":"L.","family":"Brim","sequence":"first","affiliation":[]},{"given":"J.","family":"Fabrikov\u00e1","sequence":"additional","affiliation":[]},{"given":"S.","family":"Dra\u017ean","sequence":"additional","affiliation":[]},{"given":"D.","family":"\u0160afr\u00e1nek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Brim, L., Fabrikov\u00e1, J., Drazan, S., Safr\u00e1nek, D.: Reachability in biochemical dynamical systems by quantitative discrete approximation (extended abstract). In: Comp. Mod., pp. 97\u2013112 (2011)","DOI":"10.4204\/EPTCS.67.9"},{"issue":"11","key":"4_CR2","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nature Biotechnology\u00a025(11), 1239\u20131249 (2007)","journal-title":"Nature Biotechnology"},{"issue":"5","key":"4_CR3","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/1506409.1506427","volume":"52","author":"C. Priami","year":"2009","unstructured":"Priami, C.: Algorithmic systems biology. Commun. ACM\u00a052(5), 80\u201388 (2009)","journal-title":"Commun. ACM"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"2229","DOI":"10.1016\/0009-2509(87)80099-4","volume":"42","author":"M. Feinberg","year":"1987","unstructured":"Feinberg, M.: Chemical reaction network structure and the stability of complex isothermal reactors i. the deficiency zero and the deficiency one theorems. Chemical Engineering Science\u00a042, 2229\u20132268 (1987)","journal-title":"Chemical Engineering Science"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/BF00281751","volume":"55","author":"G.F. Oster","year":"1974","unstructured":"Oster, G.F., Perelson, A.S.: Chemical reaction dynamics. Archive for Rational Mechanics and Analysis\u00a055, 230\u2013274 (1974), doi:10.1007\/BF00281751","journal-title":"Archive for Rational Mechanics and Analysis"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/BF00251527","volume":"38","author":"F.J. Krambeck","year":"1970","unstructured":"Krambeck, F.J.: The mathematical structure of chemical kinetics in homogeneous single-phase systems. Archive for Rational Mechanics and Analysis\u00a038, 317\u2013347 (1970), doi:10.1007\/BF00251527","journal-title":"Archive for Rational Mechanics and Analysis"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/S0968-0004(96)10011-6","volume":"21","author":"J. Tyson","year":"1996","unstructured":"Tyson, J., et al.: Chemical kinetic theory: understanding cell-cycle regulation. Trends in Biochemical Sciences\u00a021, 89\u201396 (1996)","journal-title":"Trends in Biochemical Sciences"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TAC.2007.911330","volume":"53","author":"G. Batt","year":"2008","unstructured":"Batt, G., et al.: Temporal logic analysis of gene networks under parameter uncertainty. IEEE Transactions of Automatic Control\u00a053, 215\u2013229 (2008)","journal-title":"IEEE Transactions of Automatic Control"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1177\/0142331208097838","volume":"32","author":"M. Kloetzer","year":"2010","unstructured":"Kloetzer, M., Belta, C.: Reachability analysis of multi-affine systems. Transactions of the Institute of Measurement and Control\u00a032, 445\u2013467 (2010)","journal-title":"Transactions of the Institute of Measurement and Control"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst.\u00a08, 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Monteiro, P.T., et al.: Temporal logic patterns for querying qualitative models of genetic regulatory networks. In: ECAI. Frontiers in Artificial Intelligence and Applications, vol.\u00a0178, pp. 229\u2013233. IOS Press (2008)","DOI":"10.1093\/bioinformatics\/btn275"},{"issue":"11","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1749","DOI":"10.1109\/TAC.2006.884957","volume":"51","author":"C. Belta","year":"2006","unstructured":"Belta, C., Habets, L.: Controlling a class of nonlinear systems on rectangles. IEEE Transactions on Automatic Control\u00a051(11), 1749\u20131759 (2006)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Barnat, J., et al.: Computational Analysis of Large-Scale Multi-Affine ODE Models. In: 2009 International Workshop on High Performance Computational Systems Biology (HiBi 2009), pp. 81\u201390. IEEE Computer Society Press (2009)","DOI":"10.1109\/HiBi.2009.14"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Asarin, E., et al.: Recent progress in continuous and hybrid reachability analysis. In: IEEE International Conference on Control Applications, Computer Aided Control System Design, pp. 1582\u20131587 (2006)","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776877"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1049\/iet-syb:20060035","volume":"1","author":"A. Hal\u00e1szm","year":"2007","unstructured":"Hal\u00e1szm, A., et al.: Analysis of lactose metabolism in e.coli using reachability analysis of hybrid systems. IET Systems Biology\u00a01(2), 130\u2013148 (2007)","journal-title":"IET Systems Biology"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"982","DOI":"10.1016\/j.automatica.2007.08.004","volume":"44","author":"G. Batt","year":"2008","unstructured":"Batt, G., et al.: Symbolic reachability analysis of genetic regulatory networks using discrete abstractions. Automatica\u00a044, 982\u2013989 (2008)","journal-title":"Automatica"},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.automatica.2003.08.001","volume":"40","author":"L. Habets","year":"2004","unstructured":"Habets, L., van Schuppen, J.H.: A control problem for affine dynamical systems on a full-dimensional polytope. Automatica\u00a040(1), 21\u201335 (2004)","journal-title":"Automatica"},{"key":"4_CR18","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-68413-8_6","volume-title":"Formal Methods in Systems Biology","author":"O. Maler","year":"2008","unstructured":"Maler, O., Batt, G.: Approximating Continuous Systems by Timed Automata. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol.\u00a05054, pp. 77\u201389. Springer, Heidelberg (2008)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-71493-4_9","volume-title":"Hybrid Systems: Computation and Control","author":"S. Berman","year":"2007","unstructured":"Berman, S., Hal\u00e1sz, \u00c1.M., Kumar, V.: MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 76\u201389. Springer, Heidelberg (2007)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/11603009_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"L. Doyen","year":"2005","unstructured":"Doyen, L., Henzinger, T.A., Raskin, J.-F.: Automatic Rectangular Refinement of Affine Hybrid Systems. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol.\u00a03829, pp. 144\u2013161. Springer, Heidelberg (2005)"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s00236-006-0035-7","volume":"43","author":"E. Asarin","year":"2007","unstructured":"Asarin, E., Dang, T., Girard, A.: Hybridization methods for the analysis of nonlinear systems. Acta Inf.\u00a043, 451\u2013476 (2007)","journal-title":"Acta Inf."},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-03845-7_9","volume-title":"Computational Methods in Systems Biology","author":"T. Dang","year":"2009","unstructured":"Dang, T., Le Guernic, C., Maler, O.: Computing Reachable States for Nonlinear Biological Models. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol.\u00a05688, pp. 126\u2013141. Springer, Heidelberg (2009)"},{"key":"4_CR23","volume-title":"Real and complex analysis","author":"W. Rudin","year":"1974","unstructured":"Rudin, W.: Real and complex analysis, 2nd edn. McGraw-Hill, New York (1974)","edition":"2"},{"key":"4_CR24","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719222","volume-title":"Ordinary Differential Equations","author":"P. Hartman","year":"2002","unstructured":"Hartman, P.: Ordinary Differential Equations, 2nd edn. Society for Industrial and Applied Mathematics, Philadelphia (2002)","edition":"2"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF00251225","volume":"47","author":"F. Horn","year":"1972","unstructured":"Horn, F., Jackson, R.: General mass action kinetics. Archive for Rational Mechanics and Analysis\u00a047, 81\u2013116 (1972), doi:10.1007\/BF00251225","journal-title":"Archive for Rational Mechanics and Analysis"},{"key":"4_CR26","unstructured":"Brim, L., Fabrikova, J., Drazan, S., Safranek, D.: Reachability in biochemical dynamical systems by quantitative discrete approximation. Technical report (2011), arXiv:1107.5924v1, CoRR.csSY"},{"issue":"1","key":"4_CR27","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s11538-010-9519-2","volume":"73","author":"H.K. Alexander","year":"2011","unstructured":"Alexander, H.K., Wahl, L.M.: Self-tolerance and autoimmunity in a regulatory t cell model. Bulletin of Mathematical Biology\u00a073(1), 33\u201371 (2011)","journal-title":"Bulletin of Mathematical Biology"},{"key":"4_CR28","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/j.jbiotec.2009.09.003","volume":"144","author":"H. Ma","year":"2009","unstructured":"Ma, H., Boogerd, F., Goryanin, I.: Modelling nitrogen assimilation of escherichia coli at low ammonium concentration. Journal of Biotechnology\u00a0144, 175\u2013183 (2009)","journal-title":"Journal of Biotechnology"},{"issue":"13","key":"4_CR29","doi-asserted-by":"publisher","first-page":"2796","DOI":"10.1046\/j.1432-1033.2003.03655.x","volume":"270","author":"L.F. Olsen","year":"2003","unstructured":"Olsen, L.F., Hauser, M.J.B., Kummer, U.: Mechanism of protection of peroxidase activity by oscillatory dynamics. European Journal of Biochemistry\u00a0270(13), 2796\u20132804 (2003)","journal-title":"European Journal of Biochemistry"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology XIV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35524-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,21]],"date-time":"2025-04-21T06:09:57Z","timestamp":1745215797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35524-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642355233","9783642355240"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35524-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}