Early-Awareness Collision Avoidance in Optimal Multi-Agent Path Planning With Temporal Logic Specifications
Zheng, Yiwei, Lai, Aiwen, Yu, Xiao, Lan, Weiyao
Published in IEEE/CAA journal of automatica sinica (01.05.2023)
Published in IEEE/CAA journal of automatica sinica (01.05.2023)
Get full text
Journal Article
A contribution to the determinization of max-plus automata
Lahaye, Sébastien, Lai, Aiwen, Komenda, Jan, Boimond, Jean-Louis
Published in Discrete event dynamic systems (01.03.2020)
Published in Discrete event dynamic systems (01.03.2020)
Get full text
Journal Article
Observer Construction for Polynomially Ambiguous Max-Plus Automata
Lai, Aiwen, Lahaye, Sebastien, Komenda, Jan
Published in IEEE transactions on automatic control (01.03.2022)
Published in IEEE transactions on automatic control (01.03.2022)
Get full text
Journal Article
Verification of Detectability for Unambiguous Weighted Automata
Lai, Aiwen, Lahaye, Sebastien, Giua, Alessandro
Published in IEEE transactions on automatic control (01.03.2021)
Published in IEEE transactions on automatic control (01.03.2021)
Get full text
Journal Article
Intermittent fault manifestability of discrete event systems
Liang, Ye, Lai, Aiwen, El-Meligy, Mohammed A., Sharaf, Mohamed
Published in Soft computing (Berlin, Germany) (01.06.2023)
Published in Soft computing (Berlin, Germany) (01.06.2023)
Get full text
Journal Article
Diagnosability of Unambiguous Max-Plus Automata
Lai, Aiwen, Komenda, Jan, Lahaye, Sebastien
Published in IEEE transactions on systems, man, and cybernetics. Systems (01.11.2022)
Published in IEEE transactions on systems, man, and cybernetics. Systems (01.11.2022)
Get full text
Journal Article
Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition
Miao, Shaowen, Lai, Aiwen, Yu, Xiao, Lahaye, Sebastien, Komenda, Jan
Published in 2023 9th International Conference on Control, Decision and Information Technologies (CoDIT) (03.07.2023)
Published in 2023 9th International Conference on Control, Decision and Information Technologies (CoDIT) (03.07.2023)
Get full text
Conference Proceeding
Modeling of safe time Petri nets by interval weighted automata
Komenda, Jan, Lai, Aiwen, Soto, José Godoy, Lahaye, Sébastien, Boimond, Jean-louis
Published in IFAC-PapersOnLine (2020)
Published in IFAC-PapersOnLine (2020)
Get full text
Journal Article
A Two-Step Approach for Fault Diagnosis of Max-Plus Automata
Lai, Aiwen, Lahaye, Sebastien, Giua, Alessandro
Published in 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) (01.04.2019)
Published in 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) (01.04.2019)
Get full text
Conference Proceeding