21 citations · 129 across the 42 of their papers we have counts for
3 papers · 1 filter
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…
Robust Motion Planning employing Signal Temporal Logic
Lars Lindemann, Dimos V. Dimarogonas
Motion planning classically concerns the problem of accomplishing a goal configuration while avoiding obstacles. However, the need for more sophisticated motion planning methodolog…
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…