• Corpus ID: 240419906

# Safe PDE Backstepping QP Control with High Relative Degree CBFs: Stefan Model with Actuator Dynamics

@article{Koga2021SafePB,
title={Safe PDE Backstepping QP Control with High Relative Degree CBFs: Stefan Model with Actuator Dynamics},
author={Shumon Koga and Miroslav Krsti{\'c}},
journal={ArXiv},
year={2021},
volume={abs/2111.01187}
}
• Published 1 November 2021
• Mathematics
• ArXiv
High-relative-degree control barrier functions (hirel-deg CBFs) play a prominent role in automotive safety and in robotics. In this paper we launch a generalization of this concept for PDE control, treating a specific, physically-relevant model of thermal dynamics where the boundary of the PDE moves due to a liquid-solid phase change—the so-called Stefan model. The familiar QP design is employed to ensure safety but with CBFs that are infinite-dimensional (including one control barrier…
1 Citations

## Figures and Tables from this paper

Safe Backstepping with Control Barrier Functions
• Mathematics
ArXiv
• 2022
—Complex control systems are often described in a layered fashion, represented as higher-order systems where the inputs appear after a chain of integrators. While Control Barrier Functions (CBFs)

## References

SHOWING 1-10 OF 54 REFERENCES
Control Barrier Functions for Systems with High Relative Degree
• Mathematics
2019 IEEE 58th Conference on Decision and Control (CDC)
• 2019
This paper forms optimal control problems with constraints given by HOCBF and control Lyapunov functions (CLF), and provides a promising method to address the conflict between HOC BF constraints and control limitations by penalizing the class $\mathcal{K}$ functions.
Delay compensated control of the Stefan problem and robustness to delay mismatch
• Engineering, Mathematics
International Journal of Robust and Nonlinear Control
• 2020
This paper presents a control design for the one-phase Stefan problem under actuator delay via a backstepping method, and robustness analysis with respect to the delay mismatch between the plant and the controller is studied, which provides analogous results to the exact compensation by restricting the control gain.
Control Barrier Function Based Quadratic Programs for Safety Critical Systems
• Mathematics
IEEE Transactions on Automatic Control
• 2017
This paper develops a methodology that allows safety conditions—expression as control barrier functions—to be unified with performance objectives—expressed as control Lyapunov functions—in the context of real-time optimization-based controllers.
High Relative Degree Control Barrier Functions Under Input Constraints
• Mathematics
2021 60th IEEE Conference on Decision and Control (CDC)
• 2021
This paper presents methodologies for ensuring forward invariance of sublevel sets of constraint functions with high-relative-degree with respect to the system dynamics and in the presence of input constraints, and presents a general form for one such ZCBF, as well as a special case applicable to a specific class of systems.
Control and State Estimation of the One-Phase Stefan Problem via Backstepping Design
• Mathematics
IEEE Transactions on Automatic Control
• 2019
A full-state feedback control law, an observer design, and the associated output feedback controllaw of both Neumann and Dirichlet boundary actuations via the backstepping method are proposed for the one-phase Stefan problem.
Exponential Control Barrier Functions for enforcing high relative-degree safety-critical constraints
• Mathematics
2016 American Control Conference (ACC)
• 2016
We introduce Exponential Control Barrier Functions as means to enforce strict state-dependent high relative degree safety constraints for nonlinear systems. We also develop a systematic design method
Spill-Free Transfer and Stabilization of Viscous Liquid
• Mathematics
IEEE Transactions on Automatic Control
• 2022
The obtained results allow an algorithmic solution of the problem of the spill-free movement and slosh-free settlement of a liquid in a vessel of limited height by a robot to a pre-specified position, no matter how full the vessel is.