{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:21:54Z","timestamp":1762521714482},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"NSF CAREER award ECCS 0954601"},{"name":"AFOSR YIP award FA9550-11-1-0118"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/tac.2014.2351631","type":"journal-article","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T19:49:14Z","timestamp":1411674554000},"page":"3164-3177","source":"Crossref","is-referenced-by-count":18,"title":["An Input-Output Construction of Finite State <inline-formula> <tex-math notation=\"TeX\">$\\rho\/\\mu$<\/tex-math><\/inline-formula> Approximations for Control Design"],"prefix":"10.1109","volume":"59","author":[{"given":"Danielle C.","family":"Tarraf","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2007.906923"},{"key":"ref38","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45873-5_36","article-title":"Series of abstractions for hybrid automata","volume":"2289","author":"tiwari","year":"2002","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470590"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760390"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2199180"},{"key":"ref30","first-page":"1504","article-title":"Constructing $\\rho\/\\mu$ approximations from input\/output snapshots for systems over finite alphabets","author":"tarraf","year":"0","journal-title":"Proc 50th Allerton Conf Communication Control and Computing"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2108350"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.923658"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_42"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161511"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0110-2"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2072530"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref12","author":"ljung","year":"1999","journal-title":"System Identification Theory for the User"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/0005-1098(94)90119-8","article-title":"Qualitative modeling of linear dynamical systems with quantized state measurements","volume":"30","author":"lunze","year":"1994","journal-title":"Automatica"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/S0005-1098(98)00176-9","article-title":"Deterministic discrete-event representation of continuous-variable systems","volume":"35","author":"lunze","year":"1999","journal-title":"Automatica"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1364-2"},{"key":"ref16","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(99)00061-4"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013339920783"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017309"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380396"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1076\/1387-3954(200003)6:1;1-Q;FT030"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2007.12.005"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/9.664159"},{"key":"ref29","first-page":"6102","article-title":"Constructing $\\rho\/\\mu$ approximations for systems with no exogeneous input","author":"tarraf","year":"0","journal-title":"Proc 51st IEEE Conf Decision and Control"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.948467"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/9.623082"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426254"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/9.664160"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2118950"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.925824"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/6960933\/06882777.pdf?arnumber=6882777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:01:04Z","timestamp":1642003264000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6882777"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":40,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tac.2014.2351631","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12]]}}}