Leader-follower hybrid control and task planning for multi-agent systems under spatiotemporal logic specifications

Información del proyecto

LEAFHOUND

Identificador del acuerdo de subvención: 864720

DOI

10.3030/864720

Fecha de la firma de la CE 7 Febrero 2020

Fecha de inicio 1 Noviembre 2020

Fecha de finalización 31 Octubre 2026

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 999 996,00

Aportación de la UE

€ 1 999 996,00

Coordinado por

KUNGLIGA TEKNISKA HOEGSKOLAN
Sweden

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Peer reviewed articles (21)

Conformal Prediction for Distribution-Free Optimal Control of Linear Stochastic Systems

Autores: Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas
Publicado en: IEEE Control Systems Letters, Edición 8, 2024, Página(s) 2835-2840, ISSN 2475-1456
Editor: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/lcsys.2024.3514472

Higher Order Barrier Certificates for Leader-Follower Multi-Agent Systems

Autores: Maryam Sharifi, Dimos V. Dimarogonas
Publicado en: IEEE Transactions on Control of Network Systems, Edición October 2022, 2022, ISSN 2325-5870
Editor: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2022.3211669

A Robust, Multiple Control Barrier Function Framework for Input Constrained Systems

Autores: Wenceslao Shaw Cortez, Xiao Tan, Dimos V. Dimarogonas
Publicado en: IEEE Control Systems Letters, Edición Volume: 6; 07 December, 2021, 2021, Página(s) 1742 - 1747, ISSN 2475-1456
Editor: IEEE
DOI: 10.1109/lcsys.2021.3133418

2-D Directed Formation Control Based on Bipolar Coordinates

Autores: Farhad Mehdifar, Charalampos P. Bechlioulis, Julien M. Hendrickx, Dimos V. Dimarogonas
Publicado en: IEEE Transactions on Automatic Control, Edición September 2022, 2022, ISSN 0018-9286
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2022.3206603

Cooperative Object Manipulation Under Signal Temporal Logic Tasks and Uncertain Dynamics

Autores: Mayank Sewlia, Christos K. Verginis, Dimos V. Dimarogonas
Publicado en: IEEE Robotics and Automation Letters, Edición Volume: 7, Edición: 4, October 2022, 2022, Página(s) 11561 - 11568, ISSN 2377-3766
Editor: IEEE
DOI: 10.1109/lra.2022.3200760

Distributed Motion Coordination for Multirobot Systems Under LTL Specifications

Autores: Pian Yu, Dimos V. Dimarogonas
Publicado en: IEEE Transactions on Robotics, Edición Volume: 38, Edición: 2, April 2022, 2021, Página(s) 1047 - 1062, ISSN 1941-0468
Editor: IEEE
DOI: 10.1109/tro.2021.3088764

Distributed MPC With Continuous-Time STL Constraint Satisfaction Guarantees

Autores: Maria Charitidou, Dimos V. Dimarogonas
Publicado en: IEEE Control Systems Letters, Edición 8, 2024, Página(s) 211-216, ISSN 2475-1456
Editor: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/lcsys.2024.3361971

On topological conditions for enabling transient control in leader–follower networks

Autores: Fei Chen, Dimos V. Dimarogonas
Publicado en: Automatica, Edición 166, 2024, Página(s) 111693, ISSN 0005-1098
Editor: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2024.111693

Low-Complexity Control for a Class of Uncertain MIMO Nonlinear Systems under Generalized Time-Varying Output Constraints

Autores: Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas
Publicado en: IEEE Transactions on Automatic Control, 2024, Página(s) 1-16, ISSN 0018-9286
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2024.3524276

Time-Constrained Leader-Follower Multiagent Task Scheduling and Control Synthesis

Autores: Pian Yu, Dimos V. Dimarogonas
Publicado en: IEEE Transactions on Control of Network Systems, Edición Volume: 9, Edición: 1, March 2022, 2021, Página(s) 367 - 379, ISSN 2325-5870
Editor: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2021.3106452

Receding Horizon Control With Online Barrier Function Design Under Signal Temporal Logic Specifications

Autores: Maria Charitidou, Dimos V. Dimarogonas
Publicado en: IEEE Transactions on Automatic Control, Edición Volume: 68, Edición: 6, June 2023, 2023, Página(s) 3545 - 3556, ISSN 0018-9286
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2022.3195470

Event-Triggered Tracking Control of Networked Multiagent Systems

Autores: Wei Ren, Dimos V. Dimarogonas
Publicado en: IEEE Transactions on Automatic Control, Edición Volume: 67, Edición: 10, October 2022, 2022, Página(s) 5332 - 5347, ISSN 0018-9286
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2022.3180789

Leader–Follower Formation Control With Prescribed Performance Guarantees

Autores: Fei Chen, Dimos V. Dimarogonas
Publicado en: IEEE Transactions on Control of Network Systems, Edición Volume: 8, Edición: 1, March 2021, 2020, Página(s) 450 - 461, ISSN 2325-5870
Editor: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2020.3029155

Distributed Implementation of Control Barrier Functions for Multi-agent Systems

Autores: Xiao Tan, Dimos V. Dimarogonas
Publicado en: IEEE Control Systems Letters, Edición Volume: 6; 08 December, 2021, 2021, Página(s) 1879 - 1884, ISSN 2475-1456
Editor: IEEE
DOI: 10.1109/lcsys.2021.3133802

Cooperative control of heterogeneous multi-agent systems under spatiotemporal constraints

Autores: Fei Chen, Mayank Sewlia, Dimos V. Dimarogonas
Publicado en: Annual Reviews in Control, Edición 57, 2024, Página(s) 100946, ISSN 1367-5788
Editor: Pergamon Press Ltd.
DOI: 10.1016/j.arcontrol.2024.100946

A Distributed, Event-Triggered, Adaptive Controller for Cooperative Manipulation With Rolling Contacts

Autores: Wenceslao Shaw Cortez, Christos K. Verginis, Dimos V. Dimarogonas
Publicado en: IEEE Transactions on Robotics, Edición May 2023, 2023, ISSN 1552-3098
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tro.2023.3268595

Signal Temporal Logic Task Decomposition via Convex Optimization

Autores: Maria Charitidou, Dimos V. Dimarogonas
Publicado en: IEEE Control Systems Letters, Edición Volume: 6; 21 June, 2021, 2021, Página(s) 1238 - 1243, ISSN 2475-1456
Editor: IEEE
DOI: 10.1109/lcsys.2021.3090980

Razumikhin and Krasovskii approaches for safe stabilization

Autores: Wei Ren, Raphaël M. Jungers, Dimos V. Dimarogonas
Publicado en: Automatica, Edición Volume 146, December 2022, 2022, ISSN 0005-1098
Editor: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110563

Parallelized robust distributed model predictive control in the presence of coupled state constraints

Autores: Adrian Wiltz, Fei Chen, Dimos V. Dimarogonas
Publicado en: Automatica, Edición 171, 2025, Página(s) 111952, ISSN 0005-1098
Editor: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2024.111952

Virtual leader and distance based formation control with funnel constraints

Autores: Maria Charitidou, Dimos V. Dimarogonas
Publicado en: IEEE Transactions on Control of Network Systems, 2024, Página(s) 1-12, ISSN 2325-5870
Editor: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2024.3516559

Adaptive Cooperative Control for Human-Robot Load Manipulation

Autores: Carlos Rodriguez de Cos, Dimos V. Dimarogonas
Publicado en: IEEE Robotics and Automation Letters, Edición Volume: 7, Edición: 2, April 2022, 2022, Página(s) 5623 - 5630, ISSN 2377-3766
Editor: IEEE
DOI: 10.1109/lra.2022.3158435

Conference proceedings (41)

Construction of Control Barrier Functions Using Predictions with Finite Horizon

Autores: Adrian Wiltz, Xiao Tan, Dimos V. Dimarogonas
Publicado en: 2023 62nd IEEE Conference on Decision and Control (CDC), 2024
Editor: IEEE
DOI: 10.1109/cdc49753.2023.10383564

Corridor MPC: Towards Optimal and Safe Trajectory Tracking

Autores: Pedro Roque, Wenceslao Shaw Cortez, Lars Lindemann, Dimos V. Dimarogonas
Publicado en: American Control Conference (ACC), Edición 8-10 June, 2022, 2022
Editor: IEEE
DOI: 10.23919/acc53348.2022.9867764

Multi-Agent Stochastic Control using Path Integral Policy Improvement

Autores: Peter Varnai, Dimos V. Dimarogonas
Publicado en: American Control Conference (ACC), Edición 8-10 June, 2022, 2022
Editor: IEEE

Edge-based funnel control for multi-agent systems using relative position measurements

Autores: Maria Charitidou, Dimos V. Dimarogonas
Publicado en: 2024 European Control Conference (ECC), 2024, Página(s) 1491-1496
Editor: IEEE
DOI: 10.23919/ecc64448.2024.10590874

Control Barrier Functions for Disjunctions of Signal Temporal Logic Tasks

Autores: Maria Charitidou, Dimos V. Dimarogonas
Publicado en: 2023 European Control Conference (ECC), 2023, Página(s) 1-6
Editor: IEEE
DOI: 10.23919/ecc57647.2023.10178255

Funnel Control Under Hard and Soft Output Constraints

Autores: Farhad Mehdifar, Charalampos P. Bechlioulis, Dimos V. Dimarogonas
Publicado en: 61st IEEE Conference on Decision and Control (CDC), Edición 06-09 December, 2022, 2022, ISBN 978-1-6654-6761-2
Editor: IEEE
DOI: 10.1109/cdc51059.2022.9992628

Leader-Follower Cooperative Manipulation Under Spatio-Temporal Constraints

Autores: Mayank Sewlia, Christos K. Verginis, Dimos V. Dimarogonas
Publicado en: 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2024, Página(s) 10312-10317
Editor: IEEE
DOI: 10.1109/iros58592.2024.10802449

Distributed Control of Coupled Leader-Follower Multi-Agent Systems under Spatiotemporal Logic Tasks

Autores: Fei Chen, Dimos V. Dimarogonas
Publicado en: The 22nd IFAC World Congress, Edición 9 – 14 July, 2023, 2023
Editor: ELSEVIER

Further Results on Leader-follower Multi-agent Formation Control with Prescribed Performance Guarantees

Autores: Fei Chen, Dimos V. Dimarogonas
Publicado en: 59th IEEE Conference on Decision and Control (CDC), Edición 14-18 December 2020, 2020, ISBN 978-1-7281-7447-1
Editor: IEEE
DOI: 10.1109/cdc42340.2020.9304096

Safe, Passive Control for Mechanical Systems with Application to Physical Human-Robot Interactions

Autores: Wenceslao Shaw Cortez, Christos K. Verginis, Dimos V. Dimarogonas
Publicado en: IEEE International Conference on Robotics and Automation (ICRA), Edición 30 May 2021 - 05 June 2021, 2021, ISBN 978-1-7281-9077-8
Editor: IEEE
DOI: 10.1109/icra48506.2021.9561981

Barrier Function-based Model Predictive Control under Signal Temporal Logic Specifications

Autores: Maria Charitidou, Dimos V. Dimarogonas
Publicado en: European Control Conference (ECC), Edición 29 June 2021 - 02 July 2021, 2021, ISBN 978-9-4638-4236-5
Editor: IEEE
DOI: 10.23919/ecc54610.2021.9655231

Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies

Autores: Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
Publicado en: 2024 IEEE 63rd Conference on Decision and Control (CDC), 2025, Página(s) 5211-5217
Editor: IEEE
DOI: 10.1109/cdc56724.2024.10885877

On the Equivalence Between Prescribed Performance Control and Control Barrier Functions

Autores: Ryo Namerikawa, Adrian Wiltz, Farhad Mehdifar, Toru Namerikawa, Dimos V. Dimarogonas
Publicado en: 2024 American Control Conference (ACC), 2024, Página(s) 2458-2463
Editor: IEEE
DOI: 10.23919/acc60939.2024.10644361

Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts

Autores: Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
Publicado en: 61st IEEE Conference on Decision and Control (CDC), Edición 06-09 December, 2022, 2022, ISBN 978-1-6654-6761-2
Editor: IEEE
DOI: 10.1109/cdc51059.2022.9992715

Distributed barrier function-enabled human-in-the-loop control for multi-robot systems

Autores: Victor Nan Fernandez-Ayala, Xiao Tan, Dimos V. Dimarogonas
Publicado en: 2023 IEEE International Conference on Robotics and Automation (ICRA), 2023, Página(s) 7706-7712
Editor: IEEE
DOI: 10.1109/icra48891.2023.10160974

Decentralized Model Predictive Control for Equilibrium-based Collaborative UAV Bar Transportation

Autores: Roberto Castro Sundin, Pedro Roque, Dimos V. Dimarogonas
Publicado en: IEEE International Conference on Robotics and Automation (ICRA), Edición 23-27 May, 2022, 2022
Editor: IEEE

Handling Disjunctions in Signal Temporal Logic Based Control Through Nonsmooth Barrier Functions

Autores: Adrian Wiltz, Dimos V. Dimarogonas
Publicado en: 61st IEEE Conference on Decision and Control (CDC), Edición 06-09 December, 2022, 2022, ISBN 978-1-6654-6761-2
Editor: IEEE
DOI: 10.1109/cdc51059.2022.9992562

Hierarchical Control for Uncertain Discrete-time Nonlinear Systems under Signal Temporal Logic Specifications

Autores: Pian Yu, Dimos V. Dimarogonas
Publicado en: 60th IEEE Conference on Decision and Control (CDC), Edición 14-17 December 2021, 2021, ISSN 2576-2370
Editor: IEEE
DOI: 10.1109/cdc45484.2021.9683157

Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic

Autores: Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas
Publicado en: 2024 IEEE 63rd Conference on Decision and Control (CDC), 2025, Página(s) 1586-1592
Editor: IEEE
DOI: 10.1109/cdc56724.2024.10886279

An Adaptive Cooperative Manipulation Control Framework for Multi-Agent Disturbance Rejection

Autores: Victor Aladele, Carlos R. De Cos, Dimos V. Dimarogonas, Seth Hutchinson
Publicado en: 61st IEEE Conference on Decision and Control (CDC), Edición 06-09 December, 2022, 2022, ISBN 978-1-6654-6761-2
Editor: IEEE
DOI: 10.1109/cdc51059.2022.9992478

Cooperative Sampling-Based Motion Planning under Signal Temporal Logic Specifications

Autores: Mayank Sewlia, Christos K. Verginis, Dimos V. Dimarogonas
Publicado en: American Control Conference (ACC), Edición May 31 - June 2, 2023, 2023
Editor: IEEE

From Time-Invariant to Uniformly Time-Varying Control Barrier Functions: A Constructive Approach

Autores: Adrian Wiltz, Dimos V. Dimarogonas
Publicado en: 2024 IEEE 63rd Conference on Decision and Control (CDC), 2025, Página(s) 8144-8149
Editor: IEEE
DOI: 10.1109/cdc56724.2024.10886042

Reactive and Human-in-the-loop Planning and Control of Multi-robot Systems under LTL Specifications in Dynamic Environments

Autores: Pian Yu, Gianmarco Fedeli, Dimos V. Dimarogonas
Publicado en: 9th International Conference on Control, Decision and Information Technologies (CoDiT), Edición 03 - 06 July, 2023, 2023
Editor: IEEE

A Consistency Constraint-Based Approach to Coupled State Constraints in Distributed Model Predictive Control

Autores: Adrian Wiltz, Fei Chen, Dimos V. Dimarogonas
Publicado en: 61st IEEE Conference on Decision and Control (CDC), Edición 06-09 December, 2022, 2022, ISBN 978-1-6654-6761-2
Editor: IEEE
DOI: 10.1109/cdc51059.2022.9992787

Event-Triggered Tracking Control of Networked and Quantized Control Systems

Autores: Wei Ren, Dimos V. Dimarogonas, Raphaël Jungers
Publicado en: European Control Conference (ECC), Edición 29 June - 02 July, 2021, 2021, ISBN 978-9-4638-4236-5
Editor: IEEE
DOI: 10.23919/ecc54610.2021.9654945

Multi-robot Human-in-the-loop Control under Spatiotemporal Specifications

Autores: Yixiao Zhang, Victor Nan Fernandez-Ayala, Dimos V. Dimarogonas
Publicado en: 2024 IEEE International Conference on Robotics and Automation (ICRA), 2024, Página(s) 4841-4847
Editor: IEEE
DOI: 10.1109/icra57147.2024.10610123

Compatibility checking of multiple control barrier functions for input constrained systems

Autores: Xiao Tan, Dimos V. Dimarogona
Publicado en: 61st IEEE Conference on Decision and Control (CDC), Edición 06-09 December, 2022, 2022, ISBN 978-1-6654-6761-2
Editor: IEEE
DOI: 10.1109/cdc51059.2022.9993001

Predictor-based safety control for systems with multiple time-varying delays

Autores: Maria Charitidou, Dimos V. Dimarogonas
Publicado en: 17th IFAC Workshop on Time Delay Systems, Edición September 27-30, 2022, 2022
Editor: ELSEVIER

Platoons Coordination Based on Decentralized Higher Order Barrier Certificates

Autores: Maryam Sharifi, Dimos V. Dimarogonas
Publicado en: 31st Mediterranean Conference on Control and Automation, Edición June 26 - 29, 2023, 2023
Editor: IEEE

Decentralized Vehicle Coordination and Lane Switching without Switching of Controllers

Autores: Arno Frauenfelder, Adrian Wiltz, Dimos V. Dimarogonas
Publicado en: The 22nd IFAC World Congress, Edición 9 – 14 July, 2023, 2023
Editor: ELSEVIER

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information

Autores: Amr Alanwar, Frank Jiang, Maryam Sharifi, Dimos V. Dimarogonas
Publicado en: IEEE International Conference on Robotics and Automation (ICRA), Edición 23-27 May, 2022, 2022
Editor: IEEE

Funnel-based Cooperative Control of Leader-follower Multi-agent Systems under Signal Temporal Logic Specifications

Autores: Fei Chen, Dimos V. Dimarogonas
Publicado en: European Control Conference (ECC), Edición 12-15 July, 2022, 2022
Editor: IEEE

Control Barrier Functions for Disjunctions of Signal Temporal Logic Tasks

Autores: Maria Charitidou, Dimos V. Dimarogonas
Publicado en: European Control Conference (ECC), Edición 13 - 16 June, 2023, 2023
Editor: IEEE

Enhancing Precision Agriculture Through Human-in-the-Loop Planning and Control

Autores: Shankar A. Deka, Sujet Phodapol, Andreu Matoses Gimenez, Victor Nan Fernandez-Ayala, Rufus Wong, Pian Yu, Xiao Tan, Dimos V. Dimarogonas
Publicado en: 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE), 2024, Página(s) 78-83
Editor: IEEE
DOI: 10.1109/case59546.2024.10711319

Platoons Coordination Based on Decentralized Higher Order Barrier Certificates

Autores: Maryam Sharifi, Dimos V. Dimarogonas
Publicado en: 2023 31st Mediterranean Conference on Control and Automation (MED), Edición https://ieeexplore.ieee.org/document/10185642, 2023, Página(s) 836-841
Editor: IEEE
DOI: 10.1109/med59994.2023.10185642

Splitting and Merging Control of Multiple Platoons with Signal Temporal Logic

Autores: Maria Charitidou, Dimos V. Dimarogonas
Publicado en: IEEE Conference on Control Technology and Applications, Edición 22-25 August, 2022, 2022
Editor: IEEE

Distributed Consensus of Stochastic Multi-agent Systems with Prescribed Performance Constraints

Autores: Pushpak Jagtap, Dimos V. Dimarogonas
Publicado en: 60th IEEE Conference on Decision and Control (CDC), Edición 14-17 December 2021, 2021, ISSN 2576-2370
Editor: IEEE
DOI: 10.1109/cdc45484.2021.9683249

Control of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach

Autores: Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas
Publicado en: 2023 62nd IEEE Conference on Decision and Control (CDC), 2024, Página(s) 6743-6748
Editor: IEEE
DOI: 10.1109/cdc49753.2023.10383359

Fixed-Time Convergent Control Barrier Functions for Coupled Multi-Agent Systems Under STL Tasks

Autores: Maryam Sharifi, Dimos V. Dimarogonas
Publicado en: European Control Conference (ECC), Edición 29 June 2021 - 02 July 2021, 2021, ISBN 978-9-4638-4236-5
Editor: IEEE
DOI: 10.23919/ecc54610.2021.9655029

Distributed Sequential Receding Horizon Control of Multi-Agent Systems Under Recurring Signal Temporal Logic

Autores: Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas
Publicado en: 2024 European Control Conference (ECC), 2024, Página(s) 305-310
Editor: IEEE
DOI: 10.23919/ecc64448.2024.10590994

3D Directed Formation Control with Global Shape Convergence using Bispherical Coordinates

Autores: Omid Mirzaeedodangeh, Farhad Mehdifar, Dimos V. Dimarogonas
Publicado en: 2024 European Control Conference (ECC), 2024, Página(s) 1902-1907
Editor: IEEE
DOI: 10.23919/ecc64448.2024.10591128