Aiwen Lai

According to our database, Aiwen Lai authored at least 13 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Always guarding you: Strong initial-and-final-state opacity of discrete-event systems.

Shaowen Miao, Aiwen Lai, Jan Komenda

Autom., 2025

2023

Intermittent fault manifestability of discrete event systems.

Ye Liang, Aiwen Lai, Mohammed A. El-Meligy, Mohamed Sharaf

Soft Comput., June, 2023

Early-Awareness Collision Avoidance in Optimal Multi-Agent Path Planning With Temporal Logic Specifications.

Yiwei Zheng, Aiwen Lai, Xiao Yu, Weiyao Lan

IEEE CAA J. Autom. Sinica, May, 2023

Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition.

Shaowen Miao, Aiwen Lai, Xiao Yu, Sébastien Lahaye, Jan Komenda

Proceedings of the 9th International Conference on Control, 2023

Optimal Path Planning With Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers.

Yiwei Zheng, Aiwen Lai, Weiyao Lan, Xiao Yu

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Diagnosability of Unambiguous Max-Plus Automata.

Aiwen Lai, Jan Komenda, Sébastien Lahaye

IEEE Trans. Syst. Man Cybern. Syst., 2022

Observer Construction for Polynomially Ambiguous Max-Plus Automata.

Aiwen Lai, Sébastien Lahaye, Jan Komenda

IEEE Trans. Autom. Control., 2022

2021

Verification of Detectability for Unambiguous Weighted Automata.

Aiwen Lai, Sébastien Lahaye, Alessandro Giua

IEEE Trans. Autom. Control., 2021

Initial-state detectability and initial-state opacity of unambiguous weighted automata.

Aiwen Lai, Sébastien Lahaye, Zhiwu Li

Autom., 2021

2020

A contribution to the determinization of max-plus automata.

Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond

Discret. Event Dyn. Syst., 2020

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

PhD thesis, 2019

State estimation of max-plus automata with unobservable events.

Aiwen Lai, Sébastien Lahaye, Alessandro Giua

Autom., 2019

A Two-Step Approach for Fault Diagnosis of Max-Plus Automata.

Aiwen Lai, Sébastien Lahaye, Alessandro Giua

Proceedings of the 6th International Conference on Control, 2019