21 citations · 129 across the 42 of their papers we have counts for
Showing 2017 · math.OCShow all
2 papers · 2 filters
math.OC2017
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…
math.OC2017★ 1 cited
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…