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

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

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, ISBN 978-1-7281-0356-3
Publisher: IEEE
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, ISBN 978-1-5386-6027-0
Publisher: IEEE
DOI: 10.1109/icra.2019.8794000

Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Hard and Soft Metric Interval Temporal Logic Specifications *

Author(s): Sofie Ahlberg, Dimos V. Dimarogonas
Published in: 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE), 2019, Page(s) 788-793, ISBN 978-1-7281-0356-3
Publisher: IEEE
DOI: 10.1109/coase.2019.8842954

Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications

Author(s): Lars Lindemann, Dimos V. Dimarogonas
Published in: 2020 American Control Conference (ACC), 2020, Page(s) 4707-4714, ISBN 978-1-5386-8266-1
Publisher: IEEE
DOI: 10.23919/acc45564.2020.9147796

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, ISBN 978-1-7281-1398-2
Publisher: IEEE
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, ISBN 978-1-5386-7926-5
Publisher: IEEE
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, ISBN 978-1-7281-1398-2
Publisher: IEEE
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
Publisher: IEEE

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, ISBN 978-1-7281-1398-2
Publisher: IEEE
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, ISBN 978-3-907144-00-8
Publisher: IEEE
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, ISBN 978-1-7281-0253-5
Publisher: IEEE
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, ISBN 978-1-4673-8682-1
Publisher: IEEE
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, ISBN 978-1-4799-7886-1
Publisher: IEEE
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, ISBN 978-1-4799-7886-1
Publisher: IEEE
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, ISBN 978-1-4799-7886-1
Publisher: IEEE
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, ISBN 978-1-5386-3081-5
Publisher: IEEE
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, ISBN 978-1-5090-2873-3
Publisher: IEEE
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, ISBN 978-3-9524-2698-2
Publisher: IEEE
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, ISBN 978-3-9524-2698-2
Publisher: IEEE
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, ISBN 978-1-5386-5428-6
Publisher: IEEE
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, ISBN 978-1-5386-3081-5
Publisher: IEEE
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, ISBN 978-1-5090-2873-3
Publisher: IEEE
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, ISBN 978-1-5090-2873-3
Publisher: IEEE
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, ISBN 978-1-5386-5428-6
Publisher: IEEE
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, ISBN 978-3-9524-2698-2
Publisher: IEEE
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, ISBN 978-3-9524-2698-2
Publisher: IEEE
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, ISBN 978-1-5386-1395-5
Publisher: IEEE
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, ISBN 978-1-5386-1395-5
Publisher: IEEE
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, ISBN 978-1-5090-2873-3
Publisher: IEEE
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, ISBN 978-1-5090-1837-6
Publisher: IEEE
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, ISBN 978-1-5090-1837-6
Publisher: IEEE
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, ISBN 978-1-5090-4533-4
Publisher: IEEE
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, ISBN 978-1-5090-5992-8
Publisher: IEEE
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, ISBN 978-1-5090-5992-8
Publisher: IEEE
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, ISBN 978-1-5090-5992-8
Publisher: IEEE
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, ISBN 978-1-5090-5992-8
Publisher: IEEE
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, ISBN 978-1-5090-4633-1
Publisher: IEEE
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, ISBN 978-1-5090-5992-8
Publisher: IEEE
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, ISBN 978-1-5090-4633-1
Publisher: IEEE
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
Publisher: Elsevier
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
Publisher: Elsevier

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
Publisher: Elsevier

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
Publisher: Elsevier

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
Publisher: Elsevier

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
Publisher: Elsevier

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
Publisher: Elsevier

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, ISBN 978-1-7281-1398-2
Publisher: IEEE
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, ISBN 978-1-5386-7926-5
Publisher: IEEE
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
Publisher: IEEE

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, ISBN 978-1-5386-8266-1
Publisher: IEEE
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, ISBN 978-1-7281-1398-2
Publisher: IEEE
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, ISBN 978-3-907144-00-8
Publisher: IEEE
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, ISBN 978-3-907144-00-8
Publisher: IEEE
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, ISBN 978-1-7281-7395-5
Publisher: IEEE
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
Publisher: Institute of Electrical and Electronics Engineers
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
Publisher: Institute of Electrical and Electronics Engineers
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
Publisher: Pergamon Press Ltd.
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
Publisher: Kluwer Academic Publishers
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
Publisher: Pergamon Press Ltd.
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
Publisher: Society for Industrial and Applied Mathematics
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
Publisher: Pergamon Press Ltd.
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
Publisher: Lavoisier
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
Publisher: Pergamon Press Ltd.
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
Publisher: Institute of Electrical and Electronics Engineers
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
Publisher: IEEE
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
Publisher: John Wiley & Sons Inc.
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
Publisher: Pergamon Press Ltd.
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
Publisher: IEEE
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
Publisher: Pergamon Press Ltd.
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
Publisher: Institute of Electrical and Electronics Engineers
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
Publisher: Institute of Electrical and Electronics Engineers
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
Publisher: Pergamon Press Ltd.
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
Publisher: IEEE
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
Publisher: IEEE CONTROL SYSTEMS SOCIETY
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
Publisher: Institute of Electrical and Electronics Engineers
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
Publisher: SAGE Publications
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
Publisher: Kluwer Academic Publishers
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
Publisher: Elsevier BV
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
Publisher: Taylor & Francis
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
Publisher: IEEE
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
Publisher: Institute of Electrical and Electronics Engineers
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
Publisher: Pergamon Press Ltd.
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
Publisher: Society for Industrial and Applied Mathematics
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
Publisher: Institute of Electrical and Electronics Engineers
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
Publisher: Institute of Electrical and Electronics Engineers
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
Publisher: IEEE CONTROL SYSTEMS SOCIETY
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
Publisher: Institute of Electrical and Electronics Engineers
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
Publisher: Pergamon Press Ltd.
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, ISBN 978-3-319-73006-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-73008-0_18

Searching for OpenAIRE data...

Publications

Share this page Share this page on social networks

Download Download the content of the page