{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:46:45Z","timestamp":1743126405869,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104065"},{"type":"electronic","value":"9783319104072"}],"license":[{"start":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T00:00:00Z","timestamp":1411689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T00:00:00Z","timestamp":1411689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-10407-2_4","type":"book-chapter","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T07:20:05Z","timestamp":1411629605000},"page":"27-34","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Coordination Challenges in Networked Vehicle Systems: Are We Missing Something?"],"prefix":"10.1007","author":[{"given":"J. Borges","family":"de Sousa","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Lobo Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,9,26]]},"reference":[{"key":"4_CR1","unstructured":"Baheti R, Gill H (2011) The impact of control technology, chapter cyberphysical systems. IEEE Control Systems Society, pp 161\u2013166"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Cardelli L, Gordon AD (1988) Mobile ambients. In: Nivat M (ed) Proceedings of the first international conference on foundations of software science and computation structure, Lecture notes in computer science: 1378. Springer, Berlin, pp 140\u2013155","DOI":"10.1007\/BFb0053547"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"de Sousa JB, Johansson KH, da Silva JE, Speranzon A (2005) A verified hierarchical control architecture for coordinated multi-vehicle operations. Int J Adapt Control Sig Process 21(2\u20133):159\u2013188 (Special Issue: Autonomous and adaptive control of vehicles in formation)","DOI":"10.1002\/acs.920"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"de Sousa JB, Maciel B, Pereira FL (2009) Sensor systems on networked vehicles. Netw Heterogen Media 4(2):223\u2013247 (American Institute of Mathematical Sciences)","DOI":"10.3934\/nhm.2009.4.223"},{"key":"4_CR5","unstructured":"Deshpande A, Gollu A, Semenzato L (1997) The shift programming language and run-time system for dynamic networks of hybrid automata. Technical Report UCB-ITS-PRR-97-7, California PATH"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1243\/095440705X9425","volume":"219","author":"AR Girard","year":"2005","unstructured":"Girard AR, Borges de Sousa J, Hedrick JK (2005) A selection of recent advances in networked multi-vehicle systems. Proc I MECH E Part I J Syst Control Eng 219:1\u201314","journal-title":"Proc I MECH E Part I J Syst Control Eng"},{"key":"4_CR7","unstructured":"Lee E, Sangiovanni-Vincentelli A (1996) Comparing models of computation"},{"key":"4_CR8","unstructured":"McGuillivary P, de Sousa JB, Martins R (2012) Connecting the dots. networking maritime fleets of autonomous systems for science and surveillance. Marine Technology Reporter (October)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Milner R (1980) A Calculus of Communicating Systems. Springer, Berlin (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Milner R (1996) Semantic ideas in computing. In: Wand I, Milner R (eds) Computing tomorrow: future research directions in computer science. Cambridge University Press, Cambridge, pp 246\u2013283","DOI":"10.1017\/CBO9780511605611.014"},{"key":"4_CR11","unstructured":"Milner R (1999) Communicating and mobile systems: the $$\\Pi $$-calculus. Cambridge University Press, Cambridge"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Milner R (2009) The space and motion of communicating agents. Cambridge University Press, Cambridge","DOI":"10.1017\/CBO9780511626661"},{"issue":"2","key":"4_CR13","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1109\/TAC.1972.1099964","volume":"17","author":"P Varaiya","year":"1972","unstructured":"Varaiya P (1972) Theory of hierarchical, multilevel systems. IEEE Trans Autom Control 17(2):280\u2013281","journal-title":"IEEE Trans Autom Control"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Varaiya P (1997) Towards a layered view of control. In: Proceedings of the 36th IEEE conference on decision and control, pp 1187\u201390","DOI":"10.1109\/CDC.1997.657612"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Varaiya P, Simsek T, de Sousa JB (2001) Communication and control of distributed hybrid systems\u2014tutorial session. In: Proceedings of the 2001 American control conference, pp 4968\u201383. IEEE","DOI":"10.1109\/ACC.2001.945772"}],"container-title":["Lecture Notes in Control and Information Sciences","Coordination Control of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10407-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T11:33:05Z","timestamp":1676892785000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-10407-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,26]]},"ISBN":["9783319104065","9783319104072"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10407-2_4","relation":{},"ISSN":["0170-8643","1610-7411"],"issn-type":[{"type":"print","value":"0170-8643"},{"type":"electronic","value":"1610-7411"}],"subject":[],"published":{"date-parts":[[2014,9,26]]},"assertion":[{"value":"26 September 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}