{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T21:04:09Z","timestamp":1745010249783,"version":"3.37.3"},"reference-count":36,"publisher":"IEEE","funder":[{"DOI":"10.13039\/100010663","name":"European Research Council (ERC)","doi-asserted-by":"publisher","award":["725144"],"award-info":[{"award-number":["725144"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001665","name":"French National Research Agency (ANR)","doi-asserted-by":"publisher","award":["ANR-10-IDEX-03-02"],"award-info":[{"award-number":["ANR-10-IDEX-03-02"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,5,25]]},"DOI":"10.23919\/acc50511.2021.9482677","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T20:29:16Z","timestamp":1627504156000},"page":"3410-3415","source":"Crossref","is-referenced-by-count":1,"title":["Symbolic observer-based controller for uncertain nonlinear systems"],"prefix":"10.23919","author":[{"given":"W.A.","family":"Apaza-Perez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Girard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Combastel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"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"},{"journal-title":"Least-Violating Symbolic Controller Synthesis for Safety Reachability and Attractivity Specifications","year":"2020","author":"girard","key":"ref35"},{"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"},{"journal-title":"Introduction to Embedded Systems A Cyber-physical Systems Approach","year":"2016","author":"lee","key":"ref6"},{"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":"crossref","DOI":"10.1007\/978-3-319-50763-7","author":"belta","year":"2017","journal-title":"Formal Methods for Discrete-Time Dynamical Systems"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/9.746252"}],"event":{"name":"2021 American Control Conference (ACC)","start":{"date-parts":[[2021,5,25]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2021,5,28]]}},"container-title":["2021 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9482409\/9482614\/09482677.pdf?arnumber=9482677","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T20:54:22Z","timestamp":1635800062000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9482677\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,25]]},"references-count":36,"URL":"https:\/\/doi.org\/10.23919\/acc50511.2021.9482677","relation":{},"subject":[],"published":{"date-parts":[[2021,5,25]]}}}