7 citations · 19 across the 10 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2012★ 4 cited
Receding Horizon Temporal Logic Control for Finite Deterministic Systems
Xuchu Ding, Mircea Lazar, Calin Belta
This paper considers receding horizon control of finite deterministic systems, which must satisfy a high level, rich specification expressed as a linear temporal logic formula. Und…
math.OC2011
LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees
Xu Chu Ding, Stephen L. Smith, Calin Belta +1
We present a method to generate a robot control strategy that maximizes the probability to accomplish a task. The task is given as a Linear Temporal Logic (LTL) formula over a set…