Interval Barrier Lyapunov Function and Its Application to Wheeled Mobile Robot | IEEE Conference Publication | IEEE Xplore