{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:46:17Z","timestamp":1729615577963,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iros.2000.893153","type":"proceedings-article","created":{"date-parts":[[2002,11,8]],"date-time":"2002-11-08T02:03:12Z","timestamp":1036720992000},"page":"1020-1025","source":"Crossref","is-referenced-by-count":2,"title":["A hierarchical, modal approach to hybrid systems control of autonomous robots"],"prefix":"10.1109","volume":"2","author":[{"given":"K.A.","family":"McIsaac","sequence":"first","affiliation":[]},{"given":"A.K.","family":"Das","sequence":"additional","affiliation":[]},{"given":"J.M.","family":"Esposito","sequence":"additional","affiliation":[]},{"given":"J.P.","family":"Ostrowski","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"volume":"736","journal-title":"Hybrid Systems","year":"1993","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.1997.609369"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1995.480311"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cta:19971441"},{"volume":"999","journal-title":"Hybrid Systems II","year":"1995","key":"ref4"},{"volume":"1066","journal-title":"Hybrid Systems III Verification and Control","year":"1996","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/aic.690400608"},{"journal-title":"Tracking and Data Association","year":"1988","author":"bar-shalom","key":"ref5"},{"key":"ref8","first-page":"171","author":"deluca","year":"1998","journal-title":"Feedback Control of A Nonholonomic Car-like Robot"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1994.411615"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46430-1_5","article-title":"Modular specification of hybrid systems in charon","author":"alur","year":"2000","journal-title":"Proceedings of the Third International Workshop on Hybrid Systems Computation and Control"},{"key":"ref1","first-page":"212","article-title":"Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination","author":"alur","year":"1999","journal-title":"proceedings of Formal Methods"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1994.751766"}],"event":{"name":"Proceedings. 2000 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2000)","acronym":"IROS-00","location":"Takamatsu, Japan"},"container-title":["Proceedings. 2000 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113)"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/7177\/19309\/00893153.pdf?arnumber=893153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T18:31:48Z","timestamp":1515781908000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/893153\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/iros.2000.893153","relation":{},"subject":[]}}