{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:21:09Z","timestamp":1729660869605,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/cdc.2010.5717222","type":"proceedings-article","created":{"date-parts":[[2011,2,22]],"date-time":"2011-02-22T12:37:42Z","timestamp":1298378262000},"page":"1528-1533","source":"Crossref","is-referenced-by-count":0,"title":["An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications"],"prefix":"10.1109","author":[{"given":"Alessandro","family":"Borri","sequence":"first","affiliation":[]},{"given":"Giordano","family":"Pola","sequence":"additional","affiliation":[]},{"given":"M. Domenica","family":"Di Benedetto","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/9.989067"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_20"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/070698580"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2010.04.001"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400657"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.925824"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48119-2_15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009858"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884957"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1109\/TAC.2005.861711","volume":"51","author":"egerstedt","year":"2006","journal-title":"IEEE Transactions of Automatic Control"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017309"},{"journal-title":"Integrated symbolic control design for nonlinear systems with infinite states specifications","year":"2010","author":"pola","key":"ref20"},{"journal-title":"Digital Control of Dynamic Systems","year":"1998","author":"franklin","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(02)00318-3"}],"event":{"name":"2010 49th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2010,12,15]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,12,17]]}},"container-title":["49th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5707200\/5716927\/05717222.pdf?arnumber=5717222","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T16:05:31Z","timestamp":1497888331000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5717222\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/cdc.2010.5717222","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}