Path detectability verification for time-dependent systems with application to flexible manufacturing systems. - Tao Qin 005; Jiawang Zhu; Zhiwu Li 001; Xin Hu; Almetwally M. Mostafa (Inf. Sci., 2025)