BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning
暂无分享,去创建一个
Ufuk Topcu | Luis Sentis | Binghan He | Jaemin Lee | L. Sentis | U. Topcu | Jaemin Lee | Binghan He
[1] Stephen Prajna. Barrier certificates for nonlinear model validation , 2006, Autom..
[2] Paulo Tabuada,et al. Control Barrier Function Based Quadratic Programs for Safety Critical Systems , 2016, IEEE Transactions on Automatic Control.
[3] Daniel E. Koditschek,et al. Sequential Composition of Dynamically Dexterous Robot Behaviors , 1999, Int. J. Robotics Res..
[4] E. Yaz. Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.
[5] Steven M. LaValle,et al. Rapidly-Exploring Random Trees: Progress and Prospects , 2000 .
[6] Ufuk Topcu,et al. Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).
[7] Petter Nilsson,et al. Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control , 2018, 2018 IEEE Conference on Decision and Control (CDC).
[8] Necmiye Ozay,et al. Abstraction, discretization, and robustness in temporal logic control of dynamical systems , 2014, HSCC.
[9] Ufuk Topcu,et al. Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems , 2014, IEEE Transactions on Automatic Control.
[10] Russ Tedrake,et al. Feedback-motion-planning with simulation-based LQR-trees , 2016, Int. J. Robotics Res..
[11] Matthew R. Walter,et al. Reachability-guided sampling for planning under differential constraints , 2009, 2009 IEEE International Conference on Robotics and Automation.
[12] Hong Chen,et al. LMI Based H∞Control for Constrained Linear Systems with Norm-Bounded Uncertainties , 2006, 2006 6th World Congress on Intelligent Control and Automation.
[13] Ian R. Manchester,et al. LQR-trees: Feedback Motion Planning via Sums-of-Squares Verification , 2010, Int. J. Robotics Res..
[14] Hadas Kress-Gazit,et al. Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors , 2015, Int. J. Robotics Res..
[15] Luis Sentis,et al. Safety Control Synthesis with Input Limits: a Hybrid Approach , 2018, 2018 Annual American Control Conference (ACC).
[16] Christel Baier,et al. Principles of model checking , 2008 .
[17] Luis Sentis,et al. Quadric Inclusion Programs: An LMI Approach to $\mathcal H_\infty$-Model Identification , 2018, IEEE Transactions on Automatic Control.
[18] L. Sentis,et al. Quadric Inclusion Programs : an LMI Approach to H ∞-Model Identification , 2018 .
[19] Emilio Frazzoli,et al. Sampling-based algorithms for optimal motion planning , 2011, Int. J. Robotics Res..