{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:13:03Z","timestamp":1761487983609,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/cdc.2007.4434569","type":"proceedings-article","created":{"date-parts":[[2008,1,28]],"date-time":"2008-01-28T16:06:38Z","timestamp":1201536398000},"page":"5162-5167","source":"Crossref","is-referenced-by-count":9,"title":["Box invariance for biologically-inspired dynamical systems"],"prefix":"10.1109","author":[{"given":"Alessandro","family":"Abate","sequence":"first","affiliation":[]},{"given":"Ashish","family":"Tiwari","sequence":"additional","affiliation":[]},{"given":"Shankar","family":"Sastry","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00169-2"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184551"},{"key":"18","first-page":"660","article-title":"symbolic systems biology: hybrid modeling and analysis of biological networks","volume":"2993","author":"lincoln","year":"2004","journal-title":"ser LNCS"},{"journal-title":"A decision method for elementary algebra and geometry","year":"1948","author":"tarski","key":"15"},{"key":"16","first-page":"134","article-title":"quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition","volume":"33","author":"collins","year":"1975","journal-title":"ser LNCS"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/B978-008044613-4.50065-3"},{"journal-title":"Nonnegative Matrices","year":"1988","author":"minc","key":"14"},{"journal-title":"Nonnegative Matrices","year":"1973","author":"seneta","key":"11"},{"article-title":"a physiologic model of glucose metabolism in man and its use to design and assess improved insulin therapies for diabetes","year":"1985","author":"sorensen","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1024784"},{"journal-title":"The concept of box invariance for biologically-inspired dynamical systems","year":"2006","author":"abate","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1193-5_3"},{"key":"2","article-title":"model checking of hybrid systems: from reachabilty towards stabilty","volume":"3927","author":"podelski","year":"2006","journal-title":"ser LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00113-2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01582570"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/9.256362"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.829639"},{"key":"5","article-title":"norm-based approach to componentwise asymptotic stability","author":"pastravanu","year":"2003","journal-title":"Proc 11th IEEE Mediterranean Conf on Control and Automation"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1984.1103394"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810817"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/9.661083"}],"event":{"name":"2007 46th IEEE Conference on Decision and Control","start":{"date-parts":[[2007,12,12]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2007,12,14]]}},"container-title":["2007 46th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4433999\/4434000\/04434569.pdf?arnumber=4434569","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T18:44:57Z","timestamp":1489689897000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4434569\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/cdc.2007.4434569","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}