Shaowen Miao

Shaowen Miao

Fourth-year graduate student

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.

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. “Temporal Logic Guided Coverage Control and Path Planning for Unmanned Aerial–Ground Vehicle Systems”
    Shiheng Zhang†, Yangrui Zhang†, Shaowen Miao, and Yiding Ji*
    Nonlinear Analysis: Hybrid Systems (NAHS), 62: 101747, 2026.
  12. “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.
  13. “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.
  14. Active Prognosis and Diagnosis of Modular Discrete-Event Systems [Preprint]
    Shaopeng Hu, Shaowen Miao, Jan Komenda, and Zhiwu Li*
    under 2nd rewiew.
  15. Quantitative Robust Supervisory Control of Discrete Event Systems for Linear Temporal Logic Specifications
    Shaowen Miao, Yiding Ji*, and Xiang Yin*
    under 1st review.

Conference Papers

  1. Stabilization of Switched Systems via Neural Multiple Lyapunov Certificates
    Junyue Huang, Bowen Ye, Yu Chen, Shaowen Miao, and Xiang Yin*
    40th Annual Conference on Neural Information Processing Systems (NeurIPS), submitted, 2026.
  2. Weak Prognosability of Discrete Event Systems
    Shaowen Miao, Petr Jančar, Jan Komenda, Tomáš Masopust, Aiwen Lai, and Yiding Ji*
    18th Workshop on Discrete Event Systems (WODES), accepted, 2026.
  3. 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.
  4. “A Task Decomposition Approach for Signal Temporal Logic Control”
    Yangrui Zhang†, Shiheng Zhang†, Shaowen Miao, and Yiding Ji*
    China Automation Congress (CAC), pp. 3242-3247, 2025.
  5. “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.
  6. “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.
  7. “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.
  8. “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.
  9. “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.