Aiwen Lai (赖爱文)
 |
Ph.D., Associate Professor
Email: aiwenlai@xmu.edu.cn |
Research Interests
Discrete-event systems
Cyber-physical systems
State estimation and fault diagnosis
Opacity verification and enforcement
Educations
Sept. 2016-Jul. 2019 Ph.D., LARIS, University of Angers, France
Aug. 2015-Jul. 2016 M.E., Information and Systems Science, Aix-Marseille University, France
Aug. 2014-Jul. 2018 M.E., Control Engineering, Xidian University, China
Aug. 2010-Jul. 2014 B.S., Automation, Xidian University, China
Research Grants
PI, Youth Program, National Natural Science Foundation of China (Grant No. 62103344), CNY 300K, 2022.01–2024.12.
PI, Natural Science Foundation of Fujian Proviance of China (Grant No. 2021J05015), CNY 80K, 2021.11–2024.11.
PI, Fundamental Research Funds for the Central Universities (Grant No. 20720220113), CNY 150K, 2021.11–2024.11.
Publications ("*" denotes corresponding author)
Journal Articles
A. Lai, S. Lahaye*, and J. Komenda, "Observer construction for polynomially ambiguous max-plus automata," IEEE Transactions on Automatic Control, vol. 67, no. 3, pp. 1582-1588, 2022.
A. Lai, S. Lahaye*, and A. Giua, "Verification of detectability for unambiguous weighted automata," IEEE Transactions on Automatic Control, vol. 66, no. 3, pp. 1437-1444, 2021.
S. Miao, A. Lai*, and J. Komenda, "Always guarding you: strong initial-and-final-state opacity of discrete-event systems," Automatica, vol. 173, pp. 112085, 2025 (Regular paper).
A. Lai, S. Lahaye*, and Z. Li, "Initial-state detectability and initial-state opacity of unambiguous weighted automata," Automatica, vol. 127, pp. 109490, 2021.
A. Lai, S. Lahaye*, and A. Giua, "State estimation of max-plus automata with unobservable events," Automatica, vol. 105, pp. 36-42, 2019.
A. Lai*, J. komenda, and S. Lahaye, "Diagnosability of unambiguous max-Plus automata," IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 52, no. 11, pp. 7302-7311, 2022.
L. Shen, S. Miao, A. Lai*, and J. Komenda, "Verification of initial-and-final-state opacity for unambiguous weighted automata," ISA Transactions, vol. 148, pp. 237-246, 2024.
Y. Liang, A. Lai*, M. A. El-Meligy, and M. Sharaf, "Intermittent fault manifestability of discrete event systems," Soft Computing, vol. 27, pp. 6999-7009, 2023.
S. Lahaye*, A. Lai, J. komenda, and J. Boimond, "A contribution to the determinization of max-plus automata," Discrete Event Dynamic Systems: Theory and Applications, vol. 30, pp. 155-174, 2020.
Y. Zheng, A. Lai, X. Yu*, and W. Lan, "Early-awareness collision avoidance in optimal multi-agent path planning with temporal logic specifications," IEEE/CAA Journal of Automatica Sinica, vol. 10, no. 5, pp. 1346-1348, 2023.
Peer-Reviewed Conference Papers
L. Shen, S. Miao, A. Lai*, J. Komenda, and S. Lahaye, "Initial-and-final-state detectability of nondeterministic finite-state automata," in 14th Asian Control Conference (ASCC 2024), Dalian, China, July 2024, pp. 509-514.
S. Miao, A. Lai*, X. Yu, S. Lahaye, and J. Komenda, "Verification of detectability for unambiguous weighted automata using self-composition," in proceedings of the 9th International Conference on Control, Decision and Information Technologies (CoDIT 2023), Rome, Italy, July 2023, pp. 251-256.
G. Xu and A. Lai*, "Verification of D-detectability for unambiguous weighted automata," in 38th Youth Academic Annual Conference of Chinese Association of Automation (YAC 2023), Hefei, China, 2023, pp. 1197-1202.
G. Xu, S. Miao, and A. Lai*, and W. Lan, "Verification of delayed detectability for unambiguous weighted automata," in 6th International Conference on Mechatronics, Robotics and Automation (ICMRA 2023), Xiamen, China, 2023, pp. 1-5.
A. Lai, S. Lahaye*, and A. Giua, "A two-step approach for fault diagnosis of max-plus automata," in proceedings of the 6th International Conference on Control, Decision and Information Technologies (CoDIT 2019), Paris, France, April 2019, pp. 1061-1066.
K. Chen, S. Miao, A. Lai, J. Ma*, and S. Chen, "Decidability of probabilistic current-state opacity for probabilistic finite automata," in 43rd Chinese Control Conference (CCC 2024), kunming, China, July 2024, pp. 1556-1561.
S. Lahaye*, A. Lai and J. Komenda, "Weight-deterministic max-plus automata," in IFAC-PapersOnLine, Vol. 55, No. 28, PP. 291-296, 2022. (16th IFAC Workshop on Discrete Event Systems, Prague, Czech, Sept. 2022).
J. Komenda*, A. Lai, J. G. Soto, S. Lahaye and J. Boimond, "Modeling of safe time Petri nets by interval weighted automata," in IFAC-PapersOnLine, Vol. 53, No. 4, PP. 187-192, 2020. (15th IFAC Workshop on Discrete Event Systems, Virtual Conference, Nov. 2020).
Y. Zheng, A. Lai, W. Lan, and X. Yu*, "Optimal path planning with opacity-preserving temporal logic specifications using bipartite synthesizers," in proceedings of the 62nd IEEE Conference on Decision and Control (CDC 2023), Singapore, December 2023, pp. 7862-7867.
Y. Zheng, A. Lai, W. Lan, and X. Yu*, "Optimal multi-agent collision-free path planning with temporal logic Constraints," in proceedings of 2021 5th Chinese Conference on Swarm Intelligence and Cooperative Control (CCSIC 2021), Shenzhen, China, January 2022, pp. 1468-1477.