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

Pubblicazioni

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

Autori: Alexandros Nikou, Shahab Heshmati-alamdari, Dimos V. Dimarogonas
Pubblicato in: 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE), 2019, Pagina/e 1181-1186, ISBN 978-1-7281-0356-3
Editore: IEEE
DOI: 10.1109/coase.2019.8843167

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

Autori: Christos K. Verginis, Constantinos Vrohidis, Charalampos P. Bechlioulis, Kostas J. Kyriakopoulos, Dimos V. Dimarogonas
Pubblicato in: 2019 International Conference on Robotics and Automation (ICRA), 2019, Pagina/e 951-957, ISBN 978-1-5386-6027-0
Editore: 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 *

Autori: Sofie Ahlberg, Dimos V. Dimarogonas
Pubblicato in: 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE), 2019, Pagina/e 788-793, ISBN 978-1-7281-0356-3
Editore: IEEE
DOI: 10.1109/coase.2019.8842954

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

Autori: Lars Lindemann, Dimos V. Dimarogonas
Pubblicato in: 2020 American Control Conference (ACC), 2020, Pagina/e 4707-4714, ISBN 978-1-5386-8266-1
Editore: IEEE
DOI: 10.23919/acc45564.2020.9147796

Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems

Autori: Wei Ren, Dimos V. Dimarogonas
Pubblicato in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Pagina/e 4343-4348, ISBN 978-1-7281-1398-2
Editore: IEEE
DOI: 10.1109/cdc40024.2019.9029665

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

Autori: Alexandros Nikou, Dimos V. Dimarogonas
Pubblicato in: 2019 American Control Conference (ACC), 2019, Pagina/e 1152-1157, ISBN 978-1-5386-7926-5
Editore: IEEE
DOI: 10.23919/acc.2019.8815253

Asymptotic Stability of Uncertain Lagrangian Systems with Prescribed Transient Response

Autori: Christos K. Verginis, Dimos V. Dimarogonas
Pubblicato in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Pagina/e 7037-7042, ISBN 978-1-7281-1398-2
Editore: IEEE
DOI: 10.1109/cdc40024.2019.9030217

Symbolic Abstractions for Periodic Event-triggered Linear Control Systems

Autori: Wei Ren and Dimos V. Dimarogonas
Pubblicato in: 2020
Editore: IEEE

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

Autori: Christos K. Verginis, Dimos V. Dimarogonas
Pubblicato in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Pagina/e 3833-3838, ISBN 978-1-7281-1398-2
Editore: IEEE
DOI: 10.1109/cdc40024.2019.9029560

Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems

Autori: Wei Ren, Dimos V. Dimarogonas
Pubblicato in: 2019 18th European Control Conference (ECC), 2019, Pagina/e 1312-1317, ISBN 978-3-907144-00-8
Editore: IEEE
DOI: 10.23919/ecc.2019.8795730

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

Autori: Alexandros Nikou, Christos K. Verginis, Dimos V. Dimarogonas
Pubblicato in: 2018 IEEE/OES Autonomous Underwater Vehicle Workshop (AUV), 2018, Pagina/e 1-6, ISBN 978-1-7281-0253-5
Editore: IEEE
DOI: 10.1109/auv.2018.8729801

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

Autori: Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
Pubblicato in: 2016 American Control Conference (ACC), 2016, Pagina/e 7104-7109, ISBN 978-1-4673-8682-1
Editore: IEEE
DOI: 10.1109/ACC.2016.7526793

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

Autori: Jana Tumova, Dimos V. Dimarogonas
Pubblicato in: 2015 54th IEEE Conference on Decision and Control (CDC), 2015, Pagina/e 7448-7453, ISBN 978-1-4799-7886-1
Editore: IEEE
DOI: 10.1109/CDC.2015.7403396

Robust connectivity analysis for multi-agent systems

Autori: Dimitris Boskos, Dimos V. Dimarogonas
Pubblicato in: 2015 54th IEEE Conference on Decision and Control (CDC), 2015, Pagina/e 6767-6772, ISBN 978-1-4799-7886-1
Editore: IEEE
DOI: 10.1109/CDC.2015.7403285

Decentralized abstractions for feedback interconnected multi-agent systems

Autori: Dimitris Boskos, Dimos V. Dimarogonas
Pubblicato in: 2015 54th IEEE Conference on Decision and Control (CDC), 2015, Pagina/e 282-287, ISBN 978-1-4799-7886-1
Editore: IEEE
DOI: 10.1109/CDC.2015.7402214

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

Autori: Philipp Schillinger, Mathias Burger, Dimos V. Dimarogonas
Pubblicato in: 2018 IEEE International Conference on Robotics and Automation (ICRA), 2018, Pagina/e 7330-7337, ISBN 978-1-5386-3081-5
Editore: IEEE
DOI: 10.1109/icra.2018.8462967

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

Autori: Alexandros Nikou, Shahab Heshmati-alamdari, Christos K. Verginis, Dimos V. Dimarogonas
Pubblicato in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Pagina/e 990-995, ISBN 978-1-5090-2873-3
Editore: IEEE
DOI: 10.1109/cdc.2017.8263787

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

Autori: Alexandros Filotheou, Alexandros Nikou, Dimos V. Dimarogonas
Pubblicato in: 2018 European Control Conference (ECC), 2018, Pagina/e 8-13, ISBN 978-3-9524-2698-2
Editore: IEEE
DOI: 10.23919/ecc.2018.8550343

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

Autori: Christos K. Verginis, Alexandros Nikou, Dimos V. Dimarogonas
Pubblicato in: 2018 European Control Conference (ECC), 2018, Pagina/e 733-738, ISBN 978-3-9524-2698-2
Editore: IEEE
DOI: 10.23919/ecc.2018.8550305

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

Autori: Lars Lindemann, Dimos V. Dimarogonas
Pubblicato in: 2018 Annual American Control Conference (ACC), 2018, Pagina/e 1567-1573, ISBN 978-1-5386-5428-6
Editore: IEEE
DOI: 10.23919/acc.2018.8431695

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

Autori: Meng Guo, Sofie Andersson, Dimos V. Dimarogonas
Pubblicato in: 2018 IEEE International Conference on Robotics and Automation (ICRA), 2018, Pagina/e 6395-6400, ISBN 978-1-5386-3081-5
Editore: IEEE
DOI: 10.1109/icra.2018.8460793

Robust decentralized abstractions for multiple mobile manipulators

Autori: Christos K. Verginis, Dimos V. Dimarogonas
Pubblicato in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Pagina/e 2222-2227, ISBN 978-1-5090-2873-3
Editore: IEEE
DOI: 10.1109/cdc.2017.8263974

Prescribed performance control for signal temporal logic specifications

Autori: Lars Lindemann, Christos K. Verginis, Dimos V. Dimarogonas
Pubblicato in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Pagina/e 2997-3002, ISBN 978-1-5090-2873-3
Editore: IEEE
DOI: 10.1109/cdc.2017.8264095

A hybrid barrier certificate approach to satisfy linear temporal logic specifications

Autori: Andrea Bisoffi, Dimos V. Dimarogonas
Pubblicato in: 2018 Annual American Control Conference (ACC), 2018, Pagina/e 634-639, ISBN 978-1-5386-5428-6
Editore: IEEE
DOI: 10.23919/acc.2018.8430795

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

Autori: Leonardo J. Colombo, Dimos V. Dimarogonas
Pubblicato in: 2018 European Control Conference (ECC), 2018, Pagina/e 1728-1733, ISBN 978-3-9524-2698-2
Editore: IEEE
DOI: 10.23919/ecc.2018.8550238

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

Autori: Sofie Andersson, Dimos V. Dimarogonas
Pubblicato in: 2018 European Control Conference (ECC), 2018, Pagina/e 453-458, ISBN 978-3-9524-2698-2
Editore: IEEE
DOI: 10.23919/ecc.2018.8550179

Event-triggered Feedback Control for Signal Temporal Logic Tasks

Autori: Lars Lindemann, Dipankar Maity, John S. Baras, Dimos V. Dimarogonas
Pubblicato in: 2018 IEEE Conference on Decision and Control (CDC), 2018, Pagina/e 146-151, ISBN 978-1-5386-1395-5
Editore: IEEE
DOI: 10.1109/cdc.2018.8619000

Energy-aware networked control systems under temporal logic specifications

Autori: Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Pubblicato in: 2018 IEEE Conference on Decision and Control (CDC), 2018, Pagina/e 132-139, ISBN 978-1-5386-1395-5
Editore: IEEE
DOI: 10.1109/cdc.2018.8618893

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

Autori: Christos K. Verginis, Alexandras Nikou, Dimos V. Dimarogonas
Pubblicato in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Pagina/e 411-416, ISBN 978-1-5090-2873-3
Editore: IEEE
DOI: 10.1109/cdc.2017.8263699

Abstractions of varying decentralization degree for coupled multi-agent systems

Autori: Dimitris Boskos, Dimos V. Dimarogonas
Pubblicato in: 2016 IEEE 55th Conference on Decision and Control (CDC), 2016, Pagina/e 81-86, ISBN 978-1-5090-1837-6
Editore: IEEE
DOI: 10.1109/CDC.2016.7798250

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

Autori: Jana Tumova, Dimos V. Dimarogonas
Pubblicato in: 2016 IEEE 55th Conference on Decision and Control (CDC), 2016, Pagina/e 5714-5719, ISBN 978-1-5090-1837-6
Editore: IEEE
DOI: 10.1109/CDC.2016.7799147

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

Autori: Alexandres Nikou, Christos Verginis, Shahab Heshmati-alamdari, Dimos V. Dimarogonas
Pubblicato in: 2017 25th Mediterranean Conference on Control and Automation (MED), 2017, Pagina/e 707-712, ISBN 978-1-5090-4533-4
Editore: IEEE
DOI: 10.1109/MED.2017.7984201

Robust motion planning employing signal temporal logic

Autori: Lars Lindemann, Dimos V. Dimarogonas
Pubblicato in: 2017 American Control Conference (ACC), 2017, Pagina/e 2950-2955, ISBN 978-1-5090-5992-8
Editore: IEEE
DOI: 10.23919/ACC.2017.7963399

Compositional abstraction refinement for control synthesis under lasso-shaped specifications

Autori: Pierre-Jean Meyer, Dimos V. Dimarogonas
Pubblicato in: 2017 American Control Conference (ACC), 2017, Pagina/e 523-528, ISBN 978-1-5090-5992-8
Editore: IEEE
DOI: 10.23919/ACC.2017.7963006

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

Autori: Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
Pubblicato in: 2017 American Control Conference (ACC), 2017, Pagina/e 1847-1852, ISBN 978-1-5090-5992-8
Editore: IEEE
DOI: 10.23919/ACC.2017.7963221

A hybrid systems framework for multi agent task planning and control

Autori: Maria Guinaldo, Dimos V. Dimarogonas
Pubblicato in: 2017 American Control Conference (ACC), 2017, Pagina/e 1181-1186, ISBN 978-1-5090-5992-8
Editore: IEEE
DOI: 10.23919/ACC.2017.7963113

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

Autori: Christos K. Verginis, Ziwei Xu, Dimos V. Dimarogonas
Pubblicato in: 2017 IEEE International Conference on Robotics and Automation (ICRA), 2017, Pagina/e 781-787, ISBN 978-1-5090-4633-1
Editore: IEEE
DOI: 10.1109/ICRA.2017.7989096

Distributed cooperative manipulation under timed temporal specifications

Autori: Christos K. Verginis, Dimos V. Dimarogonas
Pubblicato in: 2017 American Control Conference (ACC), 2017, Pagina/e 1358-1363, ISBN 978-1-5090-5992-8
Editore: IEEE
DOI: 10.23919/ACC.2017.7963141

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

Autori: Philipp Schillinger, Mathias Burger, Dimos V. Dimarogonas
Pubblicato in: 2017 IEEE International Conference on Robotics and Automation (ICRA), 2017, Pagina/e 768-774, ISBN 978-1-5090-4633-1
Editore: IEEE
DOI: 10.1109/ICRA.2017.7989094

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

Autori: Pierre-Jean Meyer, Dimos V. Dimarogonas
Pubblicato in: IFAC-PapersOnLine, Numero 50/1, 2017, Pagina/e 9254-9259
Editore: Elsevier
DOI: 10.1016/j.ifacol.2017.08.1292

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

Autori: Sofie Andersson, Alexandros Nikou, Dimos V. Dimarogonas
Pubblicato in: IFAC-PapersOnLine, Numero 50/1, 2017, Pagina/e 2397-2402
Editore: Elsevier

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

Autori: Paul Rousse, Pierre-Jean Meyer, Dimos V. Dimarogonas
Pubblicato in: IFAC-PapersOnLine, Numero 50/1, 2017, Pagina/e 15977-15982
Editore: Elsevier

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

Autori: Alexandros Nikou, Christos K. Verginis, Dimos V. Dimarogonas
Pubblicato in: IFAC-PapersOnLine, Numero 50/1, 2017, Pagina/e 15458-15463
Editore: Elsevier

Probabilistic Plan Synthesis for Coupled Multi-Agent Systems

Autori: Alexandros Nikou, JanaTumova, Dimos V. Dimarogonas
Pubblicato in: IFAC-PapersOnLine, Numero 50/1, 2017, Pagina/e 10766-10771
Editore: Elsevier

Online Abstractions for Interconnected Multi-Agent Control Systems

Autori: Dimitris Boskos, Dimos V. Dimarogonas
Pubblicato in: IFAC-PapersOnLine, Numero 50/1, 2017, Pagina/e 15810-15815
Editore: Elsevier

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

Autori: Christos K. Verginis, Dimos V. Dimarogonas
Pubblicato in: IFAC-PapersOnLine, Numero 50/1, 2017, Pagina/e 15816-15821
Editore: Elsevier

Robust Trajectory Tracking Control for Underactuated Autonomous Underwater Vehicles

Autori: Shahab Heshmati-alamdari, Alexandros Nikou, Dimos V. Dimarogonas
Pubblicato in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Pagina/e 8311-8316, ISBN 978-1-7281-1398-2
Editore: IEEE
DOI: 10.1109/cdc40024.2019.9030165

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

Autori: Kazumune Hashimoto, Michelle Chong, Dimos V. Dimarogonas
Pubblicato in: 2019 American Control Conference (ACC), 2019, Pagina/e 1175-1180, ISBN 978-1-5386-7926-5
Editore: IEEE
DOI: 10.23919/acc.2019.8815068

Smooth Feedback Construction Over Spherical Polytopes

Autori: Xiao Tan, Soulaimane Berkane, and Dimos V. Dimarogonas
Pubblicato in: 2020
Editore: IEEE

Adaptive Cooperative Manipulation with Rolling Contacts

Autori: Christos K. Verginis, Wenceslao Shaw Cortez, Dimos V. Dimarogonas
Pubblicato in: 2020 American Control Conference (ACC), 2020, Pagina/e 2735-2740, ISBN 978-1-5386-8266-1
Editore: IEEE
DOI: 10.23919/acc45564.2020.9147432

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

Autori: Pian Yu, Dimos V. Dimarogonas
Pubblicato in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Pagina/e 4349-4354, ISBN 978-1-7281-1398-2
Editore: IEEE
DOI: 10.1109/cdc40024.2019.9029176

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

Autori: Lars Lindemann, Dimos V. Dimarogonas
Pubblicato in: 2019 18th European Control Conference (ECC), 2019, Pagina/e 89-94, ISBN 978-3-907144-00-8
Editore: IEEE
DOI: 10.23919/ecc.2019.8796109

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

Autori: Soulaimane Berkane, Andrea Bisoffi, Dimos V. Dimarogonas
Pubblicato in: 2019 18th European Control Conference (ECC), 2019, Pagina/e 764-769, ISBN 978-3-907144-00-8
Editore: IEEE
DOI: 10.23919/ecc.2019.8795713

Energy-Optimal Cooperative Manipulation via Provable Internal-Force Regulation

Autori: Christos K. Verginis and Dimos V. Dimarogonas
Pubblicato in: 2020 IEEE International Conference on Robotics and Automation (ICRA), 2020, ISBN 978-1-7281-7395-5
Editore: IEEE
DOI: 10.1109/icra40945.2020.9196696

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

Autori: Christos Verginis, Dimos V. Dimarogonas
Pubblicato in: IEEE Transactions on Automatic Control, 2020, Pagina/e 1-1, ISSN 0018-9286
Editore: 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

Autori: Lars Lindemann, Jakub Nowak, Lukas Schonbachler, Meng Guo, Jana Tumova, Dimos V. Dimarogonas
Pubblicato in: IEEE Transactions on Control Systems Technology, 2020, Pagina/e 1-8, ISSN 1063-6536
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcst.2019.2955628

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

Autori: Dimitris Boskos, Dimos V. Dimarogonas
Pubblicato in: Automatica, Numero 115, 2020, Pagina/e 108838, ISSN 0005-1098
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2020.108838

Scalable time-constrained planning of multi-robot systems

Autori: Alexandros Nikou, Shahab Heshmati-alamdari, Dimos V. Dimarogonas
Pubblicato in: Autonomous Robots, 2020, ISSN 0929-5593
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10514-020-09937-6

Symbolic abstractions for nonlinear control systems via feedback refinement relation

Autori: Wei Ren, Dimos V. Dimarogonas
Pubblicato in: Automatica, Numero 114, 2020, Pagina/e 108828, ISSN 0005-1098
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2020.108828

Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems

Autori: Dimitris Boskos, Dimos V. Dimarogonas
Pubblicato in: SIAM Journal on Control and Optimization, Numero 57/5, 2019, Pagina/e 3471-3495, ISSN 0363-0129
Editore: Society for Industrial and Applied Mathematics
DOI: 10.1137/17m1133981

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

Autori: Jana Tumova, Dimos V. Dimarogonas
Pubblicato in: Automatica, Numero 70, 2016, Pagina/e 239-248, ISSN 0005-1098
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2016.04.006

Decentralized abstractions for multi-agent systems under coupled constraints

Autori: Dimitris Boskos, Dimos V. Dimarogonas
Pubblicato in: European Journal of Control, Numero 45, 2019, Pagina/e 1-16, ISSN 0947-3580
Editore: Lavoisier
DOI: 10.1016/j.ejcon.2018.10.002

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

Autori: Lars Lindemann, Dimos V. Dimarogonas
Pubblicato in: Automatica, Numero 106, 2019, Pagina/e 284-293, ISSN 0005-1098
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2019.05.013

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

Autori: Christos K. Verginis, Matteo Mastellaro, Dimos V. Dimarogonas
Pubblicato in: IEEE Transactions on Control Systems Technology, 2019, Pagina/e 1-17, ISSN 1063-6536
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcst.2018.2885682

Control Barrier Functions for Signal Temporal Logic Tasks

Autori: Lars Lindemann, Dimos V. Dimarogonas
Pubblicato in: IEEE Control Systems Letters, Numero 3/1, 2019, Pagina/e 96-101, ISSN 2475-1456
Editore: IEEE
DOI: 10.1109/lcsys.2018.2853182

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

Autori: Alexandros Nikou, Dimos V. Dimarogonas
Pubblicato in: International Journal of Robust and Nonlinear Control, Numero 29/10, 2019, Pagina/e 2799-2818, ISSN 1049-8923
Editore: John Wiley & Sons Inc.
DOI: 10.1002/rnc.4522

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

Autori: Lars Lindemann, Dimos V. Dimarogonas
Pubblicato in: Automatica, Numero 101, 2019, Pagina/e 377-387, ISSN 0005-1098
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2018.12.022

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

Autori: Christos K. Verginis, Dimos V. Dimarogonas
Pubblicato in: IEEE Control Systems Letters, Numero 3/3, 2019, Pagina/e 727-732, ISSN 2475-1456
Editore: IEEE
DOI: 10.1109/lcsys.2019.2917822

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

Autori: Alexandros Nikou, Dimitris Boskos, Jana Tumova, Dimos V. Dimarogonas
Pubblicato in: Automatica, Numero 97, 2018, Pagina/e 339-345, ISSN 0005-1098
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2018.08.023

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

Autori: Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Pubblicato in: IEEE Transactions on Automatic Control, Numero 63/10, 2018, Pagina/e 3523-3530, ISSN 0018-9286
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2018.2798802

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

Autori: Zhongqi Sun, Li Dai, Kun Liu, Dimos V. Dimarogonas, Yuanqing Xia
Pubblicato in: IEEE Transactions on Automatic Control, 2019, Pagina/e 1-1, ISSN 0018-9286
Editore: 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

Autori: Christos K. Verginis, Alexandros Nikou, Dimos V. Dimarogonas
Pubblicato in: Automatica, Numero 103, 2019, Pagina/e 538-548, ISSN 0005-1098
Editore: 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

Autori: Lars Lindemann, Dimos V. Dimarogonas
Pubblicato in: IEEE Control Systems Letters, Numero 3/3, 2019, Pagina/e 757-762, ISSN 2475-1456
Editore: IEEE
DOI: 10.1109/lcsys.2019.2917975

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

Autori: Leonardo Jesus Colombo, Dimos V. Dimarogonas
Pubblicato in: IEEE Transactions on Control of Network Systems, 2019, Pagina/e 1-1, ISSN 2325-5870
Editore: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2019.2925264

Synthesizing communication plans for reachability and safety specifications

Autori: Kazumune Hashimoto, Dimos V. Dimarogonas
Pubblicato in: IEEE Transactions on Automatic Control, 2019, Pagina/e 1-1, ISSN 0018-9286
Editore: 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

Autori: Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas
Pubblicato in: The International Journal of Robotics Research, Numero 37/7, 2018, Pagina/e 818-838, ISSN 0278-3649
Editore: SAGE Publications
DOI: 10.1177/0278364918774135

Timed abstractions for distributed cooperative manipulation

Autori: Christos K. Verginis, Dimos V. Dimarogonas
Pubblicato in: Autonomous Robots, Numero 42/4, 2018, Pagina/e 781-799, ISSN 0929-5593
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10514-017-9672-7

Compositional abstraction refinement for control synthesis

Autori: Pierre-Jean Meyer, Dimos V. Dimarogonas
Pubblicato in: Nonlinear Analysis: Hybrid Systems, Numero 27, 2018, Pagina/e 437-451, ISSN 1751-570X
Editore: 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

Autori: Alexandros Filotheou, Alexandros Nikou, Dimos V. Dimarogonas
Pubblicato in: International Journal of Control, 2018, Pagina/e 1-15, ISSN 0020-7179
Editore: Taylor & Francis
DOI: 10.1080/00207179.2018.1514129

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

Autori: Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
Pubblicato in: IEEE Control Systems Letters, Numero 3/4, 2019, Pagina/e 1050-1055, ISSN 2475-1456
Editore: IEEE
DOI: 10.1109/lcsys.2019.2921616

Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems

Autori: Pierre-Jean Meyer, Dimos V. Dimarogonas
Pubblicato in: IEEE Transactions on Automatic Control, 2019, Pagina/e 1-1, ISSN 0018-9286
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2019.2902643

Event-triggered intermittent sampling for nonlinear model predictive control

Autori: Kazumune Hashimoto, Shuichi Adachi, Dimos V. Dimarogonas
Pubblicato in: Automatica, Numero 81, 2017, Pagina/e 148-155, ISSN 0005-1098
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2017.03.028

Robustness and Invariance of Connectivity Maintenance Control for Multiagent Systems

Autori: Dimitris Boskos, Dimos V. Dimarogonas
Pubblicato in: SIAM Journal on Control and Optimization, Numero 55/3, 2017, Pagina/e 1887-1914, ISSN 0363-0129
Editore: Society for Industrial and Applied Mathematics
DOI: 10.1137/16m1077064

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

Autori: Meng Guo, Dimos V. Dimarogonas
Pubblicato in: IEEE Transactions on Automation Science and Engineering, Numero 14/2, 2017, Pagina/e 797-808, ISSN 1545-5955
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TASE.2016.2628389

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

Autori: Andrea Bisoffi, Dimos V. Dimarogonas
Pubblicato in: IEEE Transactions on Automatic Control, 2020, Pagina/e 1-1, ISSN 0018-9286
Editore: 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

Autori: Lars Lindemann, Dimos V. Dimarogonas
Pubblicato in: IEEE Transactions on Control of Network Systems, 2020, Pagina/e 1-1, ISSN 2325-5870
Editore: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2020.3014602

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

Autori: Shahab Heshmati-Alamdari, Alexandros Nikou, Dimos V. Dimarogonas
Pubblicato in: IEEE Transactions on Automation Science and Engineering, 2020, Pagina/e 1-14, ISSN 1545-5955
Editore: 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

Autori: Xiao Tan, Soulaimane Berkane, Dimos V. Dimarogonas
Pubblicato in: Automatica, Numero 112, 2020, Pagina/e 108659, ISSN 0005-1098
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2019.108659

Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning

Autori: Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas
Pubblicato in: Distributed Autonomous Robotic Systems - The 13th International Symposium, Numero 6, 2018, Pagina/e 253-267, ISBN 978-3-319-73006-6
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-73008-0_18

È in corso la ricerca di dati su OpenAIRE...

Pubblicazioni

Condividi questa pagina

Scarica