{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T10:40:37Z","timestamp":1784544037570,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540688921","type":"print"},{"value":"9783540688945","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68894-5_12","type":"book-chapter","created":{"date-parts":[[2008,5,30]],"date-time":"2008-05-30T12:39:25Z","timestamp":1212151165000},"page":"424-448","source":"Crossref","is-referenced-by-count":25,"title":["Hybrid Systems and Biology"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alberto","family":"Policriti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","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., Ivan\u010di\u0107, F.: Hybrid modeling and simulation of biomolecular networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 19\u201332. Springer, Heidelberg (2001)"},{"issue":"2","key":"12_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"12_CR3","unstructured":"Batt, G., Belta, C.: Model checking genetic regulatory networks with applications to synthetic biology. Technical Report 2006-IR-0030, CISE Tech. Rep., Boston University (2006)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Batt, G., Belta, C., Weiss, R.: Model checking liveness properties of genetic regulatory networks. In: Proceedings of TACAS, pp. 323\u2013338 (2007)","DOI":"10.1007\/978-3-540-71209-1_25"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Blossey, R., Cardelli, L., Phillips, A.: A compositional approach to the stochastic dynamics of gene networks. T. Comp. Sys. Biology, pp. 99\u2013122 (2006)","DOI":"10.1007\/11732488_10"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Bujorianu, M.L., Lygeros, J.: General stochastic hybrid systems: Modeling and optimal control. In: Proceedings of 43rd IEEE Conference on Decision and Control (CDC 2004), pp. 182\u2013187 (2004)","DOI":"10.1109\/CDC.2004.1430320"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-540-24743-2_15","volume-title":"Hybrid Systems: Computation and Control","author":"T. Brihaye","year":"2004","unstructured":"Brihaye, T., Michaux, C., Rivi\u00e8re, C., Troestler, C.: On O-Minimal Hybrid Systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 219\u2013233. Springer, Heidelberg (2004)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Bortolussi, L.: Stochastic concurrent constraint programming. In: Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006. ENTCS, vol.\u00a0164, pp. 65\u201380 (2006)","DOI":"10.1016\/j.entcs.2006.07.012"},{"key":"12_CR9","unstructured":"Bortolussi, L.: Constraint-based approaches to stochastic dynamics of biological systems. PhD thesis, PhD in Computer Science, University of Udine (preparation 2007)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Policriti, A.: Stochastic concurrent constraint programming and differential equations. In: Proceedings of QAPL 2007 (2007)","DOI":"10.1016\/j.entcs.2007.07.003"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Policriti, A.: Hybrid approximation of stochastic concurrent constraint programming. In: IFAC 2008 (2008)","DOI":"10.1016\/j.entcs.2008.11.025"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Policriti, A.: Modeling biological systems in stochastic concurrent constraint programming. Constraints\u00a013(1) (2008)","DOI":"10.1007\/s10601-007-9034-8"},{"key":"12_CR13","first-page":"61","volume-title":"Proceedings of the First International Conference on Algebraic Biology (AB 2005)","author":"A. Casagrande","year":"2005","unstructured":"Casagrande, A., Mysore, V., Piazza, C., Mishra, B.: Independent dynamics hybrid automata in systems biology. In: Proceedings of the First International Conference on Algebraic Biology (AB 2005), November 2005, pp. 61\u201373. Universal Academy Press, Inc, Tokyo, Japan (2005)"},{"key":"12_CR14","first-page":"678","volume-title":"Proceedings of the 44rd Conference on Decision and Control and European Control Conference (CDC-ECC 2005)","author":"A. Casagrande","year":"2005","unstructured":"Casagrande, A., Piazza, C., Mishra, B.: Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. In: Proceedings of the 44rd Conference on Decision and Control and European Control Conference (CDC-ECC 2005), Seville, Spain, December 2005, pp. 678\u2013683. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H. Jong de","year":"2002","unstructured":"de Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol.\u00a09(1), 67\u2013103 (2002)","journal-title":"J. Comput. Biol."},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"M.B. Elowitz","year":"2000","unstructured":"Elowitz, M.B., Leibler, S.: A syntetic oscillatory network of transcriptional regulators. Nature\u00a0403, 335\u2013338 (2000)","journal-title":"Nature"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 995\u20131072 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. of Computational Physics\u00a022 (1976)","DOI":"10.1016\/0021-9991(76)90041-3"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry\u00a081(25) (1977)","DOI":"10.1021\/j100540a008"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: LICS 1996: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: Proceedings of the Thirty-Sixth Annual Symposium on Foundations of Computer Science (FOCS 1995), Washington, DC, USA, p. 453 (1995)","DOI":"10.1109\/SFCS.1995.492576"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of pepa models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems (QEST 2005) (2005)","DOI":"10.1109\/QEST.2005.12"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Kopke, P.W.: State Equivalences for Rectangular Hybrid Automata. In: Montanari, U., Sassone, V. (eds.) Proc. of Int. Conference on Concurrency Theory (Concur 1996), vol.\u00a01119, pp. 530\u2013545 (1996)","DOI":"10.1007\/3-540-61604-7_74"},{"issue":"4","key":"12_CR24","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1142\/S0219720004000764","volume":"2","author":"S. Hardy","year":"2004","unstructured":"Hardy, S., Robillard, P.N.: Modeling and simulation of molecular biology systems using petri nets: Modeling goals of various approaches. Journal of Bioinformatics and Computational Biology\u00a02(4), 619\u2013637 (2004)","journal-title":"Journal of Bioinformatics and Computational Biology"},{"key":"12_CR25","unstructured":"Kopke, P.W.: The Theory of Rectangular Hybrid Automata. PhD thesis, Faculty of the Graduate School, Cornell University, Advisor - T. A.\u00a0Henzinger (1996)"},{"key":"12_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/PL00009858","volume":"13","author":"G. Lafferriere","year":"2000","unstructured":"Lafferriere, G., Pappas, G.J., Sastry, S.: O-Minimal Hybrid Systems. Mathematics of Control, Signals, and Systems\u00a013, 1\u201321 (2000)","journal-title":"Mathematics of Control, Signals, and Systems"},{"key":"12_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/978-3-540-24743-2_31","volume-title":"Hybrid Systems: Computation and Control","author":"N.A. Neogi","year":"2004","unstructured":"Neogi, N.A.: Dynamic partitioning of large discrete event biological systems for hybrid simulation and analysis. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 463\u2013476. Springer, Heidelberg (2004)"},{"key":"12_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/11513988_3","volume-title":"Computer Aided Verification","author":"C. Piazza","year":"2005","unstructured":"Piazza, C., Antoniotti, M., Mysore, V., Policriti, A., Winkler, F., Mishra, B.: Algorithmic algebraic model checking i: Challenges from systems biology. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 5\u201319. Springer, Heidelberg (2005)"},{"key":"12_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/3-540-58179-0_46","volume-title":"Computer Aided Verification","author":"A. Puri","year":"1994","unstructured":"Puri, A., Varaiya, P.: Decidability of hybrid systems with rectangular differential inclusions. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 95\u2013104. Springer, Heidelberg (1994)"},{"key":"12_CR30","volume-title":"Stochastic Processes","author":"S.M. Ross","year":"1996","unstructured":"Ross, S.M.: Stochastic Processes. Wiley, New York (1996)"},{"key":"12_CR31","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)"},{"key":"12_CR32","doi-asserted-by":"crossref","DOI":"10.1201\/9781420010664","volume-title":"Stochastic Modelling for Systems Biology","author":"D.J. Wilkinson","year":"2006","unstructured":"Wilkinson, D.J.: Stochastic Modelling for Systems Biology. Chapman and Hall, Boca Raton (2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Computational Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68894-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,18]],"date-time":"2023-05-18T16:01:42Z","timestamp":1684425702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68894-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540688921","9783540688945"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68894-5_12","relation":{},"subject":[]}}