Temporal logic control of POMDPs via label-based stochastic simulation relations

S. Haesaert, P. Nilsson, C. I. Vasile, R. Thakker, A. Agha-mohammadi, A. D. Ames, R. M. Murray

Onderzoeksoutput: Bijdrage aan tijdschriftCongresartikelpeer review

20 Citaten (Scopus)
3 Downloads (Pure)


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 finite-state 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.

Originele taal-2Engels
Pagina's (van-tot)271-276
Aantal pagina's6
Nummer van het tijdschrift16
StatusGepubliceerd - 1 jan. 2018
Evenement6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018 - Oxford, Verenigd Koninkrijk
Duur: 11 jul. 201813 jul. 2018


Duik in de onderzoeksthema's van 'Temporal logic control of POMDPs via label-based stochastic simulation relations'. Samen vormen ze een unieke vingerafdruk.

Citeer dit