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

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

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 Partager cette page sur les réseaux sociaux

Télécharger Télécharger le contenu de la page