CBF-Rover: Online Safety-Control Simulation for Mobile Robots
For mobile robots under stochastic disturbances and dynamic obstacles, this project combines robot dynamics, layered simulation, and online CBF safety filtering, then checks closed-loop behavior in numerical dynamics simulation and Gazebo.
- Problem
- Nominal control actions can violate road or collision constraints under disturbances and moving obstacles, so the closed loop needs an interpretable runtime correction.
- My work
- I built the dynamics, scenario specification, and layered simulation architecture, then implemented per-step online CBF filtering, constraint evaluation, safety-margin tracking, and trajectory visualization.
- Current result
- Closed-loop behavior has been checked empirically in numerical dynamics simulation and Gazebo. The formal certificate module remains in progress, and these results are not presented as a probabilistic proof.
- 01Nominal controllerProposes a control action
- 02Online CBF filterCorrects it against road and obstacle constraints
- 03Robot dynamicsStochastic disturbance · dynamic obstacles
- 04Two-environment checkNumerical dynamics simulation · Gazebo