Control of state-constrained nonlinear systems using Integral Barrier Lyapunov Functionals | IEEE Conference Publication | IEEE Xplore