Ji, X. and Niu, Y., 2016, Robust strategy planning for UAV with LTL specifications, 35th Chinese Control Conference, CCC, 27-29 July 2016, Chengdu; China, Article number 7553803, Pages 2890-2895.
This paper presents a high level strategy planning framework for the UAV, in which the strategy planning problem under uncertain conditions is abstracted into Markov Decision Processes with uncertain parameters, and the mission requirements are specified using Linear Temporal Logic Language. The objective is to compute a robust satisfying policy to maximize the robustness to the uncertainty while satisfying the desired requirements of system performance or the mission specification. The info-gap decision model is used to describe the uncertain parameters of MDP, i.e., the transition probability, and thus we propose a new model as Info-gap based MDPs (IMDPs). The LTL formula of mission specifications is converted to Deterministic Rabin Automaton (DRA). A product IMDP is constructed by combing the IMDP with DRA in the form of Cartesian product. Based on robust dynamic programming, we propose a robust satisfying policy generation algorithm to solve the product IMDP. An example of UAV high level strategy planning is given to verify our algorithm and the resulting policy can maximize the robustness while satisfying the mission specifications.
Xiaoting Ji, Yifeng Niu and Lincheng Shen, 2016, Robust satisficing decision making for unmanned aerial vehicle complex missions under severe uncertainty, PLoS One, 11(11): e0166448. doi:10.1371/journal.pone.0166448. Abstract.
Sisso, Itay, Tal Shima, and Yakov Ben-Haim, 2010, Info-gap approach to multi agent search under severe uncertainty, IEEE Transactions on Robotics, vol. 26, issue 6, pp.1032-1041. Pre-print.