{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,2]],"date-time":"2024-07-02T06:51:11Z","timestamp":1719903071525},"reference-count":27,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2014,8,1]],"date-time":"2014-08-01T00:00:00Z","timestamp":1406851200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2018,8,13]],"date-time":"2018-08-13T00:00:00Z","timestamp":1534118400000},"content-version":"vor","delay-in-days":1473,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"name":"Istituto Nazionale di Alta Matematica (INdAM)"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information and Computation"],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1016\/j.ic.2014.01.011","type":"journal-article","created":{"date-parts":[[2014,1,27]],"date-time":"2014-01-27T17:01:08Z","timestamp":1390842068000},"page":"35-51","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["\u03f5-Semantics computations on biological systems"],"prefix":"10.1016","volume":"236","author":[{"given":"A.","family":"Casagrande","sequence":"first","affiliation":[]},{"given":"T.","family":"Dreossi","sequence":"additional","affiliation":[]},{"given":"J.","family":"Fabrikov\u00e1","sequence":"additional","affiliation":[]},{"given":"C.","family":"Piazza","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ic.2014.01.011_br0010","series-title":"Proc. of ACM Symposium on Theory of Computing (STOCS'95)","first-page":"373","article-title":"What's decidable about hybrid automata?","author":"Henzinger","year":"1995"},{"key":"10.1016\/j.ic.2014.01.011_br0020","series-title":"Proc. of the 23rd International Conference on Computer Aided Verification (CAV 2011)","first-page":"379","article-title":"SpaceEx: scalable verification of hybrid systems","volume":"vol. 6806","author":"Frehse","year":"2011"},{"key":"10.1016\/j.ic.2014.01.011_br0030","series-title":"Logical Analysis of Hybrid Systems \u2013 Proving Theorems for Complex Dynamics","author":"Platzer","year":"2010"},{"key":"10.1016\/j.ic.2014.01.011_br0040","series-title":"Proc. of 14th Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 08)","first-page":"188","article-title":"Symbolic model checking of hybrid systems using template polyhedra","volume":"vol. 4963","author":"Sankaranarayanan","year":"2008"},{"issue":"4","key":"10.1016\/j.ic.2014.01.011_br0050","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/s10626-009-0082-7","article-title":"Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology","volume":"19","author":"Casagrade","year":"2009","journal-title":"Discrete Event Dyn. Syst."},{"key":"10.1016\/j.ic.2014.01.011_br0060","series-title":"Proc. of the 2nd GI Conference on Automata Theory and Formal Languages","first-page":"134","article-title":"Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition","volume":"vol. 33","author":"Collins","year":"1975"},{"key":"10.1016\/j.ic.2014.01.011_br0070","series-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"2001"},{"key":"10.1016\/j.ic.2014.01.011_br0080","series-title":"Introduction to Mathematical Logic","author":"Mendelson","year":"1997"},{"key":"10.1016\/j.ic.2014.01.011_br0090","article-title":"Introduction to Topology","author":"Mendelson","year":"1990"},{"issue":"3","key":"10.1016\/j.ic.2014.01.011_br0100","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1006\/jsco.2001.0472","article-title":"Symbolic reachability computation for families of linear vector fields","volume":"32","author":"Lafferriere","year":"2001","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.ic.2014.01.011_br0110","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/PL00009858","article-title":"O-minimal hybrid systems","volume":"13","author":"Lafferriere","year":"2000","journal-title":"Math. Control Signals Syst."},{"issue":"12","key":"10.1016\/j.ic.2014.01.011_br0120","doi-asserted-by":"crossref","first-page":"1394","DOI":"10.1016\/j.ic.2008.09.001","article-title":"Inclusion dynamics hybrid automata","volume":"206","author":"Casagrande","year":"2008","journal-title":"Inf. Comput."},{"key":"10.1016\/j.ic.2014.01.011_br0130","series-title":"Computer, Science, and Logic (CSL 99)","first-page":"126","article-title":"Analysis of hybrid systems: An ounce of realism can save an infinity of states","volume":"vol. 1683","author":"Fr\u00e4nzle","year":"1999"},{"key":"10.1016\/j.ic.2014.01.011_br0140","series-title":"Proc. of the 1st International Workshop on Hybrid Systems and Biology (HSB 2012)","first-page":"58","article-title":"Hybrid automata and \u03f5-analysis on a neural oscillator","volume":"vol. 92","author":"Casagrande","year":"2012"},{"issue":"3","key":"10.1016\/j.ic.2014.01.011_br0150","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0165-0173(85)90022-0","article-title":"Spatial EEG patterns, non-linear dynamics and perception: the neo-Sherringtonian view","volume":"357","author":"Freeman","year":"1985","journal-title":"Brain Res."},{"key":"10.1016\/j.ic.2014.01.011_br0160","series-title":"Neuronal Networks of the Hippocampus","author":"Traub","year":"1991"},{"issue":"3","key":"10.1016\/j.ic.2014.01.011_br0170","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1152\/physrev.1988.68.3.649","article-title":"The functional states of the thalamus and the associated neuronal interplay","volume":"68","author":"Steriade","year":"1988","journal-title":"Physiol. Rev."},{"issue":"4992","key":"10.1016\/j.ic.2014.01.011_br0180","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1126\/science.1824881","article-title":"Intrinsic oscillations of neocortex generated by layer 5 pyramidal neurons","volume":"251","author":"Silva","year":"1991","journal-title":"Science"},{"issue":"6213","key":"10.1016\/j.ic.2014.01.011_br0190","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1038\/338334a0","article-title":"Oscillatory responses in cat visual cortex exhibit inter-columnar synchronization which reflects global stimulus properties","volume":"338","author":"Gray","year":"1989","journal-title":"Nature"},{"issue":"9","key":"10.1016\/j.ic.2014.01.011_br0200","doi-asserted-by":"crossref","first-page":"1213","DOI":"10.1016\/S0893-6080(99)00068-4","article-title":"Synchronization and desynchronization of neural oscillators","volume":"12","author":"Tonnelier","year":"1999","journal-title":"Neural Netw."},{"issue":"2","key":"10.1016\/j.ic.2014.01.011_br0210","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1142\/S0129065789000025","article-title":"Oscillations and synchronizations in neural networks: an exploration of the labeling hypothesis","volume":"1","author":"Atiya","year":"1989","journal-title":"Int. J. Neural Syst."},{"key":"10.1016\/j.ic.2014.01.011_br0220","series-title":"Proc. of the 16th Euromicro Conference on Digital System Design (DSD 2013)","first-page":"815","article-title":"pyHybridAnalysis: a package for \u03f5-semantics analysis of hybrid systems","author":"Casagrande","year":"2013"},{"issue":"2","key":"10.1016\/j.ic.2014.01.011_br0230","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/261320.261324","article-title":"REDLOG: computer algebra meets computer logic","volume":"31","author":"Dolzmann","year":"1997","journal-title":"SIGSAM Bull."},{"issue":"6","key":"10.1016\/j.ic.2014.01.011_br0240","doi-asserted-by":"crossref","first-page":"553","DOI":"10.2337\/diacare.8.6.553","article-title":"Blood glucose control by intermittent loop closure in the basal mode: computer simulation studies with a diabetic model","volume":"8","author":"Furler","year":"1985","journal-title":"Diabetes Care"},{"key":"10.1016\/j.ic.2014.01.011_br0250","series-title":"Proc. 7th Annual Conference of Theory and Applications of Models of Computation (TAMC 2010)","first-page":"397","article-title":"Safety verification of non-linear hybrid systems is quasi-semidecidable","volume":"vol. 6108","author":"Ratschan","year":"2010"},{"issue":"5","key":"10.1016\/j.ic.2014.01.011_br0260","doi-asserted-by":"crossref","first-page":"782","DOI":"10.1109\/TAC.2007.895849","article-title":"Approximation metrics for discrete and continuous systems","volume":"52","author":"Girard","year":"2007","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.ic.2014.01.011_br0270","series-title":"Proc. of the 15th Euromicro Conference on Digital System Design (DSD 2012)","first-page":"493","article-title":"Model checking on hybrid automata","author":"Casagrande","year":"2012"}],"container-title":["Information and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0890540114000121?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0890540114000121?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T22:24:02Z","timestamp":1538864642000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0890540114000121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":27,"alternative-id":["S0890540114000121"],"URL":"https:\/\/doi.org\/10.1016\/j.ic.2014.01.011","relation":{},"ISSN":["0890-5401"],"issn-type":[{"value":"0890-5401","type":"print"}],"subject":[],"published":{"date-parts":[[2014,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"\u03f5-Semantics computations on biological systems","name":"articletitle","label":"Article Title"},{"value":"Information and Computation","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ic.2014.01.011","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2014 Elsevier Inc. All rights reserved.","name":"copyright","label":"Copyright"}]}}