{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:26:36Z","timestamp":1730341596978,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.23919\/acc.2019.8814645","type":"proceedings-article","created":{"date-parts":[[2019,11,25]],"date-time":"2019-11-25T23:42:46Z","timestamp":1574725366000},"page":"3358-3363","source":"Crossref","is-referenced-by-count":1,"title":["Formal Specification of Continuum Deformation Coordination"],"prefix":"10.23919","author":[{"given":"Hossein","family":"Rastgoftar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Baptiste","family":"Jeannin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ella","family":"Atkins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41594-9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2014.0513"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1049\/iet-gtd.2012.0576"},{"volume-title":"Information consensus in multivehicle cooperative control","year":"2007","author":"Ren","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICARCV.2016.7838725"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2479558"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2015.1120"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1053\/jhep.2002.36992"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1049\/iet-gtd.2015.1345"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2014.2376935"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2010.2053542"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2014.0509"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399946"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2016.2618944"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.10.070"},{"issue":"8","key":"ref16","doi-asserted-by":"crossref","first-page":"1248","DOI":"10.1108\/K-06-2013-0113","article-title":"Containment control of second-order multi-agent systems with directed topology and time-delays","volume":"43","author":"Oussalah","year":"2014","journal-title":"Kybernetes"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2014.944873"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2016.1157899"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s11071-015-2154-6"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/9.664154"},{"volume-title":"Formal specification of multi-agent systems: a real world case","year":"1995","author":"Brazier","key":"ref21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843002000480"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.12.010"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS.2018.8453433"},{"volume-title":"Introduction to continuum mechanics","year":"2009","author":"Lai","key":"ref25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"}],"event":{"name":"2019 American Control Conference (ACC)","start":{"date-parts":[[2019,7,10]]},"location":"Philadelphia, PA, USA","end":{"date-parts":[[2019,7,12]]}},"container-title":["2019 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8789884\/8814292\/08814645.pdf?arnumber=8814645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T00:38:05Z","timestamp":1706056685000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8814645\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":26,"URL":"https:\/\/doi.org\/10.23919\/acc.2019.8814645","relation":{},"subject":[],"published":{"date-parts":[[2019,7]]}}}