Browse wiki
From MurrayWiki
Temporal Logic Control of POMDPs via Labelbased Stochastic Simulation Relations 
Abstract 
The synthesis of controllers guaranteeing … The synthesis of controllers guaranteeing linear temporal logic specifications on partially observable Markov decision processes (POMDP) via their belief models causes computational issues due to the continuous spaces. In this work, we construct a finitestate abstraction on which a control policy is synthesized and refined back to the original belief model. We introduce a new notion of label based approximate stochastic simulation to quantify the deviation between belief models. We develop a robust synthesis methodology that yields a lower bound on the satisfaction probability, by compensating for deviations a priori, and that utilizes a less conservative control refinement. es a less conservative control refinement. +


Authors  S. Haesaert, P. Nilsson, C. I. Vasile, R. Thakker, A. Aghamohammadi, A. D. Ames and R. M. Murray + 
Funding  SafetyCritical Autonomy and Verification for Space Missions + 
ID  2017m + 
Source  To appear in IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2018 + 
Tag  hae+18adhs + 
Title  Temporal Logic Control of POMDPs via Labelbased Stochastic Simulation Relations + 
Type  Conference paper + 
Categories  Papers 
Modification date This property is a special property in this wiki.

15 July 2018 05:56:57 + 
URL This property is a special property in this wiki.

http://ames.caltech.edu/hetal_adhs18.pdf + 
hide properties that link here 
Temporal Logic Control of POMDPs via Labelbased Stochastic Simulation Relations +  Title 
