L∞ Interval Observers Design for Actuator Fault Detection of Discrete-Time Linear Switched Systems | IEEE Conference Publication | IEEE Xplore