Combining set-theoretic UIO and invariant sets for optimal guaranteed robust fault detection and isolation. (June 2019)