Safe PDE Backstepping QP Control With High Relative Degree CBFs: Stefan Model With Actuator Dynamics | IEEE Journals & Magazine | IEEE Xplore