Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions

Hongkai Dai Chuanrui Jiang Hongchao Zhang Andrew Clark 2024 Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions 10.48550/arXiv.2406.18914 https://arxiv.org/abs/2406.18914 Alexandre Donzé 2013 On Signal Temporal Logic Axel Legay Saddek Bensalem Runtime Verification Springer Berlin Heidelberg

Berlin, Heidelberg

382–383 10.1007/978-3-642-40787-1_27 Shijie Fang Wenchang Gao Shivam Goel Christopher Thierauf Matthias Scheutz Jivko Sinapov 2025 FLEX: A Framework for Learning Robot-Agnostic Force-based Skills Involving Sustained Contact Object Manipulation Proceedings of the 2025 IEEE International Conference on Robotics and Automation 4782–4788 10.1109/ICRA55743.2025.11127866 Shangding Gu Long Yang Yali Du Guang Chen Florian Walter Jun Wang Alois Knoll 2024 A Review of Safe Reinforcement Learning: Methods, Theories, and Applications IEEE Transactions on Pattern Analysis and Machine Intelligence 46 12 11216–11235 10.1109/TPAMI.2024.3457538 Neville Hogan 1984 Impedance Control: An Approach to Manipulation 1984 American Control Conference 304–313 10.23919/ACC.1984.4788393 O. Khatib 1987 A unified approach for motion and force control of robot manipulators: The operational space formulation IEEE Journal on Robotics and Automation 3 1 43–53 10.1109/JRA.1987.1087068 Constantine Lignos Vasumathi Raman Cameron Finucane Mitchell P. Marcus Hadas Kress-Gazit 2015 Provably correct reactive control from natural language Auton. Robots 38 1 89–105 10.1007/S10514-014-9418-8 Lars Lindemann Dimos V. Dimarogonas 2019 Control Barrier Functions for Signal Temporal Logic Tasks IEEE Control Systems Letters 3 1 96–101 10.1109/LCSYS.2018.2853182 Amartya Mukherjee Ruikun Zhou Haocheng Chang Jun Liu 2024 Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications 10.48550/arXiv.2310.02869 Muhammad Zakiyullah Romdlony Bayu Jayawardhana 2016 Stabilization with guaranteed safety using Control Lyapunov–Barrier Function Automatica 66 39–47 10.1016/j.automatica.2015.12.011 https://www.sciencedirect.com/science/article/pii/S0005109815005439 Krishnan Srinivasan Benjamin Eysenbach Sehoon Ha Jie Tan Chelsea Finn 2020 Learning to be Safe: Deep RL with a Safety Critic 10.48550/arXiv.2010.14603 http://arxiv.org/abs/2010.14603 Mohit Srinivasan Samuel Coogan 2019 Control Of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications CoRR abs/1908.04903 10.48550/arXiv.1908.04903 http://arxiv.org/abs/1908.04903 Wei Xiao Calin A. Belta Christos G. Cassandras 2021 High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications 2021 American Control Conference (ACC) 4886–4891 10.23919/ACC50511.2021.9483028 Hongchao Zhang Zhizhen Qin Sicun Gao Andrew Clark 2024 SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions 10.48550/arXiv.2410.20326 https://arxiv.org/abs/2410.20326