Moon Gi Seok, Wen Jun Tan, Wentong Cai 0001, Daejin Park. Digital-Twin Consistency Checking Based on Observed Timed Events With Unobservable Transitions in Smart Manufacturing. IEEE Trans. Industrial Informatics, 19(4):6208-6219, April 2023. [doi]
Abstract is missing.