{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T16:07:39Z","timestamp":1774022859242,"version":"3.50.1"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T00:00:00Z","timestamp":1657584000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T00:00:00Z","timestamp":1657584000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001862","name":"Swedish Research Council (VR)","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001862","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,7,12]]},"DOI":"10.23919\/ecc55457.2022.9838497","type":"proceedings-article","created":{"date-parts":[[2022,8,5]],"date-time":"2022-08-05T19:33:46Z","timestamp":1659728026000},"page":"906-911","source":"Crossref","is-referenced-by-count":6,"title":["Funnel-based Cooperative Control of Leader-follower Multi-agent Systems under Signal Temporal Logic Specifications"],"prefix":"10.23919","author":[{"given":"Fei","family":"Chen","sequence":"first","affiliation":[{"name":"KTH Royal Institute of Technology,Division of Decision and Control Systems,Stockholm,Sweden,SE-100 44"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology,Division of Decision and Control Systems,Stockholm,Sweden,SE-100 44"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.05.013"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147796"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1515\/9781400835355"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.23919\/ECC54610.2021.9655029"},{"key":"ref16","volume":"6","author":"sontag","year":"2013","journal-title":"Mathematical Control Theory Deterministic Finite Dimensional Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580419"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2157884"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2020.3029155"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.834433"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref8","first-page":"6","article-title":"Leader-based multi-agent coordination: Controllability and optimal control","author":"ji","year":"2006","journal-title":"American Control Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2016.7810511"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-50763-7","volume":"15","author":"belta","year":"2017","journal-title":"Formal Methods for Discrete-Time Dynamical Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.929402"},{"key":"ref9","author":"khalil","year":"2002","journal-title":"Nonlinear Systems"}],"event":{"name":"2022 European Control Conference (ECC)","location":"London, United Kingdom","start":{"date-parts":[[2022,7,12]]},"end":{"date-parts":[[2022,7,15]]}},"container-title":["2022 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9837955\/9837961\/09838497.pdf?arnumber=9838497","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,21]],"date-time":"2022-11-21T21:31:11Z","timestamp":1669066271000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9838497\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,12]]},"references-count":18,"URL":"https:\/\/doi.org\/10.23919\/ecc55457.2022.9838497","relation":{},"subject":[],"published":{"date-parts":[[2022,7,12]]}}}