A Two-Step Approach for Fault Diagnosis of Max-Plus Automata. - Aiwen Lai; Sébastien Lahaye; Alessandro Giua (CoDIT, 2019)

State estimation of max-plus automata with unobservable events. - Aiwen Lai; Sébastien Lahaye; Alessandro Giua (Autom., 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)

A contribution to the determinization of max-plus automata. - Sébastien Lahaye; Aiwen Lai; Jan Komenda; Jean-Louis Boimond (Discret. Event Dyn. Syst., 2020)

Initial-state detectability and initial-state opacity of unambiguous weighted automata. - Aiwen Lai; Sébastien Lahaye; Zhiwu Li 001 (Autom., 2021)

Verification of Detectability for Unambiguous Weighted Automata. - Aiwen Lai; Sébastien Lahaye; Alessandro Giua (IEEE Trans. Autom. Control., 2021)

Observer Construction for Polynomially Ambiguous Max-Plus Automata. - Aiwen Lai; Sébastien Lahaye; Jan Komenda (IEEE Trans. Autom. Control., 2022)

Diagnosability of Unambiguous Max-Plus Automata. - Aiwen Lai; Jan Komenda; Sébastien Lahaye (IEEE Trans. Syst. Man Cybern. Syst., 2022)

Optimal Path Planning With Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers. - Yiwei Zheng; Aiwen Lai; Weiyao Lan; Xiao Yu 002 (CDC, 2023)

Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition. - Shaowen Miao; Aiwen Lai; Xiao Yu 002; Sébastien Lahaye; Jan Komenda (CoDIT, 2023)

Early-Awareness Collision Avoidance in Optimal Multi-Agent Path Planning With Temporal Logic Specifications. - Yiwei Zheng; Aiwen Lai; Xiao Yu 002; Weiyao Lan (IEEE CAA J. Autom. Sinica, 2023)

Intermittent fault manifestability of discrete event systems. - Ye Liang; Aiwen Lai; Mohammed A. El-Meligy; Mohamed Sharaf 001 (Soft Comput., 2023)

Initial-and - Final-State Detectability of Nondeterministic Finite-State Automata. - Liren Shen; Shaowen Miao; Aiwen Lai; Jan Komenda; Sébastien Lahaye (ASCC, 2024)

Decentralized Fault Diagnosis for Constant-Time Automata. - Shaowen Miao; Aiwen Lai; Jan Komenda; Sébastien Lahaye (IEEE Control. Syst. Lett., 2024)

Always guarding you: Strong initial-and-final-state opacity of discrete-event systems. - Shaowen Miao; Aiwen Lai; Jan Komenda (Autom., 2025)

Supervisory Control of Weighted Automata With Control Delays. - Yonghong Luo; Shaowen Miao; Xiao Yu 002; Aiwen Lai (IEEE Control. Syst. Lett., 2025)

Active Diagnosis of Time-Interval Automata: Time Perspectives. - Shaowen Miao; Jan Komenda; Aiwen Lai (IEEE Trans Autom. Sci. Eng., 2025)