[1] A. Lai, S. Lahaye, and A. Giua. “State estimation of max-plus automata with unobservable events,” Automatica, 105:36–42, 2019.
[2] A. Lai, S. Lahaye, and A. Giua. "Verification of Detectability for Unambiguous Weighted Automata." IEEE Transactions on Automatic Control, 2020.
[3] S. Lahaye, A. Lai, J. Komenda, and J. L. Boimond. “A contribution to the determinization of max-plus automata,” Discrete Event Dynamic Systems, 30: 155–174, 2020.
[4] A. Lai, S. Lahaye, and A. Giua. “A two-step approach for fault diagnosis of max-plus automata,” In proceedings CoDIT, 2019, Paris, France.
[5] J. Komenda, A. Lai, S. Lahaye, J. L. Boimond, and J. D. Godoy. “Modeling of Safe Time Petri Nets by Interval Weighted Automata,” In proceedings WODES 2020, Rio de janeiro, Brazil.
