Journal Publications

[J20] Motion and Cooperative Transportation Planning for Multi-Agent Systems under Temporal Logic Formulas
Christos K. Verginis, Dimos V. Dimarogonas
IEEE Transactions on Automation Science and Engineering (TASE), 2018 (Under Review)

[J19] 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)

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

[J17] 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 (Under Review)

[J16] 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)

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

[J14] On the Timed Temporal Logic Planning of Coupled Multi-Agent Systems
Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
Automatica, 2017 (Under Review)

[J13] Robust Decentralized Navigation of Multi-Agent Systems with Connectivity Maintenance and Collision Avoidance Using Model Predictive Controllers
Alexandros Filotheou, Alexandros Nikou, Dimos V. Dimarogonas
2017, (Under Review)

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

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

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

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

[J8] 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), 2017 (Under Review)

[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, 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), 55(3), 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(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

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

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

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

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

[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, June 2018 (To appear)

[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 (To appear)

[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 (To appear)

[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
2017 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