{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:17:53Z","timestamp":1730297873019,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/smc.2017.8122760","type":"proceedings-article","created":{"date-parts":[[2017,11,30]],"date-time":"2017-11-30T22:22:47Z","timestamp":1512080567000},"page":"1110-1115","source":"Crossref","is-referenced-by-count":1,"title":["Temporal logic task and motion planning of a smart robot-towards a smart substation environment"],"prefix":"10.1109","author":[{"given":"Liangguo","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rui","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bin","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yingze","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"ref3","first-page":"861","article-title":"Survey on robot visual servo control: Vision system and control strategies","volume":"41","author":"jia","year":"2015","journal-title":"ACTA Automatica Sinica"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CARPI.2014.7030049"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref8"},{"journal-title":"A multilayer reactive system for robots interacting with children with autism","year":"2016","author":"esteban","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICINFA.2010.5512029"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/EEEIC.2015.7165177"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.11591\/ijra.v3i3.4670"}],"event":{"name":"2017 IEEE International Conference on Systems, Man and Cybernetics (SMC)","start":{"date-parts":[[2017,10,5]]},"location":"Banff, AB","end":{"date-parts":[[2017,10,8]]}},"container-title":["2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8114675\/8122565\/08122760.pdf?arnumber=8122760","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T23:15:05Z","timestamp":1516230905000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8122760\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/smc.2017.8122760","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}