| 1 |
Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems
Bisoffi A, Dimarogonas DV
IEEE Transactions on Automatic Control, 66(2), 818, 2021 |
| 2 |
A Common Framework for Complete and Incomplete Attitude Synchronization in Networks With Switching Topology
Pereira PO, Boskos D, Dimarogonas DV
IEEE Transactions on Automatic Control, 65(1), 271, 2020 |
| 3 |
Synthesizing Communication Plans for Reachability and Safety Specifications
Hashimoto K, Dimarogonas DV
IEEE Transactions on Automatic Control, 65(2), 561, 2020 |
| 4 |
Symmetry Reduction in Optimal Control of Multiagent Systems on Lie Groups
Colombo LJ, Dimarogonas DV
IEEE Transactions on Automatic Control, 65(11), 4973, 2020 |
| 5 |
Robust decentralised navigation of multi-agent systems with collision avoidance and connectivity maintenance using model predictive controllers
Filotheou A, Nikou A, Dimarogonas DV
International Journal of Control, 93(6), 1470, 2020 |
| 6 |
Robust control for signal temporal logic specifications using discrete average space robustness
Lindemann L, Dimarogonas DV
Automatica, 101, 377, 2019 |
| 7 |
Robust formation control in SE(3) for tree-graph structures with prescribed transient and steady state performance
Verginis CK, Nikou A, Dimarogonas DV
Automatica, 103, 538, 2019 |
| 8 |
Periodic event-triggered control for networked control systems based on non-monotonic Lyapunov functions
Linsenmayer S, Dimarogonas DV, Allgower F
Automatica, 106, 35, 2019 |
| 9 |
Feedback control strategies for multi-agent systems under a fragment at) of signal temporal logic tasks
Lindemann L, Dimarogonas DV
Automatica, 106, 284, 2019 |
| 10 |
Robust self-triggered control for time-varying and uncertain constrained systems via reachability analysis
Gao YL, Yu P, Dimarogonas DV, Johansson KH, Xie LH
Automatica, 107, 574, 2019 |
