Fault detectability analysis for linear systems within a set-based framework