Contributions to the control of Time-Weighted Systems. - Thiago Monteiro Tuxi; Antonio Eduardo Carrilho da Cunha (ETFA, 2018)

Diagnosability verification using LTL model checking. - Thiago Monteiro Tuxi; Lilian K. Carvalho; Eduardo V. L. Nunes; Antonio Eduardo Carrilho da Cunha (Discret. Event Dyn. Syst., 2022)