DocumentCode
184052
Title
Finite state control of POMDPs with LTL specifications
Author
Sharan, Rangoli ; Burdick, Joel
Author_Institution
California Inst. of Technol., Pasadena, CA, USA
fYear
2014
fDate
4-6 June 2014
Firstpage
501
Lastpage
508
Abstract
We consider the synthesis of control policies over partially observable Markov decision processes with linear temporal logic specifications. We limit the search of policies over finite state controllers of a fixed size which leads to a Markov chain with free parameters, over which the probability of satisfaction of the specification can be maximized.
Keywords
Markov processes; control system synthesis; temporal logic; LTL specifications; Markov chain; POMDP; finite state control; linear temporal logic specifications; partially observable Markov decision process; probability; Aerospace electronics; Markov processes; Mobile robots; Power capacitors; Robot sensing systems; Vehicles; Automata; Markov processes;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference (ACC), 2014
Conference_Location
Portland, OR
ISSN
0743-1619
Print_ISBN
978-1-4799-3272-6
Type
conf
DOI
10.1109/ACC.2014.6858909
Filename
6858909
Link To Document