Journal Papers

1. “Always Guarding You: Strong Initial-and-Final-State Opacity of Discrete-Event Systems”
   Shaowen Miao, Aiwen Lai*, and Jan Komenda
   Automatica, 173: 112085, 2025. (Regular Paper)
2. “Enforcement of Critical Observability in Modular Discrete-Event Systems”
   Shaowen Miao, Jan Komenda, Tomáš Masopust, and Aiwen Lai*
   IEEE Transactions on Automatic Control (TAC), conditionally accepted.
3. “Active Diagnosis of Time-Interval Automata: Time Perspectives”
   Shaowen Miao, Jan Komenda, and Aiwen Lai*
   IEEE Transactions on Automation Science and Engineering (T-ASE), early access, 2025.
4. “Protect Your Knowledge: Epistemic Property Enforcement of Discrete-Event Systems with Asymmetric Information”
   Shaowen Miao, Bohan Cui, Yiding Ji*, and Xiang Yin*
   IEEE Control Systems Letters (L-CSS), early access, 2025.
5. “Decentralized Fault Diagnosis for Constant-Time Automata”
   Shaowen Miao, Aiwen Lai*, Jan Komenda, and Sébastien Lahaye
   IEEE Control Systems Letters (L-CSS), 8: 3392-3397, 2024.
6. “Supervisory Control of Weighted Automata With Control Delays”
   Yonghong Luo, Shaowen Miao, Xiao Yu, and Aiwen Lai*
   IEEE Control Systems Letters (L-CSS), accepted and in press.
7. “Verification of Initial-and-Final-State Opacity for Unambiguous Weighted Automata”
   Liren Shen, Shaowen Miao, Aiwen Lai*, and Jan Komenda
   ISA Transactions, 148: 237-246, 2024.
8. ””
   Shaowen Miao, Petr Jančar, Jan Komenda, Tomáš Masopust, and Aiwen Lai*
   under 2nd rewiew.
9. ””
   Shaowen Miao, Jan Komenda*, and Feng Lin
   under 2nd rewiew.
10. ””
    Peiran Liu, Shaowen Miao, Yiding Ji*, and Xiang Yin*
    under 2nd rewiew.
11. ””
    Shaowen Miao, Aiwen Lai*, Jan Komenda, and Sébastien Lahaye
    under 3rd rewiew.
12. ””
    Yonghong Luo, Shaowen Miao, and Aiwen Lai*
    under 2nd rewiew.

Conference Papers

1. “A Task Decomposition Approach for Signal Temporal Logic Control”
   Yangrui Zhang, Shiheng Zhang, Shaowen Miao, and Yiding Ji*
   13rd China Automation Congress (CAC), accepted, 2025.
2. “Supervisory Control for Current-State E-Opacity Enforcement under Encrypted Observations”
   Yonghong Luo, Shaowen Miao, Weiyao Lan, and Aiwen Lai*
   37th Chinese Control and Decision Conference (CCDC), accepted, 2025.
3. “Decidability of Probabilistic Current-State Opacity for Probabilistic Finite Automata”
   Keru Chen, Shaowen Miao, Aiwen Lai, Ji Ma*, and Sihan Chen
   43rd Chinese Control Conference (CCC), pp. 1556-1561, 2024.
4. “Initial-and-Final-State Detectability of Nondeterministic Finite-State Automata”
   Liren Shen, Shaowen Miao, Aiwen Lai*, Jan Komenda, and Sébastien Lahaye
   
   14th Asian Control Conference (ASCC), pp. 509-514, 2024.
5. “Verification of Delayed Detectability for Unambiguous Weighted Automata”
   Guoqiang Xu, Shaowen Miao, Aiwen Lai*, and Weiyao Lan
   
   6th International Conference on Mechatronics, Robotics and Automation (ICMRA), pp. 1-5, 2023.
6. “Verification of Detectability for Unambiguous Weighted Automata using Self-Composition” [Corr.]
   Shaowen Miao, Aiwen Lai*, Xiao Yu, Sébastien Lahaye, and Jan Komenda
   9th International Conference on Control, Decision and Information Technologies (CoDIT), pp. 251-256, 2023.

Thesis/Dissertation

1. “Security and Timing Analysis in Discrete-Event Systems: From Verification to Synthesis” (in Chinese)
   M.Eng. Thesis, Department of Automation, Xiamen University, 2025.