21 citations · 129 across the 42 of their papers we have counts for
3 papers · 1 filter
Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments
Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas +1
We propose a hybrid feedback control law that guarantees both safety and asymptotic stability for a class of Lagrangian systems in environments with obstacles. Rather than performi…
Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks
Lars Lindemann, Dimos V. Dimarogonas
Motivated by the recent interest in formal methods-based control of multi-agent systems, we adopt a bottom-up approach. Each agent is subject to a local signal temporal logic task…
Prescribed Performance Control for Signal Temporal Logic Specifications
Lars Lindemann, Christos K. Verginis, Dimos V. Dimarogonas
Motivated by the recent interest in formal methods-based control for dynamic robots, we discuss the applicability of prescribed performance control to nonlinear systems subject to…