A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
From MaRDI portal
Publication:2982878
DOI10.1109/TAC.2014.2332238zbMath1360.93415OpenAlexW2045388415MaRDI QIDQ2982878
Felipe Gomes Cabral, Oumar Diene, João Carlos Basilio, Marcos Vicente Moreira
Publication date: 16 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2014.2332238
Related Items (5)
\(K\)-loss robust codiagnosability of discrete-event systems ⋮ Computation of minimal diagnosis bases of discrete-event systems using verifiers ⋮ Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions ⋮ On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets ⋮ Discrete event system identification with the aim of fault detection
This page was built for publication: A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata