Control with Probabilistic Signal Temporal Logic

Abstract

Autonomous agents often operate in uncertain environments where their decisions are made based on beliefs over states of targets. We are interested in controller synthesis for complex tasks defined over belief spaces. Designing such controllers is challenging due to computational complexity and the lack of expressivity of existing specification languages. In this paper, we propose a probabilistic extension to signal temporal logic (STL) that expresses tasks over continuous belief spaces. We present an efficient synthesis algorithm to find a control input that maximises the probability of satisfying a given task. We validate our algorithm through simulations of an unmanned aerial vehicle deployed for surveillance and search missions.

7 pages, submitted to the 2016 American Control Conference (ACC 2016) on September, 30, 2015 (under review)

Cited by in corpus (4)

• Model Predictive Robustness of Signal Temporal Logic Predicates
• Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments
• Robust Control for Signal Temporal Logic Specifications using Average Space Robustness
• idSTLPy: A Python Toolbox for Active Perception and Control