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

• 成果类型: Article
• 署名作者: Koga, Shumon; Krstic, Miroslav
• 署名单位: University of California System; University of California San Diego; University of California System; University of California San Diego
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3250514
• 发表日期: 2023
• 页码: 7195-7208
• 关键词: Additive manufacturing (AM); Control barrier function (CBF); Distributed parameter systems; nonlinear control; quadratic program; safety; Stefan problem

摘要

High-relative-degree control barrier functions play a prominent role in automotive safety and in robotics. In this article, 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 quadratic programming (QP) design is employed to ensure safety but with CBFs that are infinite-dimensional (including one control barrier functional) and with safe sets that are infinite-dimensional as well. Since, in the presence of actuator dynamics, at the boundary of the Stefan system, this system's main CBF is of relative degree 2, an additional CBF is constructed, by backstepping design, which ensures the positivity of all the CBFs without any additional restrictions on the initial conditions. It is shown that the safety filter designed in this article guarantees safety in the presence of an arbitrary operator input. This is similar to an automotive system in which a safety feedback law overrides-but only when necessary-the possibly unsafe steering, acceleration, or braking by a vigorous but inexperienced driver. Simulations have been performed for a process in metal additive manufacturing, which show that the operator's heat-and-cool commands to the Stefan model are being obeyed but without the liquid ever freezing.