{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T15:54:16Z","timestamp":1781020456082,"version":"3.54.1"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/ascc.2017.8287612","type":"proceedings-article","created":{"date-parts":[[2018,2,14]],"date-time":"2018-02-14T20:30:38Z","timestamp":1518640238000},"page":"2750-2755","source":"Crossref","is-referenced-by-count":3,"title":["Path planning and control of a quadrotor UAV: A symbolic approach"],"prefix":"10.1109","author":[{"given":"Tianze","family":"Zhang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xin","family":"Huo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60045-0_56"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref12","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 Trans Automat Control"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref15","article-title":"Feedback Refinement Relations for the Synthesis of Symbolic Controllers","author":"rei\u00dfig","year":"2015","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(93)90045-P"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"ref18","article-title":"Modeling and Simulation Control of a Small-sized Quadrotor Helicoprer","author":"liu","year":"2010","journal-title":"Computer Simulation"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2514\/6.2003-5728"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1991.131810"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2325904"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2011.02.013"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(83)90017-5"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref2","article-title":"Flight Path Planning of UAV Based on Heuristically Search and Genetic Algorithms","author":"qu","year":"0","journal-title":"Proc IEEE IECON 2005"},{"key":"ref1","first-page":"1681","article-title":"Flight Path Planning of UAV Based on Heuristically Search and Genetic Algorithms","author":"yao","year":"2016","journal-title":"Proceedings of the IEEE Conference on Decision and Control"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035790"}],"event":{"name":"2017 11th Asian Control Conference (ASCC)","location":"Gold Coast, QLD","start":{"date-parts":[[2017,12,17]]},"end":{"date-parts":[[2017,12,20]]}},"container-title":["2017 11th Asian Control Conference (ASCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8267339\/8287090\/08287612.pdf?arnumber=8287612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,11]],"date-time":"2019-10-11T00:21:23Z","timestamp":1570753283000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8287612\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ascc.2017.8287612","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}