Journal Publications

[J23] Decentralized Tube-Based Robust Model Predictive Control for Uncertain Nonlinear Multi-Agent Systems
Alexandros Nikou, Dimos V. Dimarogonas
International Journal of Robust and Nonlinear Control (IJRNC), 2018, (Under Review)

[J22] Robust Cooperative Manipulation without Force/Torque Measurements: Control Design and Experiments
Christos K. Verginis, Matteo Mastellaro, Dimos V. Dimarogonas
IEEE Transaction on Control Systems Technology (TCST), 2018 (Under Review)

[J21] Motion Feasibility Conditions for Multi-Agent Control Systems on Lie Groups
Leonardo Colombo, Dimos V. Dimarogonas
2018, (Under Review)

[J20] Variational Principles for Optimal Control of Left-Invariant Multi-Agent Systems with Asymmetric Formation Constraints
Leonardo Colombo, Dimos V. Dimarogonas
2018, (Under Review)

[J19] Robust Feedback Control Laws for Signal Temporal Logic Specifications
Lars Lindemann, Student Member, Dimos V. Dimarogonas
IEEE Transactions on Automatic Control (TAC), 2017 (Under Review)

[J18] Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems
Pierre-Jean Meyer, Dimos V. Dimarogonas
IEEE Transactions on Automatic Control (TAC), 2017 (Under Review)

[J17] Decentralized Abstractions For Multi-Agent Systems Under Coupled Constraints
Dimitris Boskos, Dimos V. Dimarogonas
2018, (Under Review)

[J16] Abstractions of Varying Decentralization Degree for Reachability of Coupled Multi-Agent Systems
Dimitris Boskos, Dimos V. Dimarogonas
2018, (Under Review)

[J15] Finite Horizon Discrete Models for Multi-Agent Systems with Coupled Dynamics
Dimitris Boskos, Dimos V. Dimarogonas
2018 (Under Review)

[J14] Robust and Abstraction-free Control Strategies for Multi-Agent Systems under Signal Temporal Logic Tasks
Lars Lindemann, Dimos V. Dimarogonas
Automatica, 2018 (Under Review)

[J13] Robust Control for Signal Temporal Logic Specifications using Discrete Average Space Robustness
Lars Lindemann, Dimos V. Dimarogonas
Automatica, 2018 (Under Review)

[J12] Robust Formation Control in SE(3) for Tree-Graph Structures with Prescribed Transient and Steady State Performance
Christos K. Verginis, Alexandros Nikou, Dimos V. Dimarogonas
Automatica, 2018 (Conditionally Accepted)

[J11] Simultaneous Task Allocation and Planning for Temporal Logic Goals in Heterogeneous Multi-Robot System
Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas
The International Journal of Robotics Research (IJRR), Vol. 37, Issue 7, pp. 818-838, 2018

[J10] On the Timed Temporal Logic Planning of Coupled Multi-Agent Systems
Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
Automatica, Vol 97, pp. 339-345, 2018

[J9] Barrier Functions for Signal Temporal Logic Tasks
Lars Lindemann, Dimos V. Dimarogonas
IEEE Control Letters, Vol. 3, Issue 1, January 2019

[J8] Robust Decentralized Navigation of Multi-Agent Systems with Collision Avoidance and Connectivity Maintenance Using Model Predictive Controllers
Alexandros Filotheou, Alexandros Nikou, Dimos V. Dimarogonas
International Journal of Control (IJC), 2018

[J7] Aperiodic Sampled-Data Control via Explicit Transmission Mapping: A Set Invariance Approach
Kazumune Hashimoto, Shuichi Adachi, Dimos V Dimarogonas
IEEE Transactions on Automatic Control (TAC), 2018

[J6] Timed Abstractions for Distributed Cooperative Manipulation
Christos K. Verginis, Dimos V. Dimarogonas
Autonomous Robots, Vol. 42, Issue 2, pp. 781-799, 2017

[J5] Compositional abstraction refinement for control synthesis
Pierre-Jean Meyer, Dimos V. Dimarogonas
Nonlinear Analysis: Hybrid Systems, 2017

[J4] Robustness and Invariance of Connectivity Maintenance Control for Multi-Agent Systems
Dimitris Boskos, Dimos V. Dimarogonas
SIAM: Journal on Control and Optimization (SICON), Vol. 55, Issue 3, pp. 1887-1914, 2017

[J3] Task and Motion Coordination for Heterogeneous Multi-agent Systems with Loosely-coupled Local Tasks
Meng Guo, Dimos V. Dimarogonas
IEEE Transactions on Automation Science and Engineering (TASE), Vol. 14, Issue 2, pp. 797-808, 2017

[J2] Event-Triggered Intermittent Sampling for Nonlinear Model Predictive Control
Kazumune Hashimoto, Shuichi Adachi, Dimos V Dimarogonas
Automatica, Vol. 81, pp. 148-155, 2017

[J1] Multi-Agent Planning Under Local LTL Specifications and Event-Based Synchronization
Jana Tumova, Dimos V. Dimarogonas
Automatica, Vol. 70, pp. 239 - 248, 2016

Peer Reviewed Conference Publications

[C40] Robust Tube-based Model Predictive Control for Timed Constrained Robot Navigation
Alexandros Nikou, Dimos V. Dimarogonas
American Control Conference (ACC), Philadelphia, USA, July 2019 (Under Review)

[C39] Adaptive Leader-Follower Coordination of Lagrangian Multi-Robot Systems under Transient Constraints
Christos K. Verginis, Dimos V. Dimarogonas
IEEE International Conference on Robotics and Automation (ICRA), Montreal, Canada, May 2019 (Under Review)

[C38] A Tube-based Nonlinear MPC Scheme for Underwater Vehicle Manipulator Systems in Interaction with Compliant Environments
Alexandros Nikou, Christos K. Verginis, Dimos V. Dimarogonas
IEEE OES Autonomous Underwater Vehicle Symposium (AUVS), Porto, Portugal, November 2018 (To Appear)

[C37] Energy-aware Networked Control Systems Under Temporal Logic Specifications
Kazumune Hashimoto, Dimos V. Dimarogonas
57th IEEE Conference on Decision and Control (CDC), Miami, USA, December 2018

[C36] Event-triggered Feedback Control for Signal Temporal Logig Tasks
Lars Lindemann, Dipankar Maity, John Baras, Dimos V. Dimarogonas
57th IEEE Conference on Decision and Control (CDC), Miami, USA, December 2018

[C35] Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications
Sofie Andersson, Dimos V. Dimarogonas
European Control Conference (ECC), Limassol, Cyprus, June 2018

[C34] Optimal Control of Left-Invariant Multi-Agent Systems with Asymmetric Formation Constraints
Leonardo Colombo, Dimos V. Dimarogonas
European Control Conference (ECC), Limassol, Cyprus, June 2018

[C33] Communication-based Decentralized Cooperative Object Transportation Using Nonlinear Model Predictive Control
Christos K. Verginis, Alexandros Nikou, Dimos V. Dimarogonas
European Control Conference (ECC), Limassol, Cyprus, June 2018

[C32] Decentralized Control of Uncertain Multi-Agent Systems with Connectivity Maintenance and Collision Avoidance
Alexandros Filotheou, Alexandros Nikou, Dimos V. Dimarogonas
European Control Conference (ECC), Limassol, Cyprus, June 2018

[C31] Improving Multi-Robot Behavior Using Learning-Based Receding Horizon Task Allocation
Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas Robotics: Science and Systems (RSS), Pittsburgh, Pennsylvania, USA, June 2018

[C30] Auctioning over Probabilistic Options for Temporal Logic-Based Multi-Robot Cooperation under Uncertainty
Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas IEEE International Conference on Robotics and Automation (ICRA), Brisbane, Australia, May 2018

[C29] Human-in-the-Loop Mixed-Initiative Control under Temporal Tasks
Meng Guo, Sofie Andersson, Dimos V. Dimarogonas
IEEE International Conference on Robotics and Automation (ICRA), Brisbane, Australia, May 2018

[C28] A Hybrid Barrier Certificate Approach to Satisfy Linear Temporal Logic Specifications
Andrea Bisoffi, Dimos V. Dimarogonas
American Control Conference (ACC), Milwaukee, USA, June 2018

[C27] Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks
Lars Lindemann, Dimos V. Dimarogonas
American Control Conference (ACC), Milwaukee, USA, June 2018

[C26] Prescribed Performance Control for Signal Temporal Logic Specifications
Lars Lindemann, Christos K. Verginis, Dimos V. Dimarogonas
56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December 2017

[C25] Position and Orientation Based Formation Control of Multiple Rigid Bodies with Collision Avoidance and Connectivity Maintenance
Christos K. Verginis, Alexandros Nikou, Dimos V. Dimarogonas
56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December 2017

[C24] Decentralized Abstractions and Timed Constrained Planning of a General Class of Coupled Multi-Agent Systems
Alexandros Nikou, Shahab Heshmati-alamdari, Christos K. Verginis, Dimos V. Dimarogonas
56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December 2017

[C23] Robust Decentralized Abstractions for Multiple Mobile Manipulators
Christos K. Verginis, D. V. Dimarogonas
56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia, December 2017

[C22] Multi-Objective Search for Optimal Multi-Robot Planning with Finite LTL Specifications and Resource Constraints
Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas
IEEE International Conference on Robotics and Automation (ICRA), Singapore, May 2017

[C21] Decentralized Motion Planning with Collision Avoidance for a Team of UAVs under High Level Goals
Christos K. Verginis, Ziwei Xu, Dimos V. Dimarogonas
IEEE International Conference on Robotics and Automation (ICRA), Singapore, May 2017

[C20] Distributed Cooperative Manipulation under Timed Temporal Specifications
Christos K. Verginis, Dimos V. Dimarogonas
American Control Conference (ACC), May 24-26, Seattle, WA, USA, 2017

[C19] A Hybrid Systems Framework for Multi Agent Task Planning and Control
Maria Guinaldo, Dimos V. Dimarogonas
American Control Conference (ACC), May 24-26, Seattle, WA, USA, 2017

[C18] Cooperative Planning Synthesis for Coupled Multi-Agent Systems Under Timed Temporal Specifications
Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
American Control Conference (ACC), Seattle, WA, USA, May, 2017

[C17] Compositional Abstraction Refinement for Control Synthesis under Lasso-Shaped Specifications
Pierre-Jean Meyer, Dimos V. Dimarogonas
American Control Conference (ACC), Seattle, WA, USA, May, 2017

[C16] Robust Motion Planning Employing Signal Temporal Logic
Lars Lindemann, Dimos V. Dimarogonas
American Control Conference (ACC), Seattle, WA, USA, May, 2017

[C15] Multi-Agent Motion Planning and Object Transportation under High Level Goals
Christos K. Verginis, Dimos. V. Dimarogonas
20th World Congress of the International Federation of Automatic Control (IFAC WC), Toulouse, France, 2017

[C14] Online Abstractions for Interconnected Multi-Agent Control Systems
Dimitris Boskos, Dimos V. Dimarogonas
20th World Congress of the International Federation of Automatic Control (IFAC WC), Toulouse, France, 2017

[C13] Robust Distance-Based Formation Control of Multiple Rigid Bodies with Orientation Alignment
Alexandros Nikou, Christos K. Verginis, Dimos V. Dimarogonas
20th World Congress of the International Federation of Automatic Control (IFAC WC), Toulouse, France, 2017

[C12] Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
Sofie Andersson, Alexandros Nikou, Dimos V. Dimarogonas
20th World Congress of the International Federation of Automatic Control (IFAC WC), Toulouse, France, 2017

[C11] Probabilistic Plan Synthesis for Coupled Multi-Agent Systems
Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
20th World Congress of the International Federation of Automatic Control (IFAC WC), Toulouse, France, 2017

[C10] Abstraction Refinement and Plan Revision For Control Synthesis Under High Level Specifications
Pierre-Jean Meyer, Dimos V. Dimarogonas
20th World Congress of the International Federation of Automatic Control (IFAC WC), Toulouse, France, 2017

[C9] Using Progress Sets on Non-Deterministic Transition Systems for Multiple UAV Motion Planning
Paul Rousse, Pierre-Jean Meyer, Dimos V. Dimarogonas
20th World Congress of the International Federation of Automatic Control (IFAC WC), Toulouse, France, 2017

[C8] A Nonlinear Model Predictive Control Scheme for Cooperative Manipulation with Singularity and Collision Avoidance
Alexandros Nikou, Christos Verginis, Shahab Heshmati-alamdari, Dimos V. Dimarogonas
25th IEEE Mediterranean Conference on Control and Automation (MED), Valletta, Malta, June 2017

[C7] Decomposition of Finite LTL Specifications for Efficient Multi-Agent Planning
Philipp Schillinger, Mattias Bürger, Dimos V. Dimarogonas
13th International Symposium on Distributed Autonomous Robotic Systems (DARS), London, UK, November 2016

[C6] Cooperative Task Planning Synthesis for Multi-Agent Systems Under Timed Temporal Specifications
Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
American Control Conference (ACC), Boston, MA, USA, July 2016

[C5] Synthesizing Least-Limiting Guidelines for Safety of Semi-Autonomous Systems
Jana Tumova, Dimos V. Dimarogonas
55th IEEE Conference on Decision and Control (CDC), Las Vegas, USA, December, 2016

[C4] Abstractions of Varying Decentralization Degree for Coupled Multi-Agent Systems
Dimitris Boskos, Dimos V. Dimarogonas
55th IEEE Conference on Decision and Control (CDC), Las Vegas, USA, December, 2016

[C3] Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications
Jana Tumova, Dimos V. Dimarogonas
54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015

[C2] Decentralized Abstractions for Feedback Interconnected Multi-Agent Systems
Dimitris Boskos, Dimos V. Dimarogonas
54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015

[C1] Robust Connectivity Analysis for Multi-Agent Systems
Dimitris Boskos, Dimos V. Dimarogonas
54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, December 2015