Diagnosability of discrete event systems modeled by time-interval automata

Autor: Rezende, Christiano H., Viana, Gustavo S., Basilio, João C.
Zdroj: In IFAC PapersOnLine 2023 56(2):8660-8665
Databáze: ScienceDirect