厦门大学学者库

学者信息

赖爱文

航空航天学院

按发表年份分组
2024
2023
2022
2021
合作者

已发表成果：

WOK 论文 11 篇;

  • 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

  • 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

  • Optimal Path Planning With Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers

    2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC,0743-1546,2023.
    Zheng, Yiwei; Lai, Aiwen; Lan, Weiyao; Yu, Xiao
    WOS:001166433806076   10.1109/CDC49753.2023.10383570
    收录情况：CPCI-S

  • 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