Book Chapters

1. Distributed Control with Nondeterministic Observations and Property Enforcement
   Jan Komenda, Tomáš Masopust, and Shaowen Miao
   in Supervisory Control of Distributed Discrete-Event Systems (eds. J. Komenda, R. Su, and J. H. van Schuppen). Lecture Notes in Control and Information Sciences, vol xxx. Springer-Verlag London, 2026.

Selected 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” [PDF]
   Shaowen Miao, Jan Komenda, Tomáš Masopust, and Aiwen Lai*
   IEEE Transactions on Automatic Control (TAC), 71(3): 2114-2119, 2026.
3. “Diagnosability Verification for Automata and Petri Nets: Can We Do Better?” [PDF]
   Shaowen Miao, Petr Jančar, Jan Komenda, Tomáš Masopust, and Aiwen Lai*
   Automatica, 189: 113011, 2026.
4. “Hierarchical Supervisory Control of Networked and Cyber-Attacked Discrete-Event Systems”
   Shaowen Miao, Jan Komenda*, and Feng Lin
   Automatica, 183: 112578, 2026.
5. “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.
6. “On Robust Supervisory Control of Metric Discrete Event Systems for scLTL Specifications”
   Peiran Liu†, Shaowen Miao†, Yiding Ji*, and Xiang Yin*
   Discrete Event Dynamic Systems: Theory and Applications (J-DEDS), 36(18), 2026.
7. “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.
8. “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.
9. “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.
10. “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), 59: 101633, 2026.
11. Active Prognosis and Diagnosis of Modular Discrete-Event Systems [Preprint]
    Shaopeng Hu, Shaowen Miao, Jan Komenda, and Zhiwu Li*
    under 2nd rewiew.
12. Quantitative Robust Supervisory Control of Discrete Event Systems for Linear Temporal Logic Specifications
    Shaowen Miao, Yiding Ji*, and Xiang Yin*
    under 1st review.

Selected Conference Papers

1. Semantics-Preserving Coordination for Multi-Robot Signal Temporal Logic Planning with Single-Robot Diffusion Priors
   Ruijia Liu†, Shaowen Miao†, Yiding Ji*, Xiao Yu, and Xiang Yin*
   41st Annual AAAI Conference on Artificial Intelligence Conference (AAAI), submitted, 2027.
2. Stabilization of Switched Systems via Neural Multiple Lyapunov Certificates
   Junyue Huang, Bowen Ye, Yu Chen, Shaowen Miao, and Xiang Yin*
   41st Annual AAAI Conference on Artificial Intelligence Conference (AAAI), submitted, 2027.
3. “Weak Prognosability of Discrete Event Systems”
   Shaowen Miao, Petr Jančar, Jan Komenda, Tomáš Masopust, Aiwen Lai, and Yiding Ji*
   18th International Workshop on Discrete Event Systems (WODES), pp. 217-222, 2026.
4. Modular Control for Critical Observability and Weak Opacity in Discrete Event Systems
   Shaowen Miao, Jan Komenda, Yiding Ji*, and Xiang Yin
   American Control Conference (ACC), accepted, 2026.
5. “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.

Theses

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