A strongly connected component search-based algorithm for the verification of time-interval diagnosability

Autor: Rezende, Christiano H., Viana, Gustavo S., Basilio, João C.
Zdroj: In IFAC PapersOnLine 2024 58(1):144-149
Databáze: ScienceDirect