Tank volume control with pump failure: a case study in the mixed logic dynamic system | IEEE Conference Publication | IEEE Xplore