Saved in:
Bibliographic Details
Main Authors: Han, Tianyu, Wang, Bo
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2408.10941
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915044906762240
author Han, Tianyu
Wang, Bo
author_facet Han, Tianyu
Wang, Bo
contents We present a safety-critical controller for the problem of stabilization for force-controlled nonholonomic mobile robots. The proposed control law is based on the constructions of control Lyapunov functions (CLFs) and control barrier functions (CBFs) for cascaded systems. To address nonholonomicity, we design the nominal controller that guarantees global asymptotic stability and local exponential stability for the closed-loop system in polar coordinates and construct a strict Lyapunov function valid on any compact sets. Furthermore, we present a procedure for constructing CBFs for cascaded systems, utilizing the CBF of the kinematic model through integrator backstepping. Quadratic programming is employed to combine CLFs and CBFs to integrate both stability and safety in the closed loop. The proposed control law is time-invariant, continuous along trajectories, and easy to implement. Our main results guarantee both safety and local asymptotic stability for the closed-loop system.
format Preprint
id arxiv_https___arxiv_org_abs_2408_10941
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Safety-Critical Stabilization of Force-Controlled Nonholonomic Mobile Robots
Han, Tianyu
Wang, Bo
Systems and Control
We present a safety-critical controller for the problem of stabilization for force-controlled nonholonomic mobile robots. The proposed control law is based on the constructions of control Lyapunov functions (CLFs) and control barrier functions (CBFs) for cascaded systems. To address nonholonomicity, we design the nominal controller that guarantees global asymptotic stability and local exponential stability for the closed-loop system in polar coordinates and construct a strict Lyapunov function valid on any compact sets. Furthermore, we present a procedure for constructing CBFs for cascaded systems, utilizing the CBF of the kinematic model through integrator backstepping. Quadratic programming is employed to combine CLFs and CBFs to integrate both stability and safety in the closed loop. The proposed control law is time-invariant, continuous along trajectories, and easy to implement. Our main results guarantee both safety and local asymptotic stability for the closed-loop system.
title Safety-Critical Stabilization of Force-Controlled Nonholonomic Mobile Robots
topic Systems and Control
url https://arxiv.org/abs/2408.10941