Lahaye, Sébastien
132  Ergebnisse:
Personensuche X
?
5

Verification of Detectability for Unambiguous Weighted Auto..:

, In: 2023 9th International Conference on Control, Decision and Information Technologies (CoDIT),
Miao, Shaowen ; Lai, Aiwen ; Yu, Xiao.. - p. 251-256 , 2023
 
?
6

Application of the Projected Dynamics to Hybrid Systems and..:

, In: Lecture Notes in Control and Information Sciences - Proceedings; 15th European Workshop on Advanced Control and Diagnosis (ACD 2019),
 
?
7

Observer Construction for Polynomially Ambiguous Max-Plus A..:

Lai, Aiwen ; Lahaye, Sebastien ; Komenda, Jan
IEEE Transactions on Automatic Control.  67 (2022)  3 - p. 1582-1588 , 2022
 
?
8

Diagnosability of Unambiguous Max-Plus Automata:

Lai, Aiwen ; Komenda, Jan ; Lahaye, Sebastien
IEEE Transactions on Systems, Man, and Cybernetics: Systems.  52 (2022)  11 - p. 7302-7311 , 2022
 
?
10

Analysis of P-time event graphs in (max,+) and (min,+) semi..:

Špaček, Pavel ; Komenda, Jan ; Lahaye, Sébastien
International Journal of Systems Science.  52 (2021)  4 - p. 694-709 , 2021
 
?
11

A contribution to the determinization of max-plus automata:

Lahaye, Sébastien ; Lai, Aiwen ; Komenda, Jan.
Discrete Event Dynamic Systems.  30 (2020)  1 - p. 155-174 , 2020
 
?
12

A Two-Step Approach for Fault Diagnosis of Max-Plus Automat:

, In: 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT),
Lai, Aiwen ; Lahaye, Sebastien ; Giua, Alessandro - p. 1061-1066 , 2019
 
?
 
?
15

Determinization of timed Petri nets behaviors:

Komenda, Jan ; Lahaye, Sébastien ; Boimond, Jean-Louis
Discrete Event Dynamic Systems.  26 (2015)  3 - p. 413-437 , 2015
 
1-15