Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2102.06787
Cited By
High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications
American Control Conference (ACC), 2021
12 February 2021
Wei Xiao
C. Belta
Christos G. Cassandras
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications"
9 / 9 papers shown
Achieving Safe Control Online through Integration of Harmonic Control Lyapunov-Barrier Functions with Unsafe Object-Centric Action Policies
Electronic Proceedings in Theoretical Computer Science (EPTCS), 2025
Marlow Fawn
Matthias Scheutz
53
0
0
18 Nov 2025
Contact-Aware Safety in Soft Robots Using High-Order Control Barrier and Lyapunov Functions
IEEE Robotics and Automation Letters (IEEE RA-L), 2025
Kiwan Wong
Maximilian Stolzle
Wei Xiao
Cosimo Della Santina
Daniela Rus
Gioele Zardini
294
7
0
05 May 2025
Robust Trajectory Generation and Control for Quadrotor Motion Planning with Field-of-View Control Barrier Certification
IEEE Robotics and Automation Letters (IEEE RA-L), 2025
Lishuo Pan
Mattia Catellani
Lorenzo Sabattini
Nora Ayanian
483
2
0
03 Feb 2025
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
Xiang Yin
Bingzhao Gao
Xiao Yu
297
51
0
20 Feb 2024
Real-time Perceptive Motion Control using Control Barrier Functions with Analytical Smoothing for Six-Wheeled-Telescopic-Legged Robot Tachyon 3
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2023
Noriaki Takasugi
Masaya Kinoshita
Yasuhisa Kamikawa
Ryoichi Tsuzaki
Atsushi Sakamoto
Toshimitsu Kai
Yasunori Kawanami
332
9
0
18 Oct 2023
Obstacle Avoidance for Unicycle-Modelled Mobile Robots with Time-varying Control Barrier Functions
Annual Conference of the IEEE Industrial Electronics Society (IECON), 2023
Jihao Huang
Zhitao Liu
Jun Zeng
Xuemin Chi
Hongye Su
198
16
0
17 Jul 2023
Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet
IEEE Conference on Decision and Control (CDC), 2023
Wenliang Liu
Wei Xiao
C. Belta
186
10
0
12 Apr 2023
Collision-free Source Seeking Control Methods for Unicycle Robots
IEEE Transactions on Automatic Control (TAC), 2022
Tinghua Li
B. Jayawardhana
346
11
0
14 Dec 2022
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions
Charles Dawson
Zengyi Qin
Sicun Gao
Chuchu Fan
499
222
0
14 Sep 2021
1
Page 1 of 1
