{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T06:41:02Z","timestamp":1740120062623,"version":"3.37.3"},"reference-count":109,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2024,3,5]],"date-time":"2024-03-05T00:00:00Z","timestamp":1709596800000},"content-version":"vor","delay-in-days":64,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100010663","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004359","name":"Vetenskapsr\u00e5det","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004063","name":"Knut och Alice Wallenbergs Stiftelse","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004063","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annual Reviews in Control"],"published-print":{"date-parts":[[2024]]},"DOI":"10.1016\/j.arcontrol.2024.100946","type":"journal-article","created":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T10:28:51Z","timestamp":1710584931000},"page":"100946","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["Cooperative control of heterogeneous multi-agent systems under spatiotemporal constraints"],"prefix":"10.1016","volume":"57","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0860-9481","authenticated-orcid":false,"given":"Fei","family":"Chen","sequence":"first","affiliation":[]},{"given":"Mayank","family":"Sewlia","sequence":"additional","affiliation":[]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"6","key":"10.1016\/j.arcontrol.2024.100946_b1","doi-asserted-by":"crossref","first-page":"1611","DOI":"10.1109\/TAC.2014.2381435","article-title":"Graph controllability classes for the Laplacian leader-follower dynamics","volume":"60","author":"Aguilar","year":"2014","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100946_b2","series-title":"2016 IEEE 55th conference on decision and control","first-page":"6565","article-title":"Q-learning for robust satisfaction of signal temporal logic specifications","author":"Aksaray","year":"2016"},{"year":"2008","series-title":"Principles of model checking","author":"Baier","key":"10.1016\/j.arcontrol.2024.100946_b3"},{"issue":"6","key":"10.1016\/j.arcontrol.2024.100946_b4","doi-asserted-by":"crossref","first-page":"926","DOI":"10.1109\/70.736776","article-title":"Behavior-based formation control for multirobot teams","volume":"14","author":"Balch","year":"1998","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"10.1016\/j.arcontrol.2024.100946_b5","series-title":"53rd IEEE conference on decision and control","first-page":"4509","article-title":"Robust model-free formation control with prescribed performance and connectivity maintenance for nonlinear multi-agent systems","author":"Bechlioulis","year":"2014"},{"issue":"9","key":"10.1016\/j.arcontrol.2024.100946_b6","doi-asserted-by":"crossref","first-page":"2090","DOI":"10.1109\/TAC.2008.929402","article-title":"Robust adaptive control of feedback linearizable MIMO nonlinear systems with prescribed performance","volume":"53","author":"Bechlioulis","year":"2008","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100946_b7","doi-asserted-by":"crossref","first-page":"1220","DOI":"10.1109\/TAC.2010.2042508","article-title":"Prescribed performance adaptive control for multi-input multi-output affine in the control nonlinear systems","volume":"55","author":"Bechlioulis","year":"2010","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100946_b8","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1016\/j.automatica.2014.02.020","article-title":"A low-complexity global approximation-free control scheme with prescribed performance for unknown pure feedback systems","volume":"50","author":"Bechlioulis","year":"2014","journal-title":"Automatica"},{"year":"2017","series-title":"Formal methods for discrete-time dynamical systems","author":"Belta","key":"10.1016\/j.arcontrol.2024.100946_b9"},{"key":"10.1016\/j.arcontrol.2024.100946_b10","doi-asserted-by":"crossref","first-page":"2804","DOI":"10.1109\/LCSYS.2022.3178478","article-title":"Funnel MPC with feasibility constraints for nonlinear systems with arbitrary relative degree","volume":"6","author":"Berger","year":"2022","journal-title":"IEEE Control Systems Letters"},{"issue":"6","key":"10.1016\/j.arcontrol.2024.100946_b11","doi-asserted-by":"crossref","first-page":"3358","DOI":"10.1137\/21M1431655","article-title":"Funnel model predictive control for nonlinear systems with relative degree one","volume":"60","author":"Berger","year":"2022","journal-title":"SIAM Journal on Control and Optimization"},{"key":"10.1016\/j.arcontrol.2024.100946_b12","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/j.automatica.2017.10.017","article-title":"Funnel control for nonlinear systems with known strict relative degree","volume":"87","author":"Berger","year":"2018","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2024.100946_b13","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2020.109061","article-title":"Funnel cruise control","volume":"119","author":"Berger","year":"2020","journal-title":"Automatica"},{"issue":"11","key":"10.1016\/j.arcontrol.2024.100946_b14","doi-asserted-by":"crossref","first-page":"5099","DOI":"10.1016\/j.jfranklin.2014.08.006","article-title":"Zero dynamics and funnel control for linear electrical circuits","volume":"351","author":"Berger","year":"2014","journal-title":"Journal of the Franklin Institute"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100946_b15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3433994","article-title":"Offline and online learning of signal temporal logic formulae using decision trees","volume":"5","author":"Bombara","year":"2021","journal-title":"ACM Transactions on Cyber-Physical Systems"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100946_b16","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1049\/ip-sen:19971023","article-title":"Application of multi-agent systems in traffic and transportation","volume":"144","author":"Burmeister","year":"1997","journal-title":"IEE Proceedings-Software"},{"key":"10.1016\/j.arcontrol.2024.100946_b17","series-title":"2021 American control conference","first-page":"4873","article-title":"Control synthesis using signal temporal logic specifications with integral and derivative predicates","author":"Buyukkocak","year":"2021"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100946_b18","doi-asserted-by":"crossref","first-page":"1375","DOI":"10.1109\/LRA.2021.3057049","article-title":"Planning of heterogeneous multi-agent systems under signal temporal logic specifications with integral predicates","volume":"6","author":"Buyukkocak","year":"2021","journal-title":"IEEE Robotics and Automation Letters"},{"key":"10.1016\/j.arcontrol.2024.100946_b19","series-title":"2022 European control conference","first-page":"162","article-title":"Control barrier functions with actuation constraints under signal temporal logic specifications","author":"Buyukkocak","year":"2022"},{"key":"10.1016\/j.arcontrol.2024.100946_b20","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.sysconle.2015.05.007","article-title":"Leader\u2013follower consensus of linear multi-agent systems with unknown external disturbances","volume":"82","author":"Cao","year":"2015","journal-title":"Systems & Control Letters"},{"key":"10.1016\/j.arcontrol.2024.100946_b21","article-title":"Receding horizon control with online barrier function design under signal temporal logic specifications","author":"Charitidou","year":"2022","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100946_b22","series-title":"2019 IEEE 58th conference on decision and control","first-page":"4785","article-title":"Consensus control for leader-follower multi-agent systems under prescribed performance guarantees","author":"Chen","year":"2019"},{"issue":"20","key":"10.1016\/j.arcontrol.2024.100946_b23","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.ifacol.2019.12.136","article-title":"Second order consensus for leader-follower multi-agent systems with prescribed performance","volume":"52","author":"Chen","year":"2019","journal-title":"IFAC-PapersOnLine"},{"key":"10.1016\/j.arcontrol.2024.100946_b24","series-title":"2020 59th IEEE conference on decision and control","first-page":"4023","article-title":"Further results on leader-follower multi-agent formation control with prescribed performance guarantees","author":"Chen","year":"2020"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100946_b25","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1109\/TCNS.2020.3029155","article-title":"Leader\u2013follower formation control with prescribed performance guarantees","volume":"8","author":"Chen","year":"2020","journal-title":"IEEE Transactions on Control of Network Systems"},{"key":"10.1016\/j.arcontrol.2024.100946_b26","series-title":"2022 European control conference","first-page":"906","article-title":"Funnel-based cooperative control of leader-follower multi-agent systems under signal temporal logic specifications","author":"Chen","year":"2022"},{"key":"10.1016\/j.arcontrol.2024.100946_b27","doi-asserted-by":"crossref","unstructured":"Chen, F., & Dimarogonas, D. V. (2023a). Distributed Control of Coupled Leader-follower Multi-agent Systems under Spatiotemporal Logic Tasks. In IFAC world congress 2023.","DOI":"10.1016\/j.ifacol.2023.10.898"},{"year":"2023","series-title":"On topological conditions for enabling transient control in leader-follower networks","author":"Chen","key":"10.1016\/j.arcontrol.2024.100946_b28"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100946_b29","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1109\/TRA.2004.824698","article-title":"Coverage control for mobile sensing networks","volume":"20","author":"Cortes","year":"2004","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100946_b30","doi-asserted-by":"crossref","first-page":"4237","DOI":"10.1109\/TIE.2017.2758743","article-title":"Platoon formation control with prescribed performance guarantees for USVs","volume":"65","author":"Dai","year":"2017","journal-title":"IEEE Transactions on Industrial Electronics"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100946_b31","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1016\/j.automatica.2010.01.012","article-title":"Stability analysis for multi-agent systems using the incidence matrix: quantized communication and formation control","volume":"46","author":"Dimarogonas","year":"2010","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2024.100946_b32","series-title":"International conference on formal modeling and analysis of timed systems","first-page":"92","article-title":"Robust satisfaction of temporal logic over real-valued signals","author":"Donz\u00e9","year":"2010"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100946_b33","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/MCS.2012.2195411","article-title":"Interacting with networks: How does structure relate to controllability in single-leader, consensus networks?","volume":"32","author":"Egerstedt","year":"2012","journal-title":"IEEE Control Systems"},{"issue":"42","key":"10.1016\/j.arcontrol.2024.100946_b34","doi-asserted-by":"crossref","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","article-title":"Robustness of temporal logic specifications for continuous-time signals","volume":"410","author":"Fainekos","year":"2009","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.arcontrol.2024.100946_b35","series-title":"2011 50th IEEE conference on decision and control and European control conference","first-page":"7188","article-title":"Algorithms for leader selection in large dynamical networks: Noise-free leaders","author":"Fardad","year":"2011"},{"year":"2003","series-title":"Information flow and cooperative control of vehicle formations","author":"Fax","key":"10.1016\/j.arcontrol.2024.100946_b36"},{"key":"10.1016\/j.arcontrol.2024.100946_b37","series-title":"2016 European control conference","first-page":"1550","article-title":"Optimal leader selection for controllability and robustness in multi-agent networks","author":"Fitch","year":"2016"},{"key":"10.1016\/j.arcontrol.2024.100946_b38","series-title":"International workshop on multi-agent systems and agent-based simulation","first-page":"17","article-title":"Large-scale multi-agent-based modeling and simulation of microblogging-based online social network","author":"Gatti","year":"2013"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100946_b39","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/LCSYS.2020.3001875","article-title":"A smooth robustness measure of signal temporal logic for symbolic control","volume":"5","author":"Gilpin","year":"2020","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.arcontrol.2024.100946_b40","doi-asserted-by":"crossref","unstructured":"Goldin, D., & Raisch, J. (2010). Controllability of second order leader-follower systems. In 2nd IFAC workshop on distributed estimation and control in networked systems 2010-necSys 10 (pp. 233\u2013238).","DOI":"10.3182\/20100913-2-FR-4014.00074"},{"key":"10.1016\/j.arcontrol.2024.100946_b41","series-title":"Proceedings 2002 IEEE international conference on artificial intelligence systems","first-page":"297","article-title":"The multi-agent systems for computer network security assurance: frameworks and case studies","author":"Gorodetski","year":"2002"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100946_b42","doi-asserted-by":"crossref","first-page":"781","DOI":"10.1109\/TCNS.2016.2555581","article-title":"Hybrid control of multiagent systems with contingent temporal tasks and prescribed formation constraints","volume":"4","author":"Guo","year":"2016","journal-title":"IEEE Transactions on Control of Network Systems"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100946_b43","doi-asserted-by":"crossref","first-page":"965","DOI":"10.1137\/100799903","article-title":"Funnel control for systems with relative degree two","volume":"51","author":"Hackl","year":"2013","journal-title":"SIAM Journal on Control and Optimization"},{"key":"10.1016\/j.arcontrol.2024.100946_b44","series-title":"2019 IEEE 58th conference on decision and control","first-page":"4361","article-title":"Control from signal temporal logic specifications with smooth cumulative quantitative semantics","author":"Haghighi","year":"2019"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100946_b45","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1002\/rnc.1814","article-title":"Distributed output regulation of leader\u2013follower multi-agent systems","volume":"23","author":"Hong","year":"2013","journal-title":"International Journal of Robust and Nonlinear Control"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100946_b46","doi-asserted-by":"crossref","first-page":"532","DOI":"10.1109\/TAC.2009.2037475","article-title":"Funnel control with saturation: Linear MIMO systems","volume":"55","author":"Hopfe","year":"2010","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"9","key":"10.1016\/j.arcontrol.2024.100946_b47","doi-asserted-by":"crossref","first-page":"2177","DOI":"10.1109\/TAC.2010.2051735","article-title":"Funnel control with saturation: Nonlinear SISO systems","volume":"55","author":"Hopfe","year":"2010","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"8","key":"10.1016\/j.arcontrol.2024.100946_b48","doi-asserted-by":"crossref","first-page":"1382","DOI":"10.1016\/j.automatica.2010.05.020","article-title":"Distributed tracking control of leader\u2013follower multi-agent systems under noisy measurement","volume":"46","author":"Hu","year":"2010","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2024.100946_b49","series-title":"2022 European control conference","first-page":"227","article-title":"Funnel control for relative degree one nonlinear systems with input saturation","author":"Hu","year":"2022"},{"key":"10.1016\/j.arcontrol.2024.100946_b50","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1051\/cocv:2002064","article-title":"Tracking with prescribed transient behaviour","volume":"7","author":"Ilchmann","year":"2002","journal-title":"ESAIM. Control, Optimisation and Calculus of Variations"},{"key":"10.1016\/j.arcontrol.2024.100946_b51","series-title":"Proceedings of the 2004 IEEE international conference on control applications, 2004, vol. 2","first-page":"1032","article-title":"Adaptive tracking within prescribed funnels","author":"Ilchmann","year":"2004"},{"issue":"7","key":"10.1016\/j.arcontrol.2024.100946_b52","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1016\/j.sysconle.2004.11.005","article-title":"Tracking control: Performance funnels and prescribed transient behaviour","volume":"54","author":"Ilchmann","year":"2005","journal-title":"Systems & Control Letters"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100946_b53","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/j.sysconle.2004.05.014","article-title":"Input constrained funnel control with applications to chemical reactor models","volume":"53","author":"Ilchmann","year":"2004","journal-title":"Systems & Control Letters"},{"key":"10.1016\/j.arcontrol.2024.100946_b54","series-title":"American control conference, 2006","first-page":"6","article-title":"Leader-based multi-agent coordination: Controllability and optimal control","author":"Ji","year":"2006"},{"key":"10.1016\/j.arcontrol.2024.100946_b55","series-title":"Decision and control (CDC), 2012 IEEE 51st annual conference on","first-page":"2219","article-title":"Multi-agent average consensus control with prescribed performance guarantees","author":"Karayiannidis","year":"2012"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100946_b56","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1016\/j.robot.2011.10.007","article-title":"Model-free robot joint position regulation and tracking with prescribed performance guarantees","volume":"60","author":"Karayiannidis","year":"2012","journal-title":"Robotics and Autonomous Systems"},{"key":"10.1016\/j.arcontrol.2024.100946_b57","series-title":"2016 24th mediterranean conference on control and automation","first-page":"1077","article-title":"Output feedback leader-follower with prescribed performance guarantees for a class of unknown nonlinear multi-agent systems","author":"Katsoukis","year":"2016"},{"key":"10.1016\/j.arcontrol.2024.100946_b58","series-title":"2012 American control conference","first-page":"6053","article-title":"Leader selection via the manipulability of leader-follower networks","author":"Kawashima","year":"2012"},{"issue":"6","key":"10.1016\/j.arcontrol.2024.100946_b59","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","article-title":"Temporal-logic-based reactive mission and motion planning","volume":"25","author":"Kress-Gazit","year":"2009","journal-title":"IEEE Transactions on Robotics"},{"year":"2019","series-title":"Bayesian optimization for polynomial time probabilistically complete STL trajectory synthesis","author":"Kurtz","key":"10.1016\/j.arcontrol.2024.100946_b60"},{"year":"2021","series-title":"Edge-wise funnel output synchronization of heterogeneous agents with relative degree one","author":"Lee","key":"10.1016\/j.arcontrol.2024.100946_b61"},{"key":"10.1016\/j.arcontrol.2024.100946_b62","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2022.110276","article-title":"Synchronization with prescribed transient behavior: Heterogeneous multi-agent systems under funnel coupling","volume":"141","author":"Lee","year":"2022","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2024.100946_b63","article-title":"Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods","author":"Leung","year":"2020","journal-title":"International Journal of Robotics Research"},{"key":"10.1016\/j.arcontrol.2024.100946_b64","series-title":"2009 American control conference","first-page":"3256","article-title":"Leader-follower consensus of multi-agent systems","author":"Li","year":"2009"},{"issue":"12","key":"10.1016\/j.arcontrol.2024.100946_b65","doi-asserted-by":"crossref","first-page":"3126","DOI":"10.1109\/TAC.2013.2277631","article-title":"The bang-bang funnel controller for uncertain nonlinear systems with arbitrary relative degree","volume":"58","author":"Liberzon","year":"2013","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100946_b66","doi-asserted-by":"crossref","first-page":"1874","DOI":"10.1016\/j.ifacol.2020.12.2606","article-title":"Optimization-based motion planning and runtime monitoring for robotic agent with space and time tolerances","volume":"53","author":"Lin","year":"2020","journal-title":"IFAC-PapersOnLine"},{"key":"10.1016\/j.arcontrol.2024.100946_b67","series-title":"2020 IEEE 16th international conference on automation science and engineering","first-page":"779","article-title":"Active learning of signal temporal logic specifications","author":"Linard","year":"2020"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100946_b68","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1109\/LCSYS.2018.2853182","article-title":"Control barrier functions for signal temporal logic tasks","volume":"3","author":"Lindemann","year":"2018","journal-title":"IEEE Control Systems Letters"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100946_b69","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1109\/LCSYS.2019.2917975","article-title":"Control barrier functions for multi-agent systems under conflicting local signal temporal logic tasks","volume":"3","author":"Lindemann","year":"2019","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.arcontrol.2024.100946_b70","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1016\/j.automatica.2019.05.013","article-title":"Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks","volume":"106","author":"Lindemann","year":"2019","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2024.100946_b71","doi-asserted-by":"crossref","DOI":"10.1016\/j.nahs.2020.100973","article-title":"Funnel control for fully actuated systems under a fragment of signal temporal logic specifications","volume":"39","author":"Lindemann","year":"2021","journal-title":"Nonlinear Analysis. Hybrid Systems"},{"key":"10.1016\/j.arcontrol.2024.100946_b72","series-title":"2017 IEEE 56th annual conference on decision and control","first-page":"2997","article-title":"Prescribed performance control for signal temporal logic specifications","author":"Lindemann","year":"2017"},{"key":"10.1016\/j.arcontrol.2024.100946_b73","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1109\/LCSYS.2021.3049917","article-title":"Recurrent neural network controllers for signal temporal logic specifications subject to safety constraints","volume":"6","author":"Liu","year":"2021","journal-title":"IEEE Control Systems Letters"},{"issue":"10","key":"10.1016\/j.arcontrol.2024.100946_b74","doi-asserted-by":"crossref","first-page":"5282","DOI":"10.1109\/TAC.2016.2636749","article-title":"Multi-agent second order average consensus with prescribed transient behavior","volume":"62","author":"Macellari","year":"2017","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100946_b75","series-title":"2018 IEEE conference on decision and control","first-page":"1542","article-title":"Metrics for signal temporal logic formulae","author":"Madsen","year":"2018"},{"key":"10.1016\/j.arcontrol.2024.100946_b76","series-title":"Formal techniques, modelling and analysis of timed and fault-tolerant systems","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","author":"Maler","year":"2004"},{"key":"10.1016\/j.arcontrol.2024.100946_b77","series-title":"2019 American control conference","first-page":"1690","article-title":"Arithmetic-geometric mean robustness for control from signal temporal logic specifications","author":"Mehdipour","year":"2019"},{"key":"10.1016\/j.arcontrol.2024.100946_b78","series-title":"2019 IEEE 58th conference on decision and control","first-page":"5312","article-title":"Average-based robustness for continuous-time signal temporal logic","author":"Mehdipour","year":"2019"},{"issue":"6","key":"10.1016\/j.arcontrol.2024.100946_b79","doi-asserted-by":"crossref","first-page":"2006","DOI":"10.1109\/LCSYS.2020.3047362","article-title":"Specifying user preferences using weighted signal temporal logic","volume":"5","author":"Mehdipour","year":"2020","journal-title":"IEEE Control Systems Letters"},{"year":"2010","series-title":"Graph theoretic methods in multiagent networks","author":"Mesbahi","key":"10.1016\/j.arcontrol.2024.100946_b80"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100946_b81","doi-asserted-by":"crossref","first-page":"1035","DOI":"10.1016\/j.automatica.2011.01.077","article-title":"Containment in leader\u2013follower networks with switching communication topologies","volume":"47","author":"Notarstefano","year":"2011","journal-title":"Automatica"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100946_b82","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1109\/TAC.2005.864190","article-title":"Flocking for multi-agent dynamic systems: Algorithms and theory","volume":"51","author":"Olfati-Saber","year":"2006","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100946_b83","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/JPROC.2006.887293","article-title":"Consensus and cooperation in networked multi-agent systems","volume":"95","author":"Olfati-Saber","year":"2007","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/j.arcontrol.2024.100946_b84","series-title":"49th IEEE conference on decision and control","first-page":"2692","article-title":"Leader selection for optimal network coherence","author":"Patterson","year":"2010"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100946_b85","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1109\/TCNS.2016.2520201","article-title":"Optimal k-leader selection for coherence and convergence rate in one-dimensional networks","volume":"4","author":"Patterson","year":"2016","journal-title":"IEEE Transactions on Control of Network Systems"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100946_b86","doi-asserted-by":"crossref","first-page":"1752","DOI":"10.1109\/TCNS.2017.2756346","article-title":"Robustness of leader\u2013follower networked dynamical systems","volume":"5","author":"Pirani","year":"2017","journal-title":"IEEE Transactions on Control of Network Systems"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100946_b87","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1137\/060674909","article-title":"Controllability of multi-agent systems from a graph-theoretic perspective","volume":"48","author":"Rahmani","year":"2009","journal-title":"SIAM Journal on Control and Optimization"},{"key":"10.1016\/j.arcontrol.2024.100946_b88","doi-asserted-by":"crossref","unstructured":"Raman, V., Donz\u00e9, A., Maasoumy, M., Murray, R. M., Sangiovanni-Vincentelli, A., & Seshia, S. A. (2014). Model predictive control with signal temporal logic specifications. In 53rd IEEE conference on decision and control (pp. 81\u201387).","DOI":"10.1109\/CDC.2014.7039363"},{"key":"10.1016\/j.arcontrol.2024.100946_b89","doi-asserted-by":"crossref","unstructured":"Raman, V., Donz\u00e9, A., Sadigh, D., Murray, R. M., & Seshia, S. A. (2015). Reactive synthesis from signal temporal logic specifications. In Proceedings of the 18th international conference on hybrid systems: computation and control (pp. 239\u2013248).","DOI":"10.1145\/2728606.2728628"},{"key":"10.1016\/j.arcontrol.2024.100946_b90","series-title":"2015 53rd annual allerton conference on communication, control, and computing","first-page":"772","article-title":"Robust temporal logic model predictive control","author":"Sadraddini","year":"2015"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100946_b91","doi-asserted-by":"crossref","first-page":"11561","DOI":"10.1109\/LRA.2022.3200760","article-title":"Cooperative object manipulation under signal temporal logic tasks and uncertain dynamics","volume":"7","author":"Sewlia","year":"2022","journal-title":"IEEE Robotics and Automation Letters"},{"key":"10.1016\/j.arcontrol.2024.100946_b92","series-title":"2015 54th IEEE conference on decision and control","first-page":"2229","article-title":"A preliminary result on synchronization of heterogeneous agents via funnel control","author":"Shim","year":"2015"},{"year":"2008","series-title":"Springer handbook of robotics","author":"Siciliano","key":"10.1016\/j.arcontrol.2024.100946_b93"},{"issue":"10","key":"10.1016\/j.arcontrol.2024.100946_b94","doi-asserted-by":"crossref","first-page":"5457","DOI":"10.1109\/TAC.2017.2697202","article-title":"Controllability of multiagent networks with antagonistic interactions","volume":"62","author":"Sun","year":"2017","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100946_b95","series-title":"43rd IEEE conference on decision and control, vol. 3","first-page":"2467","article-title":"On the controllability of nearest neighbor interconnections","author":"Tanner","year":"2004"},{"key":"10.1016\/j.arcontrol.2024.100946_b96","doi-asserted-by":"crossref","unstructured":"Vasile, C.-I., Raman, V., & Karaman, S. (2017). Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. In 2017 IEEE\/RSJ international conference on intelligent robots and systems (pp. 3840\u20133847).","DOI":"10.1109\/IROS.2017.8206235"},{"key":"10.1016\/j.arcontrol.2024.100946_b97","series-title":"Learning for dynamics and control","first-page":"308","article-title":"Tractable reinforcement learning of signal temporal logic objectives","author":"Venkataraman","year":"2020"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100946_b98","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1109\/TCST.2017.2658180","article-title":"Robust distributed control protocols for large vehicular platoons with prescribed transient and steady-state performance","volume":"26","author":"Verginis","year":"2018","journal-title":"IEEE Transactions on Control Systems Technology"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100946_b99","doi-asserted-by":"crossref","first-page":"781","DOI":"10.1007\/s10514-017-9672-7","article-title":"Timed abstractions for distributed cooperative manipulation","volume":"42","author":"Verginis","year":"2018","journal-title":"Autonomous Robots"},{"key":"10.1016\/j.arcontrol.2024.100946_b100","series-title":"2019 IEEE 58th conference on decision and control","first-page":"3833","article-title":"Adaptive leader-follower coordination of lagrangian multi-agent systems under transient constraints","author":"Verginis","year":"2019"},{"key":"10.1016\/j.arcontrol.2024.100946_b101","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1016\/j.automatica.2019.02.034","article-title":"Robust formation control in SE (3) for tree-graph structures with prescribed transient and steady state performance","volume":"103","author":"Verginis","year":"2019","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2024.100946_b102","series-title":"2021 American control conference","first-page":"4886","article-title":"High order control lyapunov-barrier functions for temporal logic specifications","author":"Xiao","year":"2021"},{"key":"10.1016\/j.arcontrol.2024.100946_b103","series-title":"2020 American control conference","first-page":"4612","article-title":"Continuous-time signal temporal logic planning with control barrier functions","author":"Yang","year":"2020"},{"issue":"12","key":"10.1016\/j.arcontrol.2024.100946_b104","doi-asserted-by":"crossref","first-page":"4125","DOI":"10.1109\/TAC.2016.2546180","article-title":"Graph distances and controllability of networks","volume":"61","author":"Yaz\u0131c\u0131o\u011flu","year":"2016","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100946_b105","series-title":"American control conference","first-page":"3802","article-title":"Leader selection and network assembly for controllability of leader-follower networks","author":"Yazicio\u011flu","year":"2013"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100946_b106","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1049\/iet-cta.2013.1112","article-title":"Posture regulation for unicycle-like robots with prescribed performance guarantees","volume":"9","author":"Zambelli","year":"2015","journal-title":"IET Control Theory & Applications"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100946_b107","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1109\/TAC.2010.2056730","article-title":"Edge agreement: Graph-theoretic performance bounds and passivity analysis","volume":"56","author":"Zelazo","year":"2011","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100946_b108","series-title":"Decision and control and European control conference (CDC-eCC), 2011 50th IEEE conference on","first-page":"759","article-title":"Controllability of diffusively-coupled multi-agent systems with general and distance regular coupling topologies","author":"Zhang","year":"2011"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100946_b109","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1109\/TAC.2013.2275666","article-title":"Upper and lower bounds for controllable subspaces of networks of diffusively coupled agents","volume":"59","author":"Zhang","year":"2014","journal-title":"IEEE Transactions on Automatic control"}],"container-title":["Annual Reviews in Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1367578824000154?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1367578824000154?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,5,18]],"date-time":"2024-05-18T01:58:25Z","timestamp":1715997505000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1367578824000154"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":109,"alternative-id":["S1367578824000154"],"URL":"https:\/\/doi.org\/10.1016\/j.arcontrol.2024.100946","relation":{},"ISSN":["1367-5788"],"issn-type":[{"type":"print","value":"1367-5788"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Cooperative control of heterogeneous multi-agent systems under spatiotemporal constraints","name":"articletitle","label":"Article Title"},{"value":"Annual Reviews in Control","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.arcontrol.2024.100946","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2024 The Author(s). Published by Elsevier Ltd.","name":"copyright","label":"Copyright"}],"article-number":"100946"}}