Aiwen Lai

21 papers C 2Journal 16Unranked 2
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
Enforcement of Opacity for Interval Weighted Discrete-Event System by Supervisory Control.
IEEE Trans. Autom. Control.
Yiwei Zheng, Aiwen Lai, Weiyao Lan, Xiao Yu, Rong Su
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
Always guarding you: Strong initial-and-final-state opacity of discrete-event systems.
Autom.
Shaowen Miao, Aiwen Lai, Jan Komenda
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 J jnl
Early-Awareness Collision Avoidance in Optimal Multi-Agent Path Planning With Temporal Logic Specifications.
IEEE CAA J. Autom. Sinica
Yiwei Zheng, Aiwen Lai, Xiao Yu, Weiyao Lan
2023 J jnl
Intermittent fault manifestability of discrete event systems.
Soft Comput.
Ye Liang, Aiwen Lai, Mohammed A. El-Meligy, Mohamed Sharaf
2023 — conf
Optimal Path Planning With Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers.
CDC
Yiwei Zheng, Aiwen Lai, Weiyao Lan, Xiao Yu
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
2022 J jnl
Diagnosability of Unambiguous Max-Plus Automata.
IEEE Trans. Syst. Man Cybern. Syst.
Aiwen Lai, Jan Komenda, Sébastien Lahaye
2022 J jnl
Observer Construction for Polynomially Ambiguous Max-Plus Automata.
IEEE Trans. Autom. Control.
Aiwen Lai, Sébastien Lahaye, Jan Komenda
2021 J jnl
Initial-state detectability and initial-state opacity of unambiguous weighted automata.
Autom.
Aiwen Lai, Sébastien Lahaye, ZhiWu Li
2021 J jnl
Verification of Detectability for Unambiguous Weighted Automata.
IEEE Trans. Autom. Control.
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
2020 J jnl
A contribution to the determinization of max-plus automata.
Discret. Event Dyn. Syst.
Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond
2019 C conf
A Two-Step Approach for Fault Diagnosis of Max-Plus Automata.
CoDIT
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
2019 — —
State Estimation and Verification of Detectability and Opacity in Weighted Automata. (Estimation d'état et vérification de la détectabilité et de l'opacité dans les automates pondérés).
Aiwen Lai
2019 J jnl
State estimation of max-plus automata with unobservable events.
Autom.
Aiwen Lai, Sébastien Lahaye, Alessandro Giua