Shaowen Miao

12 papers C 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Diagnosability verification for automata and Petri nets: Can we do better?
Autom.
Shaowen Miao, Petr Jancar, Jan Komenda, Tomás Masopust, Aiwen Lai
2026 J jnl
Enforcement of Critical Observability in Modular Discrete-Event Systems.
IEEE Trans. Autom. Control.
Shaowen Miao, Jan Komenda, Tomás Masopust, Aiwen Lai
2026 J jnl
Hierarchical supervisory control of networked and cyber-attacked discrete-event systems.
Autom.
Shaowen Miao, Jan Komenda, Feng Lin
2025 J jnl
Active Diagnosis of Time-Interval Automata: Time Perspectives.
IEEE Trans Autom. Sci. Eng.
Shaowen Miao, Jan Komenda, Aiwen Lai
2025 J jnl
Active prognosis and diagnosis of modular discrete-event systems.
CoRR
Shaopeng Hu, Shaowen Miao, Jan Komenda, Zhi-Wu Li
2025 J jnl
Always guarding you: Strong initial-and-final-state opacity of discrete-event systems.
Autom.
Shaowen Miao, Aiwen Lai, Jan Komenda
2025 J jnl
Protect Your Knowledge: Epistemic Property Enforcement of Discrete-Event Systems With Asymmetric Information.
IEEE Control. Syst. Lett.
Shaowen Miao, Bohan Cui, Yiding Ji, Xiang Yin
2025 J jnl
State estimation for discrete-event systems with reliable states under sequential attacks.
Eur. J. Control
Yonghong Luo, Shaowen Miao, Aiwen Lai
2025 J jnl
Supervisory Control of Weighted Automata With Control Delays.
IEEE Control. Syst. Lett.
Yonghong Luo, Shaowen Miao, Xiao Yu, Aiwen Lai
2024 J jnl
Decentralized Fault Diagnosis for Constant-Time Automata.
IEEE Control. Syst. Lett.
Shaowen Miao, Aiwen Lai, Jan Komenda, Sébastien Lahaye
2024 — conf
Initial-and - Final-State Detectability of Nondeterministic Finite-State Automata.
ASCC
Liren Shen, Shaowen Miao, Aiwen Lai, Jan Komenda, Sébastien Lahaye
2023 C conf
Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition.
CoDIT
Shaowen Miao, Aiwen Lai, Xiao Yu, Sébastien Lahaye, Jan Komenda