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