{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:49:15Z","timestamp":1729615755625,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/cdc.2004.1429427","type":"proceedings-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T14:10:36Z","timestamp":1219846236000},"page":"4299-4304 Vol.4","source":"Crossref","is-referenced-by-count":3,"title":["Formalised hybrid control scheme for a UAV group using Dubins set and model checking"],"prefix":"10.1109","author":[{"given":"S.","family":"Jeyaraman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Tsourdos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Zbikowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"White","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Bruyere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.-A.","family":"Rabbath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Gagnon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.995426"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459838"},{"key":"18","first-page":"131","article-title":"Logic verification of ANSI-C code with SPIN","year":"2000","journal-title":"Proceedings of the 7th International SPIN Workshop"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1990.145.367"},{"journal-title":"O'reilly - Linux Multithreading Advances","year":"2002","author":"cooperstein","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2004.833789"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0921-8890(00)00127-5"},{"key":"11","first-page":"68","article-title":"A study of kripke modelling of a multi-robot system for cooperative control","author":"jeyaraman","year":"2003","journal-title":"IFAC Workshop on Modelling and Analysis of Logic Controlled Dynamic Systems"},{"journal-title":"16th IFAC Symposium on Automatic Control in Aerospace","article-title":"A formal approach for decentralised co-ordination among UAVS using hybrid control","year":"2004","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/32.940728"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2002.1013620"},{"journal-title":"FeaVer 1 0 User Guide 1st Ed","year":"2002","key":"20"},{"key":"2","article-title":"Experimental demonstration of multiple robot cooperative target intercept","author":"mclain","year":"2001","journal-title":"Tech Rep"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3758-5"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"7","first-page":"212","article-title":"Formal modeling and analysis of hybrid systems: A case study in multirobot coordination","author":"alur","year":"1999","journal-title":"Proceedings of the World Congress on Formal Methods"},{"key":"6","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/3-540-45351-2_14","article-title":"Hybrid feedback control for path tracking by a bounded-curvature vehicle","volume":"2034","author":"balluchi","year":"2001","journal-title":"ser Lecture Notes in Computer Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.846400"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0109854","volume":"245","author":"garulli","year":"1999","journal-title":"Ser Lecture Notes in Control and Information Sciences"},{"journal-title":"Logic in Computer Science Modelling and Reasoning about Systems","year":"2000","author":"huth","key":"9"},{"key":"8","article-title":"A framework and architecture for multirobot coordination","author":"alur","year":"2000","journal-title":"Seventh International Symposium on Experimental Robotics"}],"event":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","start":{"date-parts":[[2004,12,17]]},"location":"Nassau, Bahamas","end":{"date-parts":[[2004,12,17]]}},"container-title":["2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9774\/30838\/01429427.pdf?arnumber=1429427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T07:16:05Z","timestamp":1497770165000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1429427\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/cdc.2004.1429427","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}