Finite time stabilization with a PDE state constraint for a class of nonlinear ODE-PDE systems | IEEE Conference Publication | IEEE Xplore