An improved approach for verifying delayed detectability of discrete-event systems

Yang Liu, Zhaocong Liu, Xiang Yin 0003, Shaoyuan Li. An improved approach for verifying delayed detectability of discrete-event systems. Automatica, 124:109291, 2021. [doi]

Abstract

Abstract is missing.