CBF-Rover: Safe Control for Mobile Robots under Stochastic Disturbances
For stochastic disturbances and dynamic obstacles, this project combines reinforcement learning, sparse polynomial controllers, and stochastic barrier-certificate optimization with online CBF action correction and batch closed-loop simulation.
- Problem
- Learned policies must balance target reaching, obstacle avoidance, and verifiability. The robot also needs timely corrections to actions that could violate safety constraints under disturbances and moving obstacles.
- My work
- I independently developed policy training and optimization, dynamics models, and sparse polynomial approximations. Stochastic barrier certificates (SBCs) and SOS/SDP optimization compute probability lower bounds and provide feedback for controller improvement. Python and MOSEK Fusion support batch disturbance and obstacle-trajectory simulations, alongside online CBF safety filtering.
- Phase results
- Simulations achieved safe target reaching and obstacle avoidance across multiple scenarios, while research probability lower bounds approached Monte Carlo estimates through iteration. Related methods are published in my first-author MEMOCODE 2026 (a constituent conference of ESWEEK 2026) paper, with follow-up work submitted to a CCF Class A conference. Robot-side CBF behavior is checked separately in numerical dynamics simulation and Gazebo; these empirical results are not a formal probabilistic guarantee for the complete robot system.
- 01Reference policy and modelReinforcement learning · dynamics
- 02Polynomial controllerSparse approximation for verification
- 03Probability lower boundSBC · SOS / SDP optimization
- 04Certificate feedbackController improvement · Monte Carlo comparison