A Fully Actuated System Approach to Fault Detection Set-Valued Observer Design for Discrete-Time Nonlinear Systems | IEEE Conference Publication | IEEE Xplore