Set-theoretic fault-diagnosis for a nonlinear real-word fluidic benchmark | IEEE Conference Publication | IEEE Xplore