Shaowen Miao

Shaowen Miao

Fourth-year graduate student

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), early access, 2026.
  3. Diagnosability Verification for Automata and Petri Nets: Can We Do Better?
    Shaowen Miao, Petr Jančar, Jan Komenda, Tomáš Masopust, and Aiwen Lai*
    Automatica, accept provisionally, 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), accepted and in press, 2026.
  7. Quantitative Robust Supervisory Control for Linear Temporal Logic Specifications
    Shaowen Miao, Yiding Ji*, Shaoyuan Li, and Xiang Yin*
    SCIENCE CHINA Information Sciences (SCIS), under 1st review, 2026.
  8. “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.
  9. “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.
  10. “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.
  11. “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.
  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 1st rewiew.
  15. Temporal Logic-Based Coverage and Path Planning for Unmanned Aerial–Ground Vehicle Systems
    Shiheng Zhang†, Yangrui Zhang†, Shaowen Miao, and Yiding Ji*
    under 1st rewiew.

Conference Papers

  1. Stabilization of Switched Systems via Neural Multiple Lyapunov Certificates
    Junyue Huang, Bowen Ye, Yu Chen, Shaowen Miao, and Xiang Yin*
    43rd International Conference on Machine Learning (ICML), 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), submitted, 2026.
  3. Modular Control for Critical Observability and Weak Opacity in Discrete Event Systems
    Shaowen Miao, Jan Komenda, and Yiding Ji*
    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), accepted, 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.

Thesis

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