Input Design for Guaranteed Fault Diagnosis Using Zonotopes