검색결과 : 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 |