An interval arithmetic approach for discrete time non-smooth uncertain systems with application to an anti-locking system | IEEE Conference Publication | IEEE Xplore