{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T12:59:33Z","timestamp":1760101173687,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.23919\/ecc.2019.8795730","type":"proceedings-article","created":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T19:20:02Z","timestamp":1565896802000},"page":"1312-1317","source":"Crossref","is-referenced-by-count":3,"title":["Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems"],"prefix":"10.23919","author":[{"given":"Wei","family":"Ren","sequence":"first","affiliation":[]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2016.7852228"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2753039"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2791461"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/9.58500"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.858689"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2040497"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/9.948466"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"1165","DOI":"10.1109\/TAC.2009.2017815","article-title":"Finite-level quantized feedback control for linear systems","volume":"54","author":"fu","year":"2009","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"2583","DOI":"10.1109\/TAC.2011.2118950","article-title":"Computing abstractions of nonlinear systems","volume":"56","author":"rei\u00dfig","year":"2011","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2013.02.001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1137\/0325066"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.037"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039364"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_76"}],"event":{"name":"2019 18th European Control Conference (ECC)","start":{"date-parts":[[2019,6,25]]},"location":"Naples, Italy","end":{"date-parts":[[2019,6,28]]}},"container-title":["2019 18th European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8778424\/8795605\/08795730.pdf?arnumber=8795730","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T21:43:18Z","timestamp":1568065398000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8795730\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.23919\/ecc.2019.8795730","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}