[1] 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.
[2] 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.
[3] A. Lai, S. Lahaye* and Z. Li, "Initial-state detectability and initial-state opacity of unambiguous weighted automata," Automatica, vol. 127, pp. 109490, 2021.
[4] A. Lai, S. Lahaye* and A. Giua, "State estimation of max-plus automata with unobservable events," Automatica, vol. 105, pp. 36-42, 2019.
[5] 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.
[6] 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.
1. 国家自然科学基金青年科学基金项目，2022-2024，30万，主持。
2. 福建省自然科学基金青年项目，2021-2024，8万，主持。
3. 中央高校基本科研业务费，2022-2023，15万，主持。
4. 中央高校基本科研业务费，2021，2万，主持。
