1. Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications. (March 2019) Authors: Viana, Gustavo S.; Basilio, João C. Journal: Automatica Issue: Volume 101(2019) Page Start: 354 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers. (March 2017) Authors: Santoro, Leonardo P.M.; Moreira, Marcos V.; Basilio, João C. Journal: Automatica Issue: Volume 77(2017) Page Start: 93 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. New predictability verification tests for discrete-event systems modeled by finite state automata⁎This work has been supported in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES), Finance Code 001, and the Brazilian Research Council (CNPq), grant number 309.652/2017-0. Issue 4 (2020) Authors: Barcelos, Raphael J.; Basilio, João C. Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 4(2020) Page Start: 243 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach. (June 2021) Authors: Paiva, Pedro R.R.; de Freitas, Braian I.; Carvalho, Lilian K.; Basilio, João C. Journal: IFAC journal of systems and control Issue: Volume 16(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks. (May 2022) Authors: Alves, Marcos V.S.; Barcelos, Raphael J.; Carvalho, Lilian K.; Basilio, João C. Journal: Nonlinear analysis Issue: Volume 44(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗