Chengshi Miao Detectability of Timed Discrete Event Systems. 78017-78027 2023 11 IEEE Access https://doi.org/10.1109/ACCESS.2023.3298099 db/journals/access/access11.html#Miao23