{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T12:39:50Z","timestamp":1718195990423},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,9,10]],"date-time":"2009-09-10T00:00:00Z","timestamp":1252540800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s10626-009-0082-7","type":"journal-article","created":{"date-parts":[[2009,9,9]],"date-time":"2009-09-09T02:52:24Z","timestamp":1252464744000},"page":"471-493","source":"Crossref","is-referenced-by-count":10,"title":["Discrete Semantics for Hybrid Automata"],"prefix":"10.1007","volume":"19","author":[{"given":"Alberto","family":"Casagrande","sequence":"first","affiliation":[]},{"given":"Carla","family":"Piazza","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Policriti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,9,10]]},"reference":[{"key":"82_CR1","series-title":"Proceedings. ser. Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/11730637_4","volume-title":"Hybrid systems: computation and control, 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, 29\u201331 March 2006","author":"M Agrawal","year":"2006","unstructured":"Agrawal M, Stephan F, Thiagarajan PS, Yang S (2006) Behavioural approximations for restricted linear differential hybrid automata. In: Hybrid systems: computation and control, 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, 29\u201331 March 2006, Proceedings. ser. Lecture notes in computer science, vol 3927. Springer, New York, pp 4\u201318"},{"issue":"1","key":"82_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho P-H, Nicollin X, Olivero A, Sifakis J, Yovine S (1995) The algorithmic analysis of hybrid systems. Theor Comp Sci 138(1):3\u201334","journal-title":"Theor Comp Sci"},{"key":"82_CR3","series-title":"ser. LNCS","first-page":"209","volume-title":"Hybrid systems","author":"R Alur","year":"1992","unstructured":"Alur R, Courcoubetis C, Henzinger TA, Ho PH (1992) Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman RL, Nerode A, Ravn AP, Richel H (eds) Hybrid systems. ser. LNCS. Springer, New York, pp 209\u2013229"},{"issue":"2","key":"82_CR4","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comp Sci 126(2)183\u2013235","journal-title":"Theor Comp Sci"},{"key":"82_CR5","unstructured":"Asarin E, Dang T, Maler O (2002) The d\/dt tool for verification of hybrid systems. In: Brinksma E, Larsen KG (eds) Proc. of 14th international conference on computer aided verification (CAV\u201902). ser. LNCS, vol 2404, pp 365\u2013370"},{"key":"82_CR6","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/SFCS.1997.646093","volume-title":"Proceedings of the thirty-eighth annual symposium on foundations of computer science (FOCS \u201997)","author":"S Basu","year":"1997","unstructured":"Basu S (1997) An improved algorithm for quantifier elimination over real closed fields. In: Proceedings of the thirty-eighth annual symposium on foundations of computer science (FOCS \u201997). IEEE Computer Society Press, Silver Spring, pp 56\u201365"},{"issue":"6","key":"82_CR7","doi-asserted-by":"crossref","first-page":"1002","DOI":"10.1145\/235809.235813","volume":"43","author":"S Basu","year":"1996","unstructured":"Basu S, Pollack R, Roy M-F (1996) On the combinatorial and algebraic complexity of quantifier elimination. J Assoc Comput Mach 43(6):1002\u20131045","journal-title":"J Assoc Comput Mach"},{"key":"82_CR8","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1007\/978-3-540-68894-5_12","volume-title":"Formal methods for computational system biology","author":"L Bortolussi","year":"2008","unstructured":"Bortolussi L, Policriti A (2008) Hybrid systems and biology. continuous and discrete modeling for systems biology. In: Bernardo M, Degano P, Zavattaro G (eds) Formal methods for computational system biology, vol 5016. Springer, New York, pp 424\u2013448. (ISBN\/ISSN: 978-3-540-68892-1)"},{"key":"82_CR9","series-title":"ser. LNCS","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-48983-5_8","volume-title":"Proc. of hybrid systems: computation and control (HSCC\u201999). ser. LNCS","author":"O Bournez","year":"1999","unstructured":"Bournez O, Maler O, Pnueli A (1999) Orthogonal polyhedra: representation and computation. In: Vaandrager FW, van Schuppen JH (eds) Proc. of hybrid systems: computation and control (HSCC\u201999). ser. LNCS, vol 1569. Springer, Berlin, pp 46\u201360"},{"key":"82_CR10","doi-asserted-by":"crossref","first-page":"678","DOI":"10.1109\/CDC.2005.1582234","volume-title":"Proc. of the 44rd conference on decision and control (CDC\u201905)","author":"A Casagrande","year":"2005","unstructured":"Casagrande A, Piazza C, Mishra B (2005) Semi-algebraic constant reset hybrid automata - SACoRe. In: Proc. of the 44rd conference on decision and control (CDC\u201905). IEEE Computer Society Press, Silver Spring, pp 678\u2013683"},{"key":"82_CR11","doi-asserted-by":"crossref","unstructured":"Casagrande A, Piazza C, Policriti A (2008) Discreteness, hybrid automata, and biology. In: Proceedings of the 9th international workshop on discrete event systems (WODES 2008). G\u00f6teburg, Sweden, pp 281\u2013286 (invited paper)","DOI":"10.1109\/WODES.2008.4605960"},{"issue":"4","key":"82_CR12","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya C (2007) Petri net modelling of biological networks. Brief Bioinform 8(4):210\u20139","journal-title":"Brief Bioinform"},{"issue":"2","key":"82_CR13","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/j.jda.2007.06.003","volume":"6","author":"C Chaouiya","year":"2008","unstructured":"Chaouiya C, Remy E, Thieffry D (2008) Petri net modelling of biological regulatory networks. J Discret Algorithms 6(2):165\u2013177","journal-title":"J Discret Algorithms"},{"key":"82_CR14","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1006\/jtbi.1996.0233","volume":"183","author":"JR Collier","year":"1996","unstructured":"Collier JR, Monk NAM, Maini PK, Lewis JH (1996) Pattern formation by lateral inhibition with feedback: a mathematical model of delta\u2013notch intercellular signalling. J Theor Biol 183:429\u2013446","journal-title":"J Theor Biol"},{"key":"82_CR15","series-title":"ser. LNCS","first-page":"134","volume-title":"Proceedings of the second GI conference on automata theory and formal languages","author":"GE Collins","year":"1975","unstructured":"Collins GE (1975) Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. In: Proceedings of the second GI conference on automata theory and formal languages. ser. LNCS, vol 33. Springer, Berlin, pp 134\u2013183"},{"key":"82_CR16","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0167-6911(99)00059-6","volume":"38","author":"M Egerstedt","year":"1999","unstructured":"Egerstedt M, Johansson KH, Sastry S, Lygeros J (1999) On the regularization of Zeno hybrid automata. Syst Control Lett 38:141\u2013150","journal-title":"Syst Control Lett"},{"key":"82_CR17","doi-asserted-by":"crossref","unstructured":"Enderton HB (2001) A mathematical introduction to logic, ii ed. Harcourt\/Academic Press","DOI":"10.1016\/B978-0-08-049646-7.50005-9"},{"key":"82_CR18","doi-asserted-by":"crossref","unstructured":"Fisher J, Henzinger TA (2006) Executable biology. In: WSC \u201906: proceedings of the 38th conference on winter simulation. Winter simulation conference, pp 1675\u20131682","DOI":"10.1109\/WSC.2006.322942"},{"key":"82_CR19","doi-asserted-by":"crossref","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J Fisher","year":"2007","unstructured":"Fisher J, Henzinger TA (2007) Executable cell biology. Nat Biotechnol 25:1239\u20131249","journal-title":"Nat Biotechnol"},{"key":"82_CR20","series-title":"ser. LNCS","first-page":"126","volume-title":"Proc of 13th international workshop on computer, science, and logic (CSL 99)","author":"M Fr\u00e4nzle","year":"1999","unstructured":"Fr\u00e4nzle M (1999) Analysis of hybrid systems: an ounce of realism can save an infinity of states. In: Flum J, Rodr\u00edguez-Artalejo M (eds) Proc of 13th international workshop on computer, science, and logic (CSL 99). ser. LNCS, vol 1683. Springer, New York, pp 126\u2013140"},{"key":"82_CR21","series-title":"ser. LNCS","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-36580-X_19","volume-title":"Proc. of hybrid systems: computation and control (HSCC\u201903)","author":"R Ghosh","year":"2003","unstructured":"Ghosh R, Tiwari A, Tomlin C (2003) Automated symbolic reachability analysis; with application to delta-notch signaling automata. In: Maler O, Pnueli A (eds) Proc. of hybrid systems: computation and control (HSCC\u201903). ser. LNCS, vol 2623. Springer, New York, pp 233\u2013248"},{"key":"82_CR22","series-title":"ser. LNCS","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-45351-2_21","volume-title":"Proc. of hybrid systems: computation and control (HSCC\u201901)","author":"R Ghosh","year":"2001","unstructured":"Ghosh R, Tomlin C (2001) Lateral inhibition through delta-notch signaling: a piecewise affine hybrid model. In: Benedetto MDD, Sangiovanni-Vincentelli A (eds) Proc. of hybrid systems: computation and control (HSCC\u201901). ser. LNCS, vol 2034. Springer, New York, pp 232\u2013246"},{"issue":"25","key":"82_CR23","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81(25):2340\u20132361","journal-title":"J Phys Chem"},{"issue":"2","key":"82_CR24","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s10626-007-0029-9","volume":"18","author":"A Girard","year":"2008","unstructured":"Girard A, Julius AA, Pappas GJ (2008) Approximate simulation relations for hybrid systems. Discret Event Dyn Syst 18(2):163\u2013179","journal-title":"Discret Event Dyn Syst"},{"issue":"8","key":"82_CR25","doi-asserted-by":"crossref","first-page":"1307","DOI":"10.1016\/j.automatica.2007.01.019","volume":"43","author":"A Girard","year":"2007","unstructured":"Girard A, Pappas GJ (2007) Approximate bisimulation relations for constrained linear systems. Automatica 43(8):1307\u20131317","journal-title":"Automatica"},{"issue":"2","key":"82_CR26","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1016\/j.automatica.2008.09.016","volume":"45","author":"A Girard","year":"2009","unstructured":"Girard A, Pappas GJ (2009) Hierarchical control system design using approximate simulation. Automatica 45(2):566\u2013571","journal-title":"Automatica"},{"issue":"22","key":"82_CR27","doi-asserted-by":"crossref","first-page":"2782","DOI":"10.1093\/bioinformatics\/btl465","volume":"22","author":"M Griffith","year":"2006","unstructured":"Griffith M, Courtney T, Peccoud J, Sanders WH (2006) Dynamic partitioning for hybrid simulation of the bistable hiv-1 transactivation network. Bioinformatics 22(22):2782\u20132789","journal-title":"Bioinformatics"},{"issue":"1\u20132","key":"82_CR28","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0747-7171(88)80006-3","volume":"5","author":"D Grigor\u00e9v","year":"1988","unstructured":"Grigor\u00e9v D (1988) Complexity of deciding tarski algebra. J Symb Comput 5(1\u20132):65\u2013108","journal-title":"J Symb Comput"},{"issue":"23","key":"82_CR29","doi-asserted-by":"crossref","first-page":"4637","DOI":"10.1242\/dev.125.23.4637","volume":"125","author":"C Haddon","year":"1998","unstructured":"Haddon C, Jiang YJ, Smithers L, Lewis J (1998) Delta\u2013notch signalling and the patterning of sensory cell differentiation in the zebrafish ear: evidence from the mind bomb mutant. Development 125(23):4637\u20134644","journal-title":"Development"},{"key":"82_CR30","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1109\/WODES.2008.4605958","volume-title":"Proceedings of the 9th international workshop on discrete event systems (WODES 2008)","author":"AM Halasz","year":"2008","unstructured":"Halasz AM, Julius AA, Pappas G, Kumar V (2008) From discrete to continuous and back: abstractions and mesoscopic phenomena in cells. In: Proceedings of the 9th international workshop on discrete event systems (WODES 2008). G\u00f6teburg, Sweden, pp 269\u2013274"},{"issue":"4","key":"82_CR31","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1142\/S0219720004000764","volume":"2","author":"S Hardy","year":"2004","unstructured":"Hardy S, Robillard PN (2004) Modeling and simulation of molecular biology systems using Petri nets: modeling goals of various approaches. J Bioinform Comput Biol 2(4):595\u2013613","journal-title":"J Bioinform Comput Biol"},{"key":"82_CR32","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Kopke PW, Puri A, Varaiya P (1995) What\u2019s decidable about hybrid automata? In: Proc. of ACM symposium on theory of computing (STOCS\u201995), pp 373\u2013382","DOI":"10.1145\/225058.225162"},{"key":"82_CR33","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"A Kauffman","year":"1969","unstructured":"Kauffman A (1969) Metabolic stability and epigenesis in randomly constructed genetic nets. J Theor Biol 22:437\u2013467","journal-title":"J Theor Biol"},{"key":"82_CR34","unstructured":"Kopke P (1996) The theory of rectangular hybrid automata. Ph.D. dissertation, Cornell Univ."},{"key":"82_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/PL00009858","volume":"13","author":"G Lafferriere","year":"2000","unstructured":"Lafferriere G, Pappas GJ, Sastry S (2000) O-minimal hybrid systems. Math Control Signals Syst 13:1\u201321","journal-title":"Math Control Signals Syst"},{"issue":"1\u20132","key":"82_CR36","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0167-2789(98)00008-6","volume":"118","author":"PO Luthi","year":"1998","unstructured":"Luthi PO, Chopard B, Preiss A, Ramsden JJ (1998) A cellular automaton model for neurogenesis in drosophila. Phys D 118(1\u20132):151\u2013160","journal-title":"Phys D"},{"key":"82_CR37","unstructured":"Macintyre A, Wilkie A (1995) On the decidability of the real exponential field. In: Odifreddi P (ed) Kreisel 70th birthday volume. ser. CLSI"},{"key":"82_CR38","first-page":"447","volume-title":"Real-time: theory in practice","author":"O Maler","year":"1991","unstructured":"Maler O, Manna Z, Pnueli A (1991) From timed to hybrid systems. In: de\u00a0Bakker JW, Huizing C, de\u00a0Roever WP, Rozenberg G (eds) Real-time: theory in practice, vol 600. Springer, New York, pp 447\u2013484"},{"key":"82_CR39","unstructured":"Marnellos G, Deblandre GA, Mjolsness E, Kintner C (2000) Delta\u2013notch lateral inhibitory patterning in the emergence of ciliated cells in xenopus: experimental observations and a gene network model. In: Pac symp biocomput, pp 329\u2013340"},{"key":"82_CR40","unstructured":"Marnellos G, Mjolsness E (1998) A gene network approach to modeling early neurogenesis in drosophila. In: Pacific symposium on biocomputing, pp 30\u201341"},{"key":"82_CR41","unstructured":"Mendelson E (1997) Introduction to mathematical logic, iv\u00a0ed. CRC, Boca Raton"},{"key":"82_CR42","volume-title":"A calculus of communicating systems","author":"R Milner","year":"1982","unstructured":"Milner R (1982) A calculus of communicating systems. Springer, New York"},{"key":"82_CR43","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/11562948_18","volume-title":"Proceedings of 3rd international symposium on automated technology for verification and analysis (ATVA 2005)","author":"V Mysore","year":"2005","unstructured":"Mysore V, Piazza C, Mishra B (2005) Algorithmic algebraic model checking II: decidability of semi-algebraic model checking and its applications to systems biology. In: Peled D, Tsay Y-K (eds) Proceedings of 3rd international symposium on automated technology for verification and analysis (ATVA 2005). Springer, Berlin, pp 217\u2013233"},{"key":"82_CR44","unstructured":"Petri CA (1962) Fundamentals of a theory of asynchronous information flow. In: IFIP congress, pp 386\u2013390"},{"key":"82_CR45","series-title":"ser. Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/11513988_3","volume-title":"Computer aided verification, 17th international conference, CAV 2005, Edinburgh, Scotland, UK, 6\u201310 July 2005, proceedings","author":"C Piazza","year":"2005","unstructured":"Piazza C, Antoniotti M, Mysore V, Policriti A, Winkler F, Mishra B (2005) Algorithmic algebraic model checking I: challenges from systems biology. In: Computer aided verification, 17th international conference, CAV 2005, Edinburgh, Scotland, UK, 6\u201310 July 2005, proceedings. ser. Lecture notes in computer science, vol 3576. Springer, New York, pp 5\u201319"},{"issue":"7","key":"82_CR46","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C Priami","year":"1995","unstructured":"Priami C (1995) Stochastic pi-calculus. Comput J 38(7):578\u2013589","journal-title":"Comput J"},{"key":"82_CR47","series-title":"ser. LNCS","first-page":"20","volume-title":"Int. conference on computational methods in systems biology (CMSB\u201904)","author":"C Priami","year":"2004","unstructured":"Priami C, Quaglia P (2004) Beta binders for biological interactions. In: Danos V, Sch\u00e4chter V (eds) Int. conference on computational methods in systems biology (CMSB\u201904). ser. LNCS, vol 3082. Springer, New York, pp 20\u201333"},{"key":"82_CR48","series-title":"ser. LNCS","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/3-540-58179-0_46","volume-title":"Proceedings of international conference on computer aided verification (CAV\u201994)","author":"A Puri","year":"1994","unstructured":"Puri A, Varaiya P (1994) Decidability of hybrid systems with rectangular differential inclusions. In: Dill DL (ed) Proceedings of international conference on computer aided verification (CAV\u201994). ser. LNCS, vol 818. Springer, New York, pp 95\u2013104"},{"key":"82_CR49","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/S0747-7171(10)80003-3","volume":"13","author":"J Renegar","year":"1992","unstructured":"Renegar J (1992) On the computational complexity and geometry of the first-order theory of the reals, parts I\u2013III. J Symb Comput 13:255\u2013352","journal-title":"J Symb Comput"},{"key":"82_CR50","unstructured":"Schwartz JT (1986) The pernicious influence of mathematics on science. Discrete thoughts: essays in mathematics, science, and phylosophy, pp 19\u201325"},{"key":"82_CR51","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A decision method for elementary algebra and geometry","author":"A Tarski","year":"1951","unstructured":"Tarski A (1951) A decision method for elementary algebra and geometry. Univ. California Press, Berkeley"},{"key":"82_CR52","unstructured":"Troncale S, Tahi F, Campard D, Vannier J-P, Guespin J (2006) Modeling and simulation with hybrid functional Petri nets of the role of interleukin-6 in human early haematopoiesis. In: Altman RB, Murray T, Klein TE, Dunker AK, Hunter L (eds) Biocomputing 2006, proceedings of the Pacific symposium, Maui, Hawaii, USA, 3\u20137 January 2006. World Scientific, Singapore, pp 427\u2013438"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0082-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-009-0082-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0082-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T12:41:19Z","timestamp":1633869679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-009-0082-7"}},"subtitle":["Avoiding Misleading Assumptions in Systems Biology"],"short-title":[],"issued":{"date-parts":[[2009,9,10]]},"references-count":52,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["82"],"URL":"https:\/\/doi.org\/10.1007\/s10626-009-0082-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,9,10]]}}}