学者信息
已发表成果：
WOK 论文 10 篇;
-
Verification of initial-and-final-state opacity for unambiguous weighted automata
ISA Transactions,0019-0578,2024.
Shen, Liren; Miao, Shaowen; Lai, Aiwen; Komenda, Jan
WOS:001241318800001 EI:20241515905564 10.1016/j.isatra.2024.03.019
收录情况：SCIE、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 -
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 -
Diagnosability of Unambiguous Max-Plus Automata
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS,2168-2216,2022-05.
Lai, Aiwen; Komenda, Jan; Lahaye, Sebastien
WOS:000800807100001 EI:20224313005426 10.1109/TSMC.2022.3176045
收录情况：SCIE、EI -
Weight-deterministic max-plus automata
IFAC PAPERSONLINE,2405-8963,2022.
Lahaye, Sebastien; Lai, Aiwen; Komenda, Jan
WOS:000877003700041 EI:20225213287582 10.1016/j.ifacol.2022.10.356
收录情况：EI、CPCI-S -
Early-Awareness Collision Avoidance in Optimal Multi-Agent Path Planning With Temporal Logic Specifications
IEEE/CAA Journal of Automatica Sinica,2329-9266,2022.
Zheng, Yiwei; Lai, Aiwen; Yu, Xiao; Lan, Weiyao
WOS:000981914800024 EI:20225113274888 10.1109/JAS.2022.106043
收录情况：SCIE、EI -
Initial-state detectability and initial-state opacity of unambiguous weighted automata
AUTOMATICA,0005-1098,2021-05.
Lai, Aiwen; Lahaye, Sebastien; Li, Zhiwu
WOS:000634882100004 10.1016/j.automatica.2021.109490
收录情况：SCIE -
Observer Construction for Polynomially Ambiguous Max-Plus Automata
IEEE Transactions on Automatic Control,0018-9286,2021.
Lai, Aiwen; Lahaye, Sebastien; Komenda, Jan
WOS:000761219400045 EI:20211510199062 10.1109/TAC.2021.3069899
收录情况：SCIE、EI