{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:49:47Z","timestamp":1725515387012},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789284"},{"type":"electronic","value":"9783540789291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78929-1_31","type":"book-chapter","created":{"date-parts":[[2008,7,17]],"date-time":"2008-07-17T09:01:58Z","timestamp":1216285318000},"page":"429-442","source":"Crossref","is-referenced-by-count":4,"title":["Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process"],"prefix":"10.1007","author":[{"given":"Derek","family":"Riley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xenofon","family":"Koutsoukos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kasandra","family":"Riley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1049\/sb:20045019","volume":"1","author":"R. Ghosh","year":"2004","unstructured":"Ghosh, R., Tomlin, C.: Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modeling: Delta-notch protein signalling. Sys. Bio.\u00a01, 170\u2013183 (2004)","journal-title":"Sys. Bio."},{"key":"31_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45351-2_6","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., Belta, C., Ivanicic, F., Kumar, V., Mintz, M., Pappas, G., Rubin, H., Schug, J.: Hybrid modeling and simulation of biomolecular networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 19\u201333. Springer, Heidelberg (2001)"},{"key":"31_CR3","first-page":"669","volume":"15","author":"J. Hespanha","year":"2005","unstructured":"Hespanha, J., Singh, A.: Stochastic models for chemically reacting systems using polynomial stochastic hybrid systems. Int. J. on Robust Cont., Special Issue on Control at Small Scales\u00a015, 669\u2013689 (2005)","journal-title":"Int. J. on Robust Cont., Special Issue on Control at Small Scales"},{"key":"31_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/978-3-540-24743-2_28","volume-title":"Hybrid Systems: Computation and Control","author":"J. Hu","year":"2004","unstructured":"Hu, J., Wu, W., Sastry, S.: Modeling subtilin production in bacillus subtilis using stochastic hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 417\u2013431. Springer, Heidelberg (2004)"},{"key":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/11730637_16","volume-title":"Hybrid Systems: Computation and Control","author":"S. Drulhe","year":"2006","unstructured":"Drulhe, S., Ferrari-Trecate, G., de Jong, H., Viari, A.: Reconstruction of switching thresholds in piecewise-affine models of genetic regulatory networks. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 184\u2013199. Springer, Heidelberg (2006)"},{"key":"31_CR6","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1063\/1.1835951","volume":"122","author":"H. Salis","year":"2005","unstructured":"Salis, H., Kaznessis, Y.: Accurate hybrid stochastic simulation of a system of coupled chemical or biochemical reactions. J. Chem. Phys.\u00a0122, 54\u2013103 (2005)","journal-title":"J. Chem. Phys."},{"issue":"3","key":"31_CR7","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1002\/(SICI)1097-461X(1999)74:3<299::AID-QUA3>3.0.CO;2-K","volume":"74","author":"M. Ramos","year":"1999","unstructured":"Ramos, M., Melo, A., Henriques, E., Gomes, J., Reuter, N., Maigret, B., Floriano, W., Nascimento, M.: Modeling enzyme-inhibitor interactions in serine proteases. Int. J. Quant. Chem.\u00a074(3), 299\u2013314 (1999)","journal-title":"Int. J. Quant. Chem."},{"key":"31_CR8","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1006\/abbi.1997.9882","volume":"340","author":"I. Marini","year":"1997","unstructured":"Marini, I., Bucchioni, L., Borella, P., Corso, A.D., Mura, U.: Sorbitol dehydrogenase from bovine lens: Purification and properties. Arch. Biochem. and Biophy.\u00a0340, 383\u2013391 (1997)","journal-title":"Arch. Biochem. and Biophy."},{"key":"31_CR9","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/S0375-9601(99)00117-6","volume":"254","author":"R. Mannella","year":"1999","unstructured":"Mannella, R.: Absorbing boundaries and optimal stopping in a stochastic differential equation. Phys. Lett. A\u00a0254, 257\u2013262 (1999)","journal-title":"Phys. Lett. A"},{"issue":"6","key":"31_CR10","doi-asserted-by":"publisher","first-page":"2845","DOI":"10.1063\/1.447033","volume":"80","author":"G. Lamm","year":"1983","unstructured":"Lamm, G.: Extended brownian dynamics. iii. three dimensional diffusion. J. Chem. Phys.\u00a080(6), 2845\u20132855 (1983)","journal-title":"J. Chem. Phys."},{"key":"31_CR11","first-page":"1","volume":"66","author":"E. Peters","year":"2002","unstructured":"Peters, E., Barenbrug, T.: Efficient brownian dynamics simulation of particles near walls. i. reflecting and absorbing walls. Physical Review\u00a066, 1\u20137 (2002)","journal-title":"Physical Review"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Elowitz, M., Levine, A., Siggia, E., Swain, P.: Stochastic gene expression in a single cell. Science\u00a01183(297) (2002)","DOI":"10.1126\/science.1070919"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Bujorianu, M., Lygeros, J.: Theoretical foundations of general stochastic hybrid systems: Modeling and optimal control. In: IEEE Conf. on Dec. and Cont. (2004)","DOI":"10.1109\/CDC.2004.1430320"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/11730637_29","volume-title":"Hybrid Systems: Computation and Control","author":"X. Koutsoukos","year":"2006","unstructured":"Koutsoukos, X., Riley, D.: Computational methods for reachability analysis of stochastic hybrid systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 377\u2013391. Springer, Heidelberg (2006)"},{"key":"31_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-540-30206-3_22","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"M. Bernadskiy","year":"2004","unstructured":"Bernadskiy, M., Sharykin, R., Alur, R.: Structured modeling of concurrent stochastic hybrid systems. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol.\u00a03253, pp. 309\u2013324. Springer, Heidelberg (2004)"},{"key":"31_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"758","DOI":"10.1007\/978-3-540-71493-4_78","volume-title":"Hybrid Systems: Computation and Control","author":"D. Riley","year":"2007","unstructured":"Riley, D., Koutsoukos, X., Riley, K.: Safety analysis of sugar cataract development using stochastic hybrid systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 758\u2013761. Springer, Heidelberg (2007)"},{"key":"31_CR17","volume-title":"Numerical Solution of Stochastic Differential Equations","author":"P. Kloeden","year":"1999","unstructured":"Kloeden, P., Platen, E.: Numerical Solution of Stochastic Differential Equations. Springer, Heidelberg (1999)"},{"key":"31_CR18","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1051\/ps:2001112","volume":"5","author":"E. Gobet","year":"2001","unstructured":"Gobet, E.: Euler schemes and half-space approximation for the simulation of diffusion in a domain. ESAIM: Probability and Statistics\u00a05, 261\u2013297 (2001)","journal-title":"ESAIM: Probability and Statistics"},{"key":"31_CR19","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D. Gillespie","year":"1976","unstructured":"Gillespie, D.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comp. Phys.\u00a022, 403\u2013434 (1976)","journal-title":"J. Comp. Phys."},{"key":"31_CR20","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1063\/1.2218339","volume":"125","author":"A. Auger","year":"2006","unstructured":"Auger, A., Chatelain, P., Koumoutsakos, P.: R-leaping: Accelerating the stochastic simulation algorithm by reaction leaps. J. Chem. Phys.\u00a0125, 84\u2013103 (2006)","journal-title":"J. Chem. Phys."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78929-1_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:04:20Z","timestamp":1619521460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78929-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789284","9783540789291"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78929-1_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}