On input state space reduction and buffer noneffective region | IEEE Conference Publication | IEEE Xplore