Backstepping boundary control for semilinear parabolic PDEs | IEEE Conference Publication | IEEE Xplore