Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1016/j.ifacol.2018.08.046 | IFAC-PapersOnLine |
Keywords | Field | DocType |
Temporal properties,control synthesis,partially observable,Markov decision processes | Stochastic simulation,Observable,Partially observable Markov decision process,Upper and lower bounds,Computer science,A priori and a posteriori,Algorithm,Markov decision process,Linear temporal logic,Temporal logic | Conference |
Volume | Issue | ISSN |
51 | 16 | 2405-8963 |
Citations | PageRank | References |
1 | 0.35 | 10 |
Authors | ||
7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sofie Haesaert | 1 | 79 | 7.57 |
Petter Nilsson | 2 | 61 | 8.80 |
Cristian Ioan Vasile | 3 | 112 | 15.61 |
Rohan Thakker | 4 | 4 | 3.78 |
Ali-akbar Agha-mohammadi | 5 | 140 | 22.23 |
Aaron D. Ames | 6 | 1202 | 136.68 |
Richard M. Murray | 7 | 12322 | 1223.70 |