{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T02:19:48Z","timestamp":1767665988235,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"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":[],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1109\/case48305.2020.9217012","type":"proceedings-article","created":{"date-parts":[[2020,10,8]],"date-time":"2020-10-08T20:01:51Z","timestamp":1602187311000},"page":"280-287","source":"Crossref","is-referenced-by-count":7,"title":["Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees"],"prefix":"10.1109","author":[{"given":"Guy","family":"Scher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Motion Capture Systems","year":"2020","key":"ref33"},{"journal-title":"Drake Model-based design and verification for robotics","year":"2019","author":"tedrake","key":"ref32"},{"journal-title":"Gazebo","year":"2020","key":"ref31"},{"journal-title":"Jackal UGV - Small Weatherproof Robot - Clearpath","year":"2020","key":"ref30"},{"journal-title":"Ros org — powering the world's robots","year":"2020","key":"ref34"},{"journal-title":"Introduction to Algorithms","year":"2009","author":"cormen","key":"ref10"},{"key":"ref11","first-page":"101","article-title":"Generating state lattice motion primitives for differentially constrained motion planning","author":"pivtoraiko","year":"2012","journal-title":"Proceedings of the International Conference on Intelligent Robots and Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/rob.20285"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-019-09830-x"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/M-RA.2007.914921"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696435"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914557736"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883832"},{"key":"ref18","first-page":"9","article-title":"Coordinating hundreds of cooperative, autonomous vehicles in warehouses","volume":"29","author":"wurman","year":"2008","journal-title":"AI Magazine"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MRS.2019.8901065"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225337"},{"journal-title":"Developing a robotic culture","year":"2019","key":"ref4"},{"journal-title":"Computational Geometry An Introduction","year":"2012","author":"preparata","key":"ref27"},{"journal-title":"Driverless forklifts are now a thing","year":"2020","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104838"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_18"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8593637"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"journal-title":"B56 52019","year":"2019","key":"ref2"},{"key":"ref9","article-title":"Reachability analysis using dissipation inequalities for nonlinear dynamical systems","author":"yin","year":"2018","journal-title":"arXiv preprint arXiv 1808 02194"},{"key":"ref1","article-title":"Supply chain automation surges: supply chain automation is gaining ground, particularly in warehousing and middle-and last-mile logistics","author":"beckwith","year":"2019","journal-title":"Inbound Logistics"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v30i1.10409","article-title":"Multi-agent path finding with payload transfers and the package-exchange robot-routing problem","author":"ma","year":"2016","journal-title":"THIRTIETH AAAI Conference on Artificial Intelligence"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1201\/9780429184185"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref24","volume":"3","author":"khalil","year":"2002","journal-title":"Nonlinear Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref26","volume":"1","author":"kwakernaak","year":"1972","journal-title":"Linear Optimal Control Systems"},{"journal-title":"Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization","year":"2000","author":"parrilo","key":"ref25"}],"event":{"name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2020,8,20]]},"location":"Hong Kong, Hong Kong","end":{"date-parts":[[2020,8,21]]}},"container-title":["2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9210430\/9216730\/09217012.pdf?arnumber=9217012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,22]],"date-time":"2022-11-22T17:59:27Z","timestamp":1669139967000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9217012\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/case48305.2020.9217012","relation":{},"subject":[],"published":{"date-parts":[[2020,8]]}}}