Randomized sampling-based trajectory optimization for UAVs to satisfy linear temporal logic specifications

Goerzen, 2010, A survey of motion planning algorithms from the perspective of autonomous UAV guidance, J. Intell. Robot. Syst., 57, 65, 10.1007/s10846-009-9383-1 Zhang, 2018, Sequential convex programming for nonlinear optimal control problems in UAV path planning, Aerosp. Sci. Technol., 76, 280, 10.1016/j.ast.2018.01.040 Yao, 2015, Real-time path planning of unmanned aerial vehicle for target tracking and obstacle avoidance in complex dynamic environment, Aerosp. Sci. Technol., 47, 269, 10.1016/j.ast.2015.09.037 Mellinger, 2012, Trajectory generation and control for precise aggressive maneuvers with quadrotors, Int. J. Robot. Res., 31, 664, 10.1177/0278364911434236 Radmanesh, 2018, Grey wolf optimization based sense and avoid algorithm in a Bayesian framework for multiple UAV path planning in an uncertain environment, Aerosp. Sci. Technol., 77, 168, 10.1016/j.ast.2018.02.031 Ashokkumar, 2017, Trustable UAV for higher level control architectures, Aerosp. Sci. Technol., 68, 204, 10.1016/j.ast.2017.05.013 Alagar, 2011, 177 Papadopoulos, 2013, Asymptotically optimal inspection planning using systems with differential constraints, 4126 Kafka, 2016, Random inspection tree algorithm in visual inspection with a realistic sensing model and differential constraints, 2782 Bircher, 2017, An incremental sampling-based approach to inspection planning: the rapidly exploring random tree of trees, Robotica, 35, 1327, 10.1017/S0263574716000084 Tabuada, 2008, Controller synthesis for bisimulation equivalence, Syst. Control Lett., 57, 443, 10.1016/j.sysconle.2007.11.005 Kloetzer, 2008, A fully automated framework for control of linear systems from temporal logic specifications, IEEE Trans. Autom. Control, 53, 287, 10.1109/TAC.2007.914952 G.E. Fainekos, H. Kress-Gazit, G.J. Pappas, Hybrid controllers for path planning: a temporal logic approach, in: Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain, 12–15 Dec. 2005, pp. 4885–4890, https://doi.org/10.1109/CDC.2005.1582935. Belta, 2007, Symbolic planning and control of robot motion, IEEE Robot. Autom. Mag., 61, 10.1109/MRA.2007.339624 Erion, 2015, Motion planning with temporal-logic specifications: progress and challenges, AI Commun., 29, 151, 10.3233/AIC-150682 Wolper, 1983, Reasoning about infinite computation paths, 185 Zamani, 2012, Symbolic models for nonlinear control systems without stability assumptions, IEEE Trans. Autom. Control, 57, 1804, 10.1109/TAC.2011.2176409 Rungger, 2016, SCOTS: a tool for the synthesis of symbolic controllers Weber, 2017, Optimized state space grids for abstractions, IEEE Trans. Autom. Control, 62, 5816, 10.1109/TAC.2016.2642794 Wolff, 2014, Optimization-based trajectory generation with linear temporal logic specifications, 5319, 10.1109/ICRA.2014.6907641 Wongpiromsarn, 2010 S. Coogan, M. Arcak, Efficient finite abstraction of mixed monotone systems, in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, USA, April 14–16, 2015, pp. 58–67, https://doi.org/10.1145/2728606.2728607. Cho, 2017, Cost-aware path planning under co-safe temporal logic specifications, IEEE Robot. Autom. Lett., 2, 2308, 10.1109/LRA.2017.2727514 Bhatia, 2011, Motion planning with complex goals, IEEE Robot. Autom. Mag., 18, 55, 10.1109/MRA.2011.942115 Cowlagi, 2017, Route guidance for satisfying temporal logic specifications on aircraft motion, J. Guid. Control Dyn., 40, 390, 10.2514/1.G001829 Karaman, 2011, Linear temporal logic vehicle routing with applications to multi-UAV mission planning, Int. J. Robust Nonlinear Control, 21, 1372, 10.1002/rnc.1715 Karaman, 2012, Sampling-based algorithms for optimal motion planning with deterministic μ-calculus specifications, 735 Vasile, 2013, Sampling-based temporal logic path planning, 4817 Varricchio, 2014, Sampling-based algorithms for optimal motion planning using process algebra specifications, 5326 McMahon, 2014, Sampling-based tree search with discrete abstractions for motion planning with dynamics and temporal logic, 3726 Cutler, 2015, Analysis and control of a variable-pitch quadrotor for agile flight, J. Dyn. Syst. Meas. Control, 137, 10.1115/1.4030676 Linz, 2012, 37 Bui, 1994, Shortest path synthesis for Dubins non-holonomic robot, 2 Karaman, 2011, Sampling-based algorithms for optimal motion planning, Int. J. Robot. Res., 30, 846, 10.1177/0278364911406761 Duret-Lutz, 2016, Spot 2.0 — a framework for LTL and ω-automata manipulation, vol. 9938, 122 Klein, 2013, Localization with sparse acoustic sensor network using UAVs as information-seeking data mules, ACM Trans. Sens. Netw., 9, 10.1145/2480730.2480733