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

Auteurs: Alexandros Nikou, Shahab Heshmati-alamdari, Dimos V. Dimarogonas
Publié dans: 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE), 2019, Page(s) 1181-1186, ISBN 978-1-7281-0356-3
Éditeur: IEEE
DOI: 10.1109/coase.2019.8843167

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

Auteurs: Christos K. Verginis, Constantinos Vrohidis, Charalampos P. Bechlioulis, Kostas J. Kyriakopoulos, Dimos V. Dimarogonas
Publié dans: 2019 International Conference on Robotics and Automation (ICRA), 2019, Page(s) 951-957, ISBN 978-1-5386-6027-0
Éditeur: 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 *

Auteurs: Sofie Ahlberg, Dimos V. Dimarogonas
Publié dans: 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE), 2019, Page(s) 788-793, ISBN 978-1-7281-0356-3
Éditeur: IEEE
DOI: 10.1109/coase.2019.8842954

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

Auteurs: Lars Lindemann, Dimos V. Dimarogonas
Publié dans: 2020 American Control Conference (ACC), 2020, Page(s) 4707-4714, ISBN 978-1-5386-8266-1
Éditeur: IEEE
DOI: 10.23919/acc45564.2020.9147796

Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems

Auteurs: Wei Ren, Dimos V. Dimarogonas
Publié dans: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4343-4348, ISBN 978-1-7281-1398-2
Éditeur: IEEE
DOI: 10.1109/cdc40024.2019.9029665

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

Auteurs: Alexandros Nikou, Dimos V. Dimarogonas
Publié dans: 2019 American Control Conference (ACC), 2019, Page(s) 1152-1157, ISBN 978-1-5386-7926-5
Éditeur: IEEE
DOI: 10.23919/acc.2019.8815253

Asymptotic Stability of Uncertain Lagrangian Systems with Prescribed Transient Response

Auteurs: Christos K. Verginis, Dimos V. Dimarogonas
Publié dans: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 7037-7042, ISBN 978-1-7281-1398-2
Éditeur: IEEE
DOI: 10.1109/cdc40024.2019.9030217

Symbolic Abstractions for Periodic Event-triggered Linear Control Systems

Auteurs: Wei Ren and Dimos V. Dimarogonas
Publié dans: 2020
Éditeur: IEEE

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

Auteurs: Christos K. Verginis, Dimos V. Dimarogonas
Publié dans: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 3833-3838, ISBN 978-1-7281-1398-2
Éditeur: IEEE
DOI: 10.1109/cdc40024.2019.9029560

Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems

Auteurs: Wei Ren, Dimos V. Dimarogonas
Publié dans: 2019 18th European Control Conference (ECC), 2019, Page(s) 1312-1317, ISBN 978-3-907144-00-8
Éditeur: IEEE
DOI: 10.23919/ecc.2019.8795730

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

Auteurs: Alexandros Nikou, Christos K. Verginis, Dimos V. Dimarogonas
Publié dans: 2018 IEEE/OES Autonomous Underwater Vehicle Workshop (AUV), 2018, Page(s) 1-6, ISBN 978-1-7281-0253-5
Éditeur: IEEE
DOI: 10.1109/auv.2018.8729801

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

Auteurs: Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
Publié dans: 2016 American Control Conference (ACC), 2016, Page(s) 7104-7109, ISBN 978-1-4673-8682-1
Éditeur: IEEE
DOI: 10.1109/ACC.2016.7526793

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

Auteurs: Jana Tumova, Dimos V. Dimarogonas
Publié dans: 2015 54th IEEE Conference on Decision and Control (CDC), 2015, Page(s) 7448-7453, ISBN 978-1-4799-7886-1
Éditeur: IEEE
DOI: 10.1109/CDC.2015.7403396

Robust connectivity analysis for multi-agent systems

Auteurs: Dimitris Boskos, Dimos V. Dimarogonas
Publié dans: 2015 54th IEEE Conference on Decision and Control (CDC), 2015, Page(s) 6767-6772, ISBN 978-1-4799-7886-1
Éditeur: IEEE
DOI: 10.1109/CDC.2015.7403285

Decentralized abstractions for feedback interconnected multi-agent systems

Auteurs: Dimitris Boskos, Dimos V. Dimarogonas
Publié dans: 2015 54th IEEE Conference on Decision and Control (CDC), 2015, Page(s) 282-287, ISBN 978-1-4799-7886-1
Éditeur: IEEE
DOI: 10.1109/CDC.2015.7402214

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

Auteurs: Philipp Schillinger, Mathias Burger, Dimos V. Dimarogonas
Publié dans: 2018 IEEE International Conference on Robotics and Automation (ICRA), 2018, Page(s) 7330-7337, ISBN 978-1-5386-3081-5
Éditeur: IEEE
DOI: 10.1109/icra.2018.8462967

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

Auteurs: Alexandros Nikou, Shahab Heshmati-alamdari, Christos K. Verginis, Dimos V. Dimarogonas
Publié dans: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 990-995, ISBN 978-1-5090-2873-3
Éditeur: IEEE
DOI: 10.1109/cdc.2017.8263787

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

Auteurs: Alexandros Filotheou, Alexandros Nikou, Dimos V. Dimarogonas
Publié dans: 2018 European Control Conference (ECC), 2018, Page(s) 8-13, ISBN 978-3-9524-2698-2
Éditeur: IEEE
DOI: 10.23919/ecc.2018.8550343

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

Auteurs: Christos K. Verginis, Alexandros Nikou, Dimos V. Dimarogonas
Publié dans: 2018 European Control Conference (ECC), 2018, Page(s) 733-738, ISBN 978-3-9524-2698-2
Éditeur: IEEE
DOI: 10.23919/ecc.2018.8550305

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

Auteurs: Lars Lindemann, Dimos V. Dimarogonas
Publié dans: 2018 Annual American Control Conference (ACC), 2018, Page(s) 1567-1573, ISBN 978-1-5386-5428-6
Éditeur: IEEE
DOI: 10.23919/acc.2018.8431695

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

Auteurs: Meng Guo, Sofie Andersson, Dimos V. Dimarogonas
Publié dans: 2018 IEEE International Conference on Robotics and Automation (ICRA), 2018, Page(s) 6395-6400, ISBN 978-1-5386-3081-5
Éditeur: IEEE
DOI: 10.1109/icra.2018.8460793

Robust decentralized abstractions for multiple mobile manipulators

Auteurs: Christos K. Verginis, Dimos V. Dimarogonas
Publié dans: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 2222-2227, ISBN 978-1-5090-2873-3
Éditeur: IEEE
DOI: 10.1109/cdc.2017.8263974

Prescribed performance control for signal temporal logic specifications

Auteurs: Lars Lindemann, Christos K. Verginis, Dimos V. Dimarogonas
Publié dans: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 2997-3002, ISBN 978-1-5090-2873-3
Éditeur: IEEE
DOI: 10.1109/cdc.2017.8264095

A hybrid barrier certificate approach to satisfy linear temporal logic specifications

Auteurs: Andrea Bisoffi, Dimos V. Dimarogonas
Publié dans: 2018 Annual American Control Conference (ACC), 2018, Page(s) 634-639, ISBN 978-1-5386-5428-6
Éditeur: IEEE
DOI: 10.23919/acc.2018.8430795

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

Auteurs: Leonardo J. Colombo, Dimos V. Dimarogonas
Publié dans: 2018 European Control Conference (ECC), 2018, Page(s) 1728-1733, ISBN 978-3-9524-2698-2
Éditeur: IEEE
DOI: 10.23919/ecc.2018.8550238

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

Auteurs: Sofie Andersson, Dimos V. Dimarogonas
Publié dans: 2018 European Control Conference (ECC), 2018, Page(s) 453-458, ISBN 978-3-9524-2698-2
Éditeur: IEEE
DOI: 10.23919/ecc.2018.8550179

Event-triggered Feedback Control for Signal Temporal Logic Tasks

Auteurs: Lars Lindemann, Dipankar Maity, John S. Baras, Dimos V. Dimarogonas
Publié dans: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 146-151, ISBN 978-1-5386-1395-5
Éditeur: IEEE
DOI: 10.1109/cdc.2018.8619000

Energy-aware networked control systems under temporal logic specifications

Auteurs: Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Publié dans: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 132-139, ISBN 978-1-5386-1395-5
Éditeur: IEEE
DOI: 10.1109/cdc.2018.8618893

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

Auteurs: Christos K. Verginis, Alexandras Nikou, Dimos V. Dimarogonas
Publié dans: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 411-416, ISBN 978-1-5090-2873-3
Éditeur: IEEE
DOI: 10.1109/cdc.2017.8263699

Abstractions of varying decentralization degree for coupled multi-agent systems

Auteurs: Dimitris Boskos, Dimos V. Dimarogonas
Publié dans: 2016 IEEE 55th Conference on Decision and Control (CDC), 2016, Page(s) 81-86, ISBN 978-1-5090-1837-6
Éditeur: IEEE
DOI: 10.1109/CDC.2016.7798250

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

Auteurs: Jana Tumova, Dimos V. Dimarogonas
Publié dans: 2016 IEEE 55th Conference on Decision and Control (CDC), 2016, Page(s) 5714-5719, ISBN 978-1-5090-1837-6
Éditeur: IEEE
DOI: 10.1109/CDC.2016.7799147

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

Auteurs: Alexandres Nikou, Christos Verginis, Shahab Heshmati-alamdari, Dimos V. Dimarogonas
Publié dans: 2017 25th Mediterranean Conference on Control and Automation (MED), 2017, Page(s) 707-712, ISBN 978-1-5090-4533-4
Éditeur: IEEE
DOI: 10.1109/MED.2017.7984201

Robust motion planning employing signal temporal logic

Auteurs: Lars Lindemann, Dimos V. Dimarogonas
Publié dans: 2017 American Control Conference (ACC), 2017, Page(s) 2950-2955, ISBN 978-1-5090-5992-8
Éditeur: IEEE
DOI: 10.23919/ACC.2017.7963399

Compositional abstraction refinement for control synthesis under lasso-shaped specifications

Auteurs: Pierre-Jean Meyer, Dimos V. Dimarogonas
Publié dans: 2017 American Control Conference (ACC), 2017, Page(s) 523-528, ISBN 978-1-5090-5992-8
Éditeur: IEEE
DOI: 10.23919/ACC.2017.7963006

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

Auteurs: Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
Publié dans: 2017 American Control Conference (ACC), 2017, Page(s) 1847-1852, ISBN 978-1-5090-5992-8
Éditeur: IEEE
DOI: 10.23919/ACC.2017.7963221

A hybrid systems framework for multi agent task planning and control

Auteurs: Maria Guinaldo, Dimos V. Dimarogonas
Publié dans: 2017 American Control Conference (ACC), 2017, Page(s) 1181-1186, ISBN 978-1-5090-5992-8
Éditeur: IEEE
DOI: 10.23919/ACC.2017.7963113

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

Auteurs: Christos K. Verginis, Ziwei Xu, Dimos V. Dimarogonas
Publié dans: 2017 IEEE International Conference on Robotics and Automation (ICRA), 2017, Page(s) 781-787, ISBN 978-1-5090-4633-1
Éditeur: IEEE
DOI: 10.1109/ICRA.2017.7989096

Distributed cooperative manipulation under timed temporal specifications

Auteurs: Christos K. Verginis, Dimos V. Dimarogonas
Publié dans: 2017 American Control Conference (ACC), 2017, Page(s) 1358-1363, ISBN 978-1-5090-5992-8
Éditeur: IEEE
DOI: 10.23919/ACC.2017.7963141

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

Auteurs: Philipp Schillinger, Mathias Burger, Dimos V. Dimarogonas
Publié dans: 2017 IEEE International Conference on Robotics and Automation (ICRA), 2017, Page(s) 768-774, ISBN 978-1-5090-4633-1
Éditeur: IEEE
DOI: 10.1109/ICRA.2017.7989094

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

Auteurs: Pierre-Jean Meyer, Dimos V. Dimarogonas
Publié dans: IFAC-PapersOnLine, Numéro 50/1, 2017, Page(s) 9254-9259
Éditeur: Elsevier
DOI: 10.1016/j.ifacol.2017.08.1292

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

Auteurs: Sofie Andersson, Alexandros Nikou, Dimos V. Dimarogonas
Publié dans: IFAC-PapersOnLine, Numéro 50/1, 2017, Page(s) 2397-2402
Éditeur: Elsevier

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

Auteurs: Paul Rousse, Pierre-Jean Meyer, Dimos V. Dimarogonas
Publié dans: IFAC-PapersOnLine, Numéro 50/1, 2017, Page(s) 15977-15982
Éditeur: Elsevier

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

Auteurs: Alexandros Nikou, Christos K. Verginis, Dimos V. Dimarogonas
Publié dans: IFAC-PapersOnLine, Numéro 50/1, 2017, Page(s) 15458-15463
Éditeur: Elsevier

Probabilistic Plan Synthesis for Coupled Multi-Agent Systems

Auteurs: Alexandros Nikou, JanaTumova, Dimos V. Dimarogonas
Publié dans: IFAC-PapersOnLine, Numéro 50/1, 2017, Page(s) 10766-10771
Éditeur: Elsevier

Online Abstractions for Interconnected Multi-Agent Control Systems

Auteurs: Dimitris Boskos, Dimos V. Dimarogonas
Publié dans: IFAC-PapersOnLine, Numéro 50/1, 2017, Page(s) 15810-15815
Éditeur: Elsevier

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

Auteurs: Christos K. Verginis, Dimos V. Dimarogonas
Publié dans: IFAC-PapersOnLine, Numéro 50/1, 2017, Page(s) 15816-15821
Éditeur: Elsevier

Robust Trajectory Tracking Control for Underactuated Autonomous Underwater Vehicles

Auteurs: Shahab Heshmati-alamdari, Alexandros Nikou, Dimos V. Dimarogonas
Publié dans: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 8311-8316, ISBN 978-1-7281-1398-2
Éditeur: IEEE
DOI: 10.1109/cdc40024.2019.9030165

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

Auteurs: Kazumune Hashimoto, Michelle Chong, Dimos V. Dimarogonas
Publié dans: 2019 American Control Conference (ACC), 2019, Page(s) 1175-1180, ISBN 978-1-5386-7926-5
Éditeur: IEEE
DOI: 10.23919/acc.2019.8815068

Smooth Feedback Construction Over Spherical Polytopes

Auteurs: Xiao Tan, Soulaimane Berkane, and Dimos V. Dimarogonas
Publié dans: 2020
Éditeur: IEEE

Adaptive Cooperative Manipulation with Rolling Contacts

Auteurs: Christos K. Verginis, Wenceslao Shaw Cortez, Dimos V. Dimarogonas
Publié dans: 2020 American Control Conference (ACC), 2020, Page(s) 2735-2740, ISBN 978-1-5386-8266-1
Éditeur: IEEE
DOI: 10.23919/acc45564.2020.9147432

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

Auteurs: Pian Yu, Dimos V. Dimarogonas
Publié dans: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4349-4354, ISBN 978-1-7281-1398-2
Éditeur: IEEE
DOI: 10.1109/cdc40024.2019.9029176

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

Auteurs: Lars Lindemann, Dimos V. Dimarogonas
Publié dans: 2019 18th European Control Conference (ECC), 2019, Page(s) 89-94, ISBN 978-3-907144-00-8
Éditeur: IEEE
DOI: 10.23919/ecc.2019.8796109

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

Auteurs: Soulaimane Berkane, Andrea Bisoffi, Dimos V. Dimarogonas
Publié dans: 2019 18th European Control Conference (ECC), 2019, Page(s) 764-769, ISBN 978-3-907144-00-8
Éditeur: IEEE
DOI: 10.23919/ecc.2019.8795713

Energy-Optimal Cooperative Manipulation via Provable Internal-Force Regulation

Auteurs: Christos K. Verginis and Dimos V. Dimarogonas
Publié dans: 2020 IEEE International Conference on Robotics and Automation (ICRA), 2020, ISBN 978-1-7281-7395-5
Éditeur: IEEE
DOI: 10.1109/icra40945.2020.9196696

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

Auteurs: Christos Verginis, Dimos V. Dimarogonas
Publié dans: IEEE Transactions on Automatic Control, 2020, Page(s) 1-1, ISSN 0018-9286
Éditeur: 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

Auteurs: Lars Lindemann, Jakub Nowak, Lukas Schonbachler, Meng Guo, Jana Tumova, Dimos V. Dimarogonas
Publié dans: IEEE Transactions on Control Systems Technology, 2020, Page(s) 1-8, ISSN 1063-6536
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcst.2019.2955628

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

Auteurs: Dimitris Boskos, Dimos V. Dimarogonas
Publié dans: Automatica, Numéro 115, 2020, Page(s) 108838, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2020.108838

Scalable time-constrained planning of multi-robot systems

Auteurs: Alexandros Nikou, Shahab Heshmati-alamdari, Dimos V. Dimarogonas
Publié dans: Autonomous Robots, 2020, ISSN 0929-5593
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10514-020-09937-6

Symbolic abstractions for nonlinear control systems via feedback refinement relation

Auteurs: Wei Ren, Dimos V. Dimarogonas
Publié dans: Automatica, Numéro 114, 2020, Page(s) 108828, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2020.108828

Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems

Auteurs: Dimitris Boskos, Dimos V. Dimarogonas
Publié dans: SIAM Journal on Control and Optimization, Numéro 57/5, 2019, Page(s) 3471-3495, ISSN 0363-0129
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/17m1133981

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

Auteurs: Jana Tumova, Dimos V. Dimarogonas
Publié dans: Automatica, Numéro 70, 2016, Page(s) 239-248, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2016.04.006

Decentralized abstractions for multi-agent systems under coupled constraints

Auteurs: Dimitris Boskos, Dimos V. Dimarogonas
Publié dans: European Journal of Control, Numéro 45, 2019, Page(s) 1-16, ISSN 0947-3580
Éditeur: Lavoisier
DOI: 10.1016/j.ejcon.2018.10.002

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

Auteurs: Lars Lindemann, Dimos V. Dimarogonas
Publié dans: Automatica, Numéro 106, 2019, Page(s) 284-293, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2019.05.013

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

Auteurs: Christos K. Verginis, Matteo Mastellaro, Dimos V. Dimarogonas
Publié dans: IEEE Transactions on Control Systems Technology, 2019, Page(s) 1-17, ISSN 1063-6536
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcst.2018.2885682

Control Barrier Functions for Signal Temporal Logic Tasks

Auteurs: Lars Lindemann, Dimos V. Dimarogonas
Publié dans: IEEE Control Systems Letters, Numéro 3/1, 2019, Page(s) 96-101, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2018.2853182

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

Auteurs: Alexandros Nikou, Dimos V. Dimarogonas
Publié dans: International Journal of Robust and Nonlinear Control, Numéro 29/10, 2019, Page(s) 2799-2818, ISSN 1049-8923
Éditeur: John Wiley & Sons Inc.
DOI: 10.1002/rnc.4522

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

Auteurs: Lars Lindemann, Dimos V. Dimarogonas
Publié dans: Automatica, Numéro 101, 2019, Page(s) 377-387, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2018.12.022

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

Auteurs: Christos K. Verginis, Dimos V. Dimarogonas
Publié dans: IEEE Control Systems Letters, Numéro 3/3, 2019, Page(s) 727-732, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2019.2917822

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

Auteurs: Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
Publié dans: Automatica, Numéro 97, 2018, Page(s) 339-345, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2018.08.023

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

Auteurs: Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Publié dans: IEEE Transactions on Automatic Control, Numéro 63/10, 2018, Page(s) 3523-3530, ISSN 0018-9286
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2018.2798802

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

Auteurs: Zhongqi Sun, Li Dai, Kun Liu, Dimos V. Dimarogonas, Yuanqing Xia
Publié dans: IEEE Transactions on Automatic Control, 2019, Page(s) 1-1, ISSN 0018-9286
Éditeur: 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

Auteurs: Christos K. Verginis, Alexandros Nikou, Dimos V. Dimarogonas
Publié dans: Automatica, Numéro 103, 2019, Page(s) 538-548, ISSN 0005-1098
Éditeur: 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

Auteurs: Lars Lindemann, Dimos V. Dimarogonas
Publié dans: IEEE Control Systems Letters, Numéro 3/3, 2019, Page(s) 757-762, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2019.2917975

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

Auteurs: Leonardo Jesus Colombo, Dimos V. Dimarogonas
Publié dans: IEEE Transactions on Control of Network Systems, 2019, Page(s) 1-1, ISSN 2325-5870
Éditeur: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2019.2925264

Synthesizing communication plans for reachability and safety specifications

Auteurs: Kazumune Hashimoto, Dimos V. Dimarogonas
Publié dans: IEEE Transactions on Automatic Control, 2019, Page(s) 1-1, ISSN 0018-9286
Éditeur: 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

Auteurs: Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas
Publié dans: The International Journal of Robotics Research, Numéro 37/7, 2018, Page(s) 818-838, ISSN 0278-3649
Éditeur: SAGE Publications
DOI: 10.1177/0278364918774135

Timed abstractions for distributed cooperative manipulation

Auteurs: Christos K. Verginis, Dimos V. Dimarogonas
Publié dans: Autonomous Robots, Numéro 42/4, 2018, Page(s) 781-799, ISSN 0929-5593
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10514-017-9672-7

Compositional abstraction refinement for control synthesis

Auteurs: Pierre-Jean Meyer, Dimos V. Dimarogonas
Publié dans: Nonlinear Analysis: Hybrid Systems, Numéro 27, 2018, Page(s) 437-451, ISSN 1751-570X
Éditeur: 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

Auteurs: Alexandros Filotheou, Alexandros Nikou, Dimos V. Dimarogonas
Publié dans: International Journal of Control, 2018, Page(s) 1-15, ISSN 0020-7179
Éditeur: Taylor & Francis
DOI: 10.1080/00207179.2018.1514129

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

Auteurs: Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
Publié dans: IEEE Control Systems Letters, Numéro 3/4, 2019, Page(s) 1050-1055, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2019.2921616

Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems

Auteurs: Pierre-Jean Meyer, Dimos V. Dimarogonas
Publié dans: IEEE Transactions on Automatic Control, 2019, Page(s) 1-1, ISSN 0018-9286
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2019.2902643

Event-triggered intermittent sampling for nonlinear model predictive control

Auteurs: Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Publié dans: Automatica, Numéro 81, 2017, Page(s) 148-155, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2017.03.028

Robustness and Invariance of Connectivity Maintenance Control for Multiagent Systems

Auteurs: Dimitris Boskos, Dimos V. Dimarogonas
Publié dans: SIAM Journal on Control and Optimization, Numéro 55/3, 2017, Page(s) 1887-1914, ISSN 0363-0129
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/16m1077064

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

Auteurs: Meng Guo, Dimos V. Dimarogonas
Publié dans: IEEE Transactions on Automation Science and Engineering, Numéro 14/2, 2017, Page(s) 797-808, ISSN 1545-5955
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TASE.2016.2628389

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

Auteurs: Andrea Bisoffi, Dimos V. Dimarogonas
Publié dans: IEEE Transactions on Automatic Control, 2020, Page(s) 1-1, ISSN 0018-9286
Éditeur: 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

Auteurs: Lars Lindemann, Dimos V. Dimarogonas
Publié dans: IEEE Transactions on Control of Network Systems, 2020, Page(s) 1-1, ISSN 2325-5870
Éditeur: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2020.3014602

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

Auteurs: Shahab Heshmati-Alamdari, Alexandros Nikou, Dimos V. Dimarogonas
Publié dans: IEEE Transactions on Automation Science and Engineering, 2020, Page(s) 1-14, ISSN 1545-5955
Éditeur: 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

Auteurs: Xiao Tan, Soulaimane Berkane, Dimos V. Dimarogonas
Publié dans: Automatica, Numéro 112, 2020, Page(s) 108659, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2019.108659

Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning

Auteurs: Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas
Publié dans: Distributed Autonomous Robotic Systems - The 13th International Symposium, Numéro 6, 2018, Page(s) 253-267, ISBN 978-3-319-73006-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-73008-0_18

Recherche de données OpenAIRE...

Publications

Partager cette page

Télécharger