{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:12:28Z","timestamp":1729638748968,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/syscon.2013.6549920","type":"proceedings-article","created":{"date-parts":[[2013,7,9]],"date-time":"2013-07-09T15:42:56Z","timestamp":1373384576000},"page":"442-447","source":"Crossref","is-referenced-by-count":5,"title":["Modeling and controlling the structure of heterogeneous mobile robotic systems: A bigactor approach"],"prefix":"10.1109","author":[{"given":"E.","family":"Pereira","sequence":"first","affiliation":[]},{"given":"C.","family":"Potiron","sequence":"additional","affiliation":[]},{"given":"C. M.","family":"Kirsch","sequence":"additional","affiliation":[]},{"given":"R.","family":"Sengupta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/AIS.2010.5547022"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887293"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502551"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626661"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/WPDRTS.1996.557685"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90114-7"},{"journal-title":"Communicating and Mobile Systems The-Calculus","year":"1999","author":"milner","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/OCEANSE.2009.5278245"},{"key":"12","article-title":"Auv and rov developments at porto university","author":"matos","year":"2003","journal-title":"IFAC Workshop on Modelling and Analysis of Logic Controlled Dynamic Systems"},{"year":"0","key":"21"},{"journal-title":"Mixed Initiative Control of Unmanned Air Vehicle Systems The Pitvant R&d Uav Program","year":"2010","author":"de sousa","key":"3"},{"journal-title":"Bilge Dumping Busted Using Satellite Images and Ais Data","year":"2012","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1017\/S095679689700261X"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","author":"agha","year":"1986","journal-title":"Actors A Model of Concurrent Computation in Distributed Systems"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2007.384124"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5160520"},{"key":"6","first-page":"993","article-title":"Coroutines and networks of parallel processes","author":"kahn","year":"1977","journal-title":"Information Processing 77"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/OCEANSE.2007.4302467"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1109\/9.664163","article-title":"The shift programming langauge for dynamic networks of hybrid automata","volume":"43","author":"deshpande","year":"1998","journal-title":"IEEE Transactions on Automatic Control"},{"key":"9","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/RTAS.2009.17","article-title":"A language to specify and re-specify mobile sensor network behaviors","author":"love","year":"2009","journal-title":"Real-Time and Embedded Technology and Applications Symposium 2009 RTAS 2009 15th IEEE"},{"key":"8","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/11730637_30","article-title":"R-charon, a modeling language for reconfigurable hybrid systems","author":"kratz","year":"2006","journal-title":"Lecture Notes in Computer Science"}],"event":{"name":"2013 7th Annual IEEE Systems Conference (SysCon)","start":{"date-parts":[[2013,4,15]]},"location":"Orlando, FL","end":{"date-parts":[[2013,4,18]]}},"container-title":["2013 IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6542295\/6549844\/06549920.pdf?arnumber=6549920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,27]],"date-time":"2022-02-27T23:05:29Z","timestamp":1646003129000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6549920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/syscon.2013.6549920","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}