화학공학소재연구정보센터
검색결과 : 3건
No. Article
1 Verification of Detectability for Unambiguous Weighted Automata
Lai AW, Lahaye S, Giua A
IEEE Transactions on Automatic Control, 66(3), 1437, 2021
2 State estimation of max-plus automata with unobservable events
Lai AW, Lahaye S, Giua A
Automatica, 105, 36, 2019
3 Supervisory control of (max, plus ) automata: extensions towards applications
Lahaye S, Komenda J, Boimond JL
International Journal of Control, 88(12), 2523, 2015