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.
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, DOI: 10.1016/j.isatra.2024.03.019.
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
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.
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), Hefei, China, 2023, pp. 1197-1202.
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), Singapore, December 2023, pp. 7862-7867.
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).