Title :
Finite state control of POMDPs with LTL specifications
Author :
Sharan, Rangoli ; Burdick, Joel
Author_Institution :
California Inst. of Technol., Pasadena, CA, USA
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;
Conference_Titel :
American Control Conference (ACC), 2014
Conference_Location :
Portland, OR
Print_ISBN :
978-1-4799-3272-6
DOI :
10.1109/ACC.2014.6858909
