Show simple item record

dc.contributor.authorYoo, Chanyeol
dc.contributor.authorBelta, Calin
dc.date.accessioned2018-06-29T14:02:29Z
dc.date.available2018-06-29T14:02:29Z
dc.date.issued2015
dc.identifier.citationChanyeol Yoo, Calin Belta. 2015. "Control with Probabilistic Signal Temporal Logic.." CoRR, Volume abs/1510.08474
dc.identifier.urihttps://hdl.handle.net/2144/29729
dc.description.abstractAutonomous 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.en_US
dc.relation.ispartofCoRRen_US
dc.subjectSystems and controlen_US
dc.subjectLogic in computer scienceen_US
dc.subjectRoboticsen_US
dc.titleControl with probabilistic signal temporal logicen_US
dc.typeArticleen_US
pubs.elements-sourcedblpen_US
pubs.notesEmbargo: Not knownen_US
pubs.organisational-groupBoston Universityen_US
pubs.organisational-groupBoston University, College of Engineeringen_US
pubs.organisational-groupBoston University, College of Engineering, Department of Mechanical Engineeringen_US


This item appears in the following Collection(s)

Show simple item record