Pages that link to "Item:Q2982878"
From MaRDI portal
The following pages link to A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata (Q2982878):
Displaying 5 items.
- Computation of minimal diagnosis bases of discrete-event systems using verifiers (Q510094) (← links)
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions (Q513180) (← links)
- On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets (Q1784050) (← links)
- \(K\)-loss robust codiagnosability of discrete-event systems (Q2125509) (← links)
- Discrete event system identification with the aim of fault detection (Q2286331) (← links)
