Skip to main content

Bottom-up hybrid control and planning synthesis with application to multi-robot multi-human coordination

Publications

Design and Experimental Validation of Tube-based MPC for Timed-constrained Robot Planning

Author(s): Alexandros Nikou, Shahab Heshmati-alamdari, Dimos V. Dimarogonas
Published in: 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE), 2019, Page(s) 1181-1186
DOI: 10.1109/coase.2019.8843167

Reconfigurable Motion Planning and Control in Obstacle Cluttered Environments under Timed Temporal Tasks

Author(s): Christos K. Verginis, Constantinos Vrohidis, Charalampos P. Bechlioulis, Kostas J. Kyriakopoulos, Dimos V. Dimarogonas
Published in: 2019 International Conference on Robotics and Automation (ICRA), 2019, Page(s) 951-957
DOI: 10.1109/icra.2019.8794000

Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems

Author(s): Wei Ren, Dimos V. Dimarogonas
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4343-4348
DOI: 10.1109/cdc40024.2019.9029665

Robust Tube-based Model Predictive Control for Time-constrained Robot Navigation

Author(s): Alexandros Nikou, Dimos V. Dimarogonas
Published in: 2019 American Control Conference (ACC), 2019, Page(s) 1152-1157
DOI: 10.23919/acc.2019.8815253

Asymptotic Stability of Uncertain Lagrangian Systems with Prescribed Transient Response

Author(s): Christos K. Verginis, Dimos V. Dimarogonas
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 7037-7042
DOI: 10.1109/cdc40024.2019.9030217

Symbolic Abstractions for Periodic Event-triggered Linear Control Systems

Author(s): Wei Ren and Dimos V. Dimarogonas
Published in: 2020

Adaptive Leader-Follower Coordination of Lagrangian Multi-Agent Systems under Transient Constraints

Author(s): Christos K. Verginis, Dimos V. Dimarogonas
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 3833-3838
DOI: 10.1109/cdc40024.2019.9029560

Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems

Author(s): Wei Ren, Dimos V. Dimarogonas
Published in: 2019 18th European Control Conference (ECC), 2019, Page(s) 1312-1317
DOI: 10.23919/ecc.2019.8795730

A Tube-based MPC Scheme for Interaction Control of Underwater Vehicle Manipulator Systems

Author(s): Alexandros Nikou, Christos K. Verginis, Dimos V. Dimarogonas
Published in: 2018 IEEE/OES Autonomous Underwater Vehicle Workshop (AUV), 2018, Page(s) 1-6
DOI: 10.1109/auv.2018.8729801

Cooperative task planning of multi-agent systems under timed temporal specifications

Author(s): Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
Published in: 2016 American Control Conference (ACC), 2016, Page(s) 7104-7109
DOI: 10.1109/ACC.2016.7526793

Decomposition of multi-agent planning under distributed motion and task LTL specifications

Author(s): Jana Tumova, Dimos V. Dimarogonas
Published in: 2015 54th IEEE Conference on Decision and Control (CDC), 2015, Page(s) 7448-7453
DOI: 10.1109/CDC.2015.7403396

Robust connectivity analysis for multi-agent systems

Author(s): Dimitris Boskos, Dimos V. Dimarogonas
Published in: 2015 54th IEEE Conference on Decision and Control (CDC), 2015, Page(s) 6767-6772
DOI: 10.1109/CDC.2015.7403285

Decentralized abstractions for feedback interconnected multi-agent systems

Author(s): Dimitris Boskos, Dimos V. Dimarogonas
Published in: 2015 54th IEEE Conference on Decision and Control (CDC), 2015, Page(s) 282-287
DOI: 10.1109/CDC.2015.7402214

Auctioning over Probabilistic Options for Temporal Logic-Based Multi-Robot Cooperation Under Uncertainty

Author(s): Philipp Schillinger, Mathias Burger, Dimos V. Dimarogonas
Published in: 2018 IEEE International Conference on Robotics and Automation (ICRA), 2018, Page(s) 7330-7337
DOI: 10.1109/icra.2018.8462967

Decentralized abstractions and timed constrained planning of a general class of coupled multi-agent systems

Author(s): Alexandros Nikou, Shahab Heshmati-alamdari, Christos K. Verginis, Dimos V. Dimarogonas
Published in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 990-995
DOI: 10.1109/cdc.2017.8263787

Decentralized Control of Uncertain Multi-Agent Systems with Connectivity Maintenance and Collision Avoidance

Author(s): Alexandros Filotheou, Alexandros Nikou, Dimos V. Dimarogonas
Published in: 2018 European Control Conference (ECC), 2018, Page(s) 8-13
DOI: 10.23919/ecc.2018.8550343

Communication-based Decentralized Cooperative Object Transportation Using Nonlinear Model Predictive Control

Author(s): Christos K. Verginis, Alexandros Nikou, Dimos V. Dimarogonas
Published in: 2018 European Control Conference (ECC), 2018, Page(s) 733-738
DOI: 10.23919/ecc.2018.8550305

Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks

Author(s): Lars Lindemann, Dimos V. Dimarogonas
Published in: 2018 Annual American Control Conference (ACC), 2018, Page(s) 1567-1573
DOI: 10.23919/acc.2018.8431695

Human-in-the-Loop Mixed-Initiative Control Under Temporal Tasks

Author(s): Meng Guo, Sofie Andersson, Dimos V. Dimarogonas
Published in: 2018 IEEE International Conference on Robotics and Automation (ICRA), 2018, Page(s) 6395-6400
DOI: 10.1109/icra.2018.8460793

Robust decentralized abstractions for multiple mobile manipulators

Author(s): Christos K. Verginis, Dimos V. Dimarogonas
Published in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 2222-2227
DOI: 10.1109/cdc.2017.8263974

Prescribed performance control for signal temporal logic specifications

Author(s): Lars Lindemann, Christos K. Verginis, Dimos V. Dimarogonas
Published in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 2997-3002
DOI: 10.1109/cdc.2017.8264095

A hybrid barrier certificate approach to satisfy linear temporal logic specifications

Author(s): Andrea Bisoffi, Dimos V. Dimarogonas
Published in: 2018 Annual American Control Conference (ACC), 2018, Page(s) 634-639
DOI: 10.23919/acc.2018.8430795

Optimal Control of Left-Invariant Multi-Agent Systems with Asymmetric Formation Constraints

Author(s): Leonardo J. Colombo, Dimos V. Dimarogonas
Published in: 2018 European Control Conference (ECC), 2018, Page(s) 1728-1733
DOI: 10.23919/ecc.2018.8550238

Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications

Author(s): Sofie Andersson, Dimos V. Dimarogonas
Published in: 2018 European Control Conference (ECC), 2018, Page(s) 453-458
DOI: 10.23919/ecc.2018.8550179

Event-triggered Feedback Control for Signal Temporal Logic Tasks

Author(s): Lars Lindemann, Dipankar Maity, John S. Baras, Dimos V. Dimarogonas
Published in: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 146-151
DOI: 10.1109/cdc.2018.8619000

Energy-aware networked control systems under temporal logic specifications

Author(s): Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Published in: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 132-139
DOI: 10.1109/cdc.2018.8618893

Position and orientation based formation control of multiple rigid bodies with collision avoidance and connectivity maintenance

Author(s): Christos K. Verginis, Alexandras Nikou, Dimos V. Dimarogonas
Published in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 411-416
DOI: 10.1109/cdc.2017.8263699

Abstractions of varying decentralization degree for coupled multi-agent systems

Author(s): Dimitris Boskos, Dimos V. Dimarogonas
Published in: 2016 IEEE 55th Conference on Decision and Control (CDC), 2016, Page(s) 81-86
DOI: 10.1109/CDC.2016.7798250

Synthesizing least-limiting guidelines for safety of semi-autonomous systems

Author(s): Jana Tumova, Dimos V. Dimarogonas
Published in: 2016 IEEE 55th Conference on Decision and Control (CDC), 2016, Page(s) 5714-5719
DOI: 10.1109/CDC.2016.7799147

A Nonlinear Model Predictive Control scheme for cooperative manipulation with singularity and collision avoidance

Author(s): Alexandres Nikou, Christos Verginis, Shahab Heshmati-alamdari, Dimos V. Dimarogonas
Published in: 2017 25th Mediterranean Conference on Control and Automation (MED), 2017, Page(s) 707-712
DOI: 10.1109/MED.2017.7984201

Robust motion planning employing signal temporal logic

Author(s): Lars Lindemann, Dimos V. Dimarogonas
Published in: 2017 American Control Conference (ACC), 2017, Page(s) 2950-2955
DOI: 10.23919/ACC.2017.7963399

Compositional abstraction refinement for control synthesis under lasso-shaped specifications

Author(s): Pierre-Jean Meyer, Dimos V. Dimarogonas
Published in: 2017 American Control Conference (ACC), 2017, Page(s) 523-528
DOI: 10.23919/ACC.2017.7963006

Cooperative planning for coupled multi-agent systems under timed temporal specifications

Author(s): Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
Published in: 2017 American Control Conference (ACC), 2017, Page(s) 1847-1852
DOI: 10.23919/ACC.2017.7963221

A hybrid systems framework for multi agent task planning and control

Author(s): Maria Guinaldo, Dimos V. Dimarogonas
Published in: 2017 American Control Conference (ACC), 2017, Page(s) 1181-1186
DOI: 10.23919/ACC.2017.7963113

Decentralized motion planning with collision avoidance for a team of UAVs under high level goals

Author(s): Christos K. Verginis, Ziwei Xu, Dimos V. Dimarogonas
Published in: 2017 IEEE International Conference on Robotics and Automation (ICRA), 2017, Page(s) 781-787
DOI: 10.1109/ICRA.2017.7989096

Distributed cooperative manipulation under timed temporal specifications

Author(s): Christos K. Verginis, Dimos V. Dimarogonas
Published in: 2017 American Control Conference (ACC), 2017, Page(s) 1358-1363
DOI: 10.23919/ACC.2017.7963141

Multi-objective search for optimal multi-robot planning with finite LTL specifications and resource constraints

Author(s): Philipp Schillinger, Mathias Burger, Dimos V. Dimarogonas
Published in: 2017 IEEE International Conference on Robotics and Automation (ICRA), 2017, Page(s) 768-774
DOI: 10.1109/ICRA.2017.7989094

Abstraction refinement and plan revision for control synthesis under high level specifications

Author(s): Pierre-Jean Meyer, Dimos V. Dimarogonas
Published in: IFAC-PapersOnLine, Issue 50/1, 2017, Page(s) 9254-9259
DOI: 10.1016/j.ifacol.2017.08.1292

Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications

Author(s): Sofie Andersson, Alexandros Nikou, Dimos V. Dimarogonas
Published in: IFAC-PapersOnLine, Issue 50/1, 2017, Page(s) 2397-2402

Using progress sets on non-deterministic transition systems for multiple UAV motion planning

Author(s): Paul Rousse, Pierre-Jean Meyer, Dimos V. Dimarogonas
Published in: IFAC-PapersOnLine, Issue 50/1, 2017, Page(s) 15977-15982

Robust Distance-Based Formation Control of Multiple Rigid Bodies with Orientation Alignment

Author(s): Alexandros Nikou, Christos K. Verginis, Dimos V. Dimarogonas
Published in: IFAC-PapersOnLine, Issue 50/1, 2017, Page(s) 15458-15463

Probabilistic Plan Synthesis for Coupled Multi-Agent Systems

Author(s): Alexandros Nikou, JanaTumova, Dimos V. Dimarogonas
Published in: IFAC-PapersOnLine, Issue 50/1, 2017, Page(s) 10766-10771

Online Abstractions for Interconnected Multi-Agent Control Systems

Author(s): Dimitris Boskos, Dimos V. Dimarogonas
Published in: IFAC-PapersOnLine, Issue 50/1, 2017, Page(s) 15810-15815

Multi-Agent Motion Planning and Object Transportation under High Level Goals

Author(s): Christos K. Verginis, Dimos V. Dimarogonas
Published in: IFAC-PapersOnLine, Issue 50/1, 2017, Page(s) 15816-15821

Robust Trajectory Tracking Control for Underactuated Autonomous Underwater Vehicles

Author(s): Shahab Heshmati-alamdari, Alexandros Nikou, Dimos V. Dimarogonas
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 8311-8316
DOI: 10.1109/cdc40024.2019.9030165

Realtime l 1 -fault-and-state estimation for multi-agent systems

Author(s): Kazumune Hashimoto, Michelle Chong, Dimos V. Dimarogonas
Published in: 2019 American Control Conference (ACC), 2019, Page(s) 1175-1180
DOI: 10.23919/acc.2019.8815068

Smooth Feedback Construction Over Spherical Polytopes

Author(s): Xiao Tan, Soulaimane Berkane, and Dimos V. Dimarogonas
Published in: 2020

Adaptive Cooperative Manipulation with Rolling Contacts

Author(s): Christos K. Verginis, Wenceslao Shaw Cortez, Dimos V. Dimarogonas
Published in: 2020 American Control Conference (ACC), 2020, Page(s) 2735-2740
DOI: 10.23919/acc45564.2020.9147432

Approximately symbolic models for a class of continuous-time nonlinear systems

Author(s): Pian Yu, Dimos V. Dimarogonas
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4349-4354
DOI: 10.1109/cdc40024.2019.9029176

Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks

Author(s): Lars Lindemann, Dimos V. Dimarogonas
Published in: 2019 18th European Control Conference (ECC), 2019, Page(s) 89-94
DOI: 10.23919/ecc.2019.8796109

A Hybrid Controller for Obstacle Avoidance in an $n$-dimensional Euclidean Space

Author(s): Soulaimane Berkane, Andrea Bisoffi, Dimos V. Dimarogonas
Published in: 2019 18th European Control Conference (ECC), 2019, Page(s) 764-769
DOI: 10.23919/ecc.2019.8795713

Energy-Optimal Cooperative Manipulation via Provable Internal-Force Regulation

Author(s): Christos K. Verginis and Dimos V. Dimarogonas
Published in: 2020 IEEE International Conference on Robotics and Automation (ICRA), 2020
DOI: 10.1109/icra40945.2020.9196696

Asymptotic Tracking of Second-Order Nonsmooth Feedback Stabilizable Unknown Systems with Prescribed Transient Response

Author(s): Christos Verginis, Dimos V. Dimarogonas
Published in: IEEE Transactions on Automatic Control, 2020, Page(s) 1-1, ISSN 0018-9286
DOI: 10.1109/tac.2020.3015785

Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks

Author(s): Lars Lindemann, Jakub Nowak, Lukas Schonbachler, Meng Guo, Jana Tumova, Dimos V. Dimarogonas
Published in: IEEE Transactions on Control Systems Technology, 2020, Page(s) 1-8, ISSN 1063-6536
DOI: 10.1109/tcst.2019.2955628

Finite horizon discrete models for multi-agent control systems with coupled dynamics

Author(s): Dimitris Boskos, Dimos V. Dimarogonas
Published in: Automatica, Issue 115, 2020, Page(s) 108838, ISSN 0005-1098
DOI: 10.1016/j.automatica.2020.108838

Scalable time-constrained planning of multi-robot systems

Author(s): Alexandros Nikou, Shahab Heshmati-alamdari, Dimos V. Dimarogonas
Published in: Autonomous Robots, 2020, ISSN 0929-5593
DOI: 10.1007/s10514-020-09937-6

Symbolic abstractions for nonlinear control systems via feedback refinement relation

Author(s): Wei Ren, Dimos V. Dimarogonas
Published in: Automatica, Issue 114, 2020, Page(s) 108828, ISSN 0005-1098
DOI: 10.1016/j.automatica.2020.108828

Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems

Author(s): Dimitris Boskos, Dimos V. Dimarogonas
Published in: SIAM Journal on Control and Optimization, Issue 57/5, 2019, Page(s) 3471-3495, ISSN 0363-0129
DOI: 10.1137/17m1133981

Multi-agent planning under local LTL specifications and event-based synchronization

Author(s): Jana Tumova, Dimos V. Dimarogonas
Published in: Automatica, Issue 70, 2016, Page(s) 239-248, ISSN 0005-1098
DOI: 10.1016/j.automatica.2016.04.006

Decentralized abstractions for multi-agent systems under coupled constraints

Author(s): Dimitris Boskos, Dimos V. Dimarogonas
Published in: European Journal of Control, Issue 45, 2019, Page(s) 1-16, ISSN 0947-3580
DOI: 10.1016/j.ejcon.2018.10.002

Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks

Author(s): Lars Lindemann, Dimos V. Dimarogonas
Published in: Automatica, Issue 106, 2019, Page(s) 284-293, ISSN 0005-1098
DOI: 10.1016/j.automatica.2019.05.013

Robust Cooperative Manipulation Without Force/Torque Measurements: Control Design and Experiments

Author(s): Christos K. Verginis, Matteo Mastellaro, Dimos V. Dimarogonas
Published in: IEEE Transactions on Control Systems Technology, 2019, Page(s) 1-17, ISSN 1063-6536
DOI: 10.1109/tcst.2018.2885682

Control Barrier Functions for Signal Temporal Logic Tasks

Author(s): Lars Lindemann, Dimos V. Dimarogonas
Published in: IEEE Control Systems Letters, Issue 3/1, 2019, Page(s) 96-101, ISSN 2475-1456
DOI: 10.1109/lcsys.2018.2853182

Decentralized tube‐based model predictive control of uncertain nonlinear multiagent systems

Author(s): Alexandros Nikou, Dimos V. Dimarogonas
Published in: International Journal of Robust and Nonlinear Control, Issue 29/10, 2019, Page(s) 2799-2818, ISSN 1049-8923
DOI: 10.1002/rnc.4522

Robust control for signal temporal logic specifications using discrete average space robustness

Author(s): Lars Lindemann, Dimos V. Dimarogonas
Published in: Automatica, Issue 101, 2019, Page(s) 377-387, ISSN 0005-1098
DOI: 10.1016/j.automatica.2018.12.022

Closed-Form Barrier Functions for Multi-Agent Ellipsoidal Systems With Uncertain Lagrangian Dynamics

Author(s): Christos K. Verginis, Dimos V. Dimarogonas
Published in: IEEE Control Systems Letters, Issue 3/3, 2019, Page(s) 727-732, ISSN 2475-1456
DOI: 10.1109/lcsys.2019.2917822

On the timed temporal logic planning of coupled multi-agent systems

Author(s): Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
Published in: Automatica, Issue 97, 2018, Page(s) 339-345, ISSN 0005-1098
DOI: 10.1016/j.automatica.2018.08.023

Aperiodic Sampled-Data Control via Explicit Transmission Mapping: A Set-Invariance Approach

Author(s): Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Published in: IEEE Transactions on Automatic Control, Issue 63/10, 2018, Page(s) 3523-3530, ISSN 0018-9286
DOI: 10.1109/tac.2018.2798802

Robust Self-Triggered MPC with Adaptive Prediction Horizon for Perturbed Nonlinear Systems

Author(s): Zhongqi Sun, Li Dai, Kun Liu, Dimos V. Dimarogonas, Yuanqing Xia
Published in: IEEE Transactions on Automatic Control, 2019, Page(s) 1-1, ISSN 0018-9286
DOI: 10.1109/tac.2019.2905223

Robust formation control in SE ( 3 ) for tree-graph structures with prescribed transient and steady state performance

Author(s): Christos K. Verginis, Alexandros Nikou, Dimos V. Dimarogonas
Published in: Automatica, Issue 103, 2019, Page(s) 538-548, ISSN 0005-1098
DOI: 10.1016/j.automatica.2019.02.034

Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks

Author(s): Lars Lindemann, Dimos V. Dimarogonas
Published in: IEEE Control Systems Letters, Issue 3/3, 2019, Page(s) 757-762, ISSN 2475-1456
DOI: 10.1109/lcsys.2019.2917975

Motion Feasibility Conditions for Multi-Agent Control Systems on Lie Groups

Author(s): Leonardo Jesus Colombo, Dimos V. Dimarogonas
Published in: IEEE Transactions on Control of Network Systems, 2019, Page(s) 1-1, ISSN 2325-5870
DOI: 10.1109/tcns.2019.2925264

Synthesizing communication plans for reachability and safety specifications

Author(s): Kazumune Hashimoto, Dimos V. Dimarogonas
Published in: IEEE Transactions on Automatic Control, 2019, Page(s) 1-1, ISSN 0018-9286
DOI: 10.1109/tac.2019.2910947

Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems

Author(s): Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas
Published in: The International Journal of Robotics Research, Issue 37/7, 2018, Page(s) 818-838, ISSN 0278-3649
DOI: 10.1177/0278364918774135

Timed abstractions for distributed cooperative manipulation

Author(s): Christos K. Verginis, Dimos V. Dimarogonas
Published in: Autonomous Robots, Issue 42/4, 2018, Page(s) 781-799, ISSN 0929-5593
DOI: 10.1007/s10514-017-9672-7

Compositional abstraction refinement for control synthesis

Author(s): Pierre-Jean Meyer, Dimos V. Dimarogonas
Published in: Nonlinear Analysis: Hybrid Systems, Issue 27, 2018, Page(s) 437-451, ISSN 1751-570X
DOI: 10.1016/j.nahs.2017.10.006

Robust decentralised navigation of multi-agent systems with collision avoidance and connectivity maintenance using model predictive controllers

Author(s): Alexandros Filotheou, Alexandros Nikou, Dimos V. Dimarogonas
Published in: International Journal of Control, 2018, Page(s) 1-15, ISSN 0020-7179
DOI: 10.1080/00207179.2018.1514129

A Symbolic Approach to the Self-Triggered Design for Networked Control Systems

Author(s): Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
Published in: IEEE Control Systems Letters, Issue 3/4, 2019, Page(s) 1050-1055, ISSN 2475-1456
DOI: 10.1109/lcsys.2019.2921616

Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems

Author(s): Pierre-Jean Meyer, Dimos V. Dimarogonas
Published in: IEEE Transactions on Automatic Control, 2019, Page(s) 1-1, ISSN 0018-9286
DOI: 10.1109/tac.2019.2902643

Event-triggered intermittent sampling for nonlinear model predictive control

Author(s): Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Published in: Automatica, Issue 81, 2017, Page(s) 148-155, ISSN 0005-1098
DOI: 10.1016/j.automatica.2017.03.028

Robustness and Invariance of Connectivity Maintenance Control for Multiagent Systems

Author(s): Dimitris Boskos, Dimos V. Dimarogonas
Published in: SIAM Journal on Control and Optimization, Issue 55/3, 2017, Page(s) 1887-1914, ISSN 0363-0129
DOI: 10.1137/16m1077064

Task and Motion Coordination for Heterogeneous Multiagent Systems With Loosely Coupled Local Tasks

Author(s): Meng Guo, Dimos V. Dimarogonas
Published in: IEEE Transactions on Automation Science and Engineering, Issue 14/2, 2017, Page(s) 797-808, ISSN 1545-5955
DOI: 10.1109/TASE.2016.2628389

Satisfaction of linear temporal logic specifications through recurrence tools for hybrid systems

Author(s): Andrea Bisoffi, Dimos V. Dimarogonas
Published in: IEEE Transactions on Automatic Control, 2020, Page(s) 1-1, ISSN 0018-9286
DOI: 10.1109/tac.2020.2984724

Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks

Author(s): Lars Lindemann, Dimos V. Dimarogonas
Published in: IEEE Transactions on Control of Network Systems, 2020, Page(s) 1-1, ISSN 2325-5870
DOI: 10.1109/tcns.2020.3014602

Robust Trajectory Tracking Control for Underactuated Autonomous Underwater Vehicles in Uncertain Environments

Author(s): Shahab Heshmati-Alamdari, Alexandros Nikou, Dimos V. Dimarogonas
Published in: IEEE Transactions on Automation Science and Engineering, 2020, Page(s) 1-14, ISSN 1545-5955
DOI: 10.1109/tase.2020.3001183

Constrained attitude maneuvers on S O ( 3 ) : Rotation space sampling, planning and low-level control

Author(s): Xiao Tan, Soulaimane Berkane, Dimos V. Dimarogonas
Published in: Automatica, Issue 112, 2020, Page(s) 108659, ISSN 0005-1098
DOI: 10.1016/j.automatica.2019.108659

Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning

Author(s): Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas
Published in: Distributed Autonomous Robotic Systems - The 13th International Symposium, Issue 6, 2018, Page(s) 253-267
DOI: 10.1007/978-3-319-73008-0_18