A New Algorithm for Time-interval Diagnosability Verification. - Christiano H. Rezende; Gustavo S. Viana; João Carlos Basilio (CDC, 2025)

Fault Diagnosis of Discrete Event Systems Modeled by Time-Interval Automaton. - João Carlos Basilio; Christiano H. Rezende; Gustavo S. Viana (IEEE Trans Autom. Sci. Eng., 2025)