We stand with Ukraine  

Shaowen Miao

Orcid: 0009-0008-4913-1999

According to our database1, Shaowen Miao authored at least 13 papers between 2023 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
On Robust Supervisory Control of Metric Discrete Event Systems for scLTL Specifications.
[BibTeX]
[DOI]
Peiran Liu
,
Shaowen Miao
,
Yiding Ji
,
Xiang Yin
Discret. Event Dyn. Syst., December, 2026

Enforcement of Critical Observability in Modular Discrete-Event Systems.
[BibTeX]
[DOI]
Shaowen Miao
,
Jan Komenda
,
Tomás Masopust
,
Aiwen Lai
IEEE Trans. Autom. Control., March, 2026

Hierarchical supervisory control of networked and cyber-attacked discrete-event systems.
[BibTeX]
[DOI]
Shaowen Miao
,
Jan Komenda
,
Feng Lin
Autom., 2026

Diagnosability verification for automata and Petri nets: Can we do better?
[BibTeX]
[DOI]
Shaowen Miao
,
Petr Jancar
,
Jan Komenda
,
Tomás Masopust
,
Aiwen Lai
Autom., 2026

2025
Active prognosis and diagnosis of modular discrete-event systems.
[BibTeX]
[DOI]
Shaopeng Hu
,
Shaowen Miao
,
Jan Komenda
,
Zhi-Wu Li
CoRR, December, 2025

Active Diagnosis of Time-Interval Automata: Time Perspectives.
[BibTeX]
[DOI]
Shaowen Miao
,
Jan Komenda
,
Aiwen Lai
IEEE Trans Autom. Sci. Eng., 2025

State estimation for discrete-event systems with reliable states under sequential attacks.
[BibTeX]
[DOI]
Yonghong Luo
,
Shaowen Miao
,
Aiwen Lai
Eur. J. Control, 2025

Protect Your Knowledge: Epistemic Property Enforcement of Discrete-Event Systems With Asymmetric Information.
[BibTeX]
[DOI]
Shaowen Miao
,
Bohan Cui
,
Yiding Ji
,
Xiang Yin
IEEE Control. Syst. Lett., 2025

Supervisory Control of Weighted Automata With Control Delays.
[BibTeX]
[DOI]
Yonghong Luo
,
Shaowen Miao
,
Xiao Yu
,
Aiwen Lai
IEEE Control. Syst. Lett., 2025

Always guarding you: Strong initial-and-final-state opacity of discrete-event systems.
[BibTeX]
[DOI]
Shaowen Miao
,
Aiwen Lai
,
Jan Komenda
Autom., 2025

2024
Decentralized Fault Diagnosis for Constant-Time Automata.
[BibTeX]
[DOI]
Shaowen Miao
,
Aiwen Lai
,
Jan Komenda
,
Sébastien Lahaye
IEEE Control. Syst. Lett., 2024

Initial-and - Final-State Detectability of Nondeterministic Finite-State Automata.
[BibTeX]
[DOI]
Liren Shen
,
Shaowen Miao
,
Aiwen Lai
,
Jan Komenda
,
Sébastien Lahaye
Proceedings of the 14th Asian Control Conference, 2024

2023
Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition.
[BibTeX]
[DOI]
Shaowen Miao
,
Aiwen Lai
,
Xiao Yu
,
Sébastien Lahaye
,
Jan Komenda
Proceedings of the 9th International Conference on Control, 2023


  Loading...