{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T06:26:54Z","timestamp":1778653614951,"version":"3.51.4"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1109\/lcsys.2020.3034274","type":"journal-article","created":{"date-parts":[[2020,10,27]],"date-time":"2020-10-27T20:12:21Z","timestamp":1603829541000},"page":"1297-1302","source":"Crossref","is-referenced-by-count":13,"title":["Symbolic Observer-Based Controller for Uncertain Nonlinear Systems"],"prefix":"10.1109","volume":"5","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2644-9995","authenticated-orcid":false,"given":"W. A.","family":"Apaza-Perez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4075-9041","authenticated-orcid":false,"given":"A.","family":"Girard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2805-605X","authenticated-orcid":false,"given":"C.","family":"Combastel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9286-8012","authenticated-orcid":false,"given":"A.","family":"Zolghadri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1656"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2798806"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382219"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.108511"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"ref35","author":"girard","year":"2020","journal-title":"Least-Violating Symbolic Controller Synthesis for Safety Reachability and Attractivity Specifications"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2501351"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6858790"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799280"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2164740"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.037"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2013.02.001"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426158"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2833630"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2753039"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_49"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461343"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859229"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2118950"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403188"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref6","author":"lee","year":"2017","journal-title":"Introduction to Embedded Systems A Cyber-physical Systems Approach"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2018.04.001"},{"key":"ref5","volume":"89","author":"belta","year":"2018","journal-title":"Formal Methods for Discrete-Time Dynamical Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"1163","DOI":"10.1109\/TAC.2013.2295664","article-title":"Language-guided controller synthesis for linear systems","volume":"59","author":"gol","year":"2014","journal-title":"IEEE Trans Autom Control"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2178328"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311798"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1971.1099826"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178143"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/9.746252"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7782633\/9162156\/09241051.pdf?arnumber=9241051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:54:20Z","timestamp":1652194460000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9241051\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10]]},"references-count":36,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/lcsys.2020.3034274","relation":{},"ISSN":["2475-1456"],"issn-type":[{"value":"2475-1456","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10]]}}}