Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition. - Shaowen Miao; Aiwen Lai; Xiao Yu 002; Sébastien Lahaye; Jan Komenda (CoDIT, 2023)

Initial-and - Final-State Detectability of Nondeterministic Finite-State Automata. - Liren Shen; Shaowen Miao; Aiwen Lai; Jan Komenda; Sébastien Lahaye (ASCC, 2024)

Decentralized Fault Diagnosis for Constant-Time Automata. - Shaowen Miao; Aiwen Lai; Jan Komenda; Sébastien Lahaye (IEEE Control. Syst. Lett., 2024)

Always guarding you: Strong initial-and-final-state opacity of discrete-event systems. - Shaowen Miao; Aiwen Lai; Jan Komenda (Autom., 2025)

Supervisory Control of Weighted Automata With Control Delays. - Yonghong Luo; Shaowen Miao; Xiao Yu 002; Aiwen Lai (IEEE Control. Syst. Lett., 2025)

Protect Your Knowledge: Epistemic Property Enforcement of Discrete-Event Systems With Asymmetric Information. - Shaowen Miao; Bohan Cui; Yiding Ji; Xiang Yin 003 (IEEE Control. Syst. Lett., 2025)

State estimation for discrete-event systems with reliable states under sequential attacks. - Yonghong Luo; Shaowen Miao; Aiwen Lai (Eur. J. Control, 2025)

Active Diagnosis of Time-Interval Automata: Time Perspectives. - Shaowen Miao; Jan Komenda; Aiwen Lai (IEEE Trans Autom. Sci. Eng., 2025)

Hierarchical supervisory control of networked and cyber-attacked discrete-event systems. - Shaowen Miao; Jan Komenda; Feng Lin 001 (Autom., 2026)