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. “Hierarchical Supervisory Control of Networked and Cyber-Attacked Discrete-Event Systems”
   Shaowen Miao, Jan Komenda*, and Feng Lin
   Automatica, accepted, 2025.
4. “Active Diagnosis of Time-Interval Automata: Time Perspectives”
   Shaowen Miao, Jan Komenda, and Aiwen Lai*
   IEEE Transactions on Automation Science and Engineering (T-ASE), 22: 11239-11249, 2025.
5. “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), 9: 1832-1837, 2025.
6. “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, 2025.
7. “Supervisory Control of Weighted Automata With Control Delays”
   Yonghong Luo, Shaowen Miao, Xiao Yu, and Aiwen Lai*
   IEEE Control Systems Letters (L-CSS), 9: 1952-1957, 2025.
8. “Timed Initial-State Detectability of Discrete-Event Systems by Algebraic Method”
   Shaowen Miao, Aiwen Lai*, Jan Komenda, and Sébastien Lahaye
   Nonlinear Analysis: Hybrid Systems (NAHS), accepted, 2025.
9. “State Estimation for Discrete-Event Systems With Reliable States Under Sequential Attacks”
   Yonghong Luo, Shaowen Miao, and Aiwen Lai*
   European Journal of Control (EJC), 85: 101349, 2025.
10. “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.
11. ””
    Shaowen Miao, Petr Jančar, Jan Komenda, Tomáš Masopust, and Aiwen Lai*
    under 2nd rewiew.
12. ””
    Peiran Liu, Shaowen Miao, Yiding Ji*, and Xiang Yin
    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), pp. 5601-5607, 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.