Fault detection for switched systems with finite-frequency specifications