{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:08:59Z","timestamp":1725674939607},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/icca.2013.6565125","type":"proceedings-article","created":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T21:08:04Z","timestamp":1374786484000},"page":"1650-1655","source":"Crossref","is-referenced-by-count":4,"title":["Hybrid symbolic control for robot motion planning"],"prefix":"10.1109","author":[{"given":"Ali","family":"Karimoddini","sequence":"first","affiliation":[]},{"given":"Hai","family":"Lin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"17","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","article-title":"A new class of decidable hybrid systems","author":"lafferriere","year":"1999","journal-title":"Hybrid Systems Computation and Control"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377081"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/5.871307"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.925824"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434957"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1998.664148"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2006.889492"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.10.008"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.851359"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884957"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2010.09.007"}],"event":{"name":"2013 10th IEEE International Conference on Control and Automation (ICCA)","start":{"date-parts":[[2013,6,12]]},"location":"Hangzhou, China","end":{"date-parts":[[2013,6,14]]}},"container-title":["2013 10th IEEE International Conference on Control and Automation (ICCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6550152\/6564841\/06565125.pdf?arnumber=6565125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T16:51:33Z","timestamp":1498063893000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6565125\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icca.2013.6565125","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}