学者信息
已发表成果：
WOK 论文 10 篇;
-
Optimal Multi-agent Collision-Free Path Planning with?Temporal Logic Constraints
Lecture Notes in Electrical Engineering,1876-1100,2023.
Zheng, Yiwei (1, 2); Liu, Zhaocong (1, 2, 3); Lai, Aiwen (1); Yu, Xiao (1, 2); Lan, Weiyao (1, 2)
EI:20223312580810 10.1007/978-981-19-3998-3_137
收录情况：EI -
Intermittent fault manifestability of discrete event systems
Soft Computing,1432-7643,2023.
Liang, Ye; Lai, Aiwen; El-Meligy, Mohammed A.; Sharaf, Mohamed
WOS:000977048300017 EI:20231714017506 10.1007/s00500-023-08030-1
收录情况：SCIE、EI -
Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition
9th 2023 International Conference on Control, Decision and Information Technologies, CoDIT 2023,,2023.
Miao, Shaowen (1); Lai, Aiwen (1); Yu, Xiao (2); Lahaye, Sébastien (3); Komenda, Jan (4)
EI:20234715098812 10.1109/CoDIT58514.2023.10284082
收录情况：EI -
Verification of D-detectability for Unambiguous Weighted Automata
Proceedings - 2023 38th Youth Academic Annual Conference of Chinese Association of Automation, YAC 2023,,2023.
Xu, Guoqiang (1); Lai, Aiwen (1)
EI:20240815614625 10.1109/YAC59482.2023.10401732
收录情况：EI