Active-input-Fault-diagnosis Input design for guaranteed fault diagnosis using zonotopes mpt3 and CPLEX should be pre-installed in MATLAB