Aiwen Lai

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 11

Top Topics

State Estimation

Fault Diagnosis

Top Venues

IEEE Trans. Autom. Control.

Discret. Event Dyn. Syst.

Publications

Shaowen Miao, Aiwen Lai, Xiao Yu, Sébastien Lahaye, Jan Komenda
Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition. CoDIT (2023)
Ye Liang, Aiwen Lai, Mohammed A. El-Meligy, Mohamed Sharaf
Intermittent fault manifestability of discrete event systems. Soft Comput. 27 (11) (2023)
Yiwei Zheng, Aiwen Lai, Xiao Yu, Weiyao Lan
Early-Awareness Collision Avoidance in Optimal Multi-Agent Path Planning With Temporal Logic Specifications. IEEE CAA J. Autom. Sinica 10 (5) (2023)
Yiwei Zheng, Aiwen Lai, Weiyao Lan, Xiao Yu
Optimal Path Planning With Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers. CDC (2023)
Aiwen Lai, Sébastien Lahaye, Jan Komenda
Observer Construction for Polynomially Ambiguous Max-Plus Automata. IEEE Trans. Autom. Control. 67 (3) (2022)
Aiwen Lai, Jan Komenda, Sébastien Lahaye
Diagnosability of Unambiguous Max-Plus Automata. IEEE Trans. Syst. Man Cybern. Syst. 52 (11) (2022)
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
Verification of Detectability for Unambiguous Weighted Automata. IEEE Trans. Autom. Control. 66 (3) (2021)
Aiwen Lai, Sébastien Lahaye, Zhiwu Li
Initial-state detectability and initial-state opacity of unambiguous weighted automata. Autom. 127 (2021)
Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond
A contribution to the determinization of max-plus automata. Discret. Event Dyn. Syst. 30 (1) (2020)
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
State estimation of max-plus automata with unobservable events. Autom. 105 (2019)
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
A Two-Step Approach for Fault Diagnosis of Max-Plus Automata. CoDIT (2019)