A state class method based on interval arithmetic | IEEE Conference Publication | IEEE Xplore