Delayed Detectability of Discrete Event Systems
From MaRDI portal
Cited in
(19)- Detectability notions for a class of finite labeled Markovian systems
- Deciding detectability for labeled Petri nets
- Verification of C-detectability using Petri nets
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets
- On detectability of labeled Petri nets and finite automata
- The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
- scientific article; zbMATH DE number 166937 (Why is no real title available?)
- Complexity of deciding detectability in discrete event systems
- Offline supervisory control synthesis: taxonomy and recent developments
- On verification of D-detectability for discrete event systems
- An improved approach for verifying delayed detectability of discrete-event systems
- Observability and diagnosability of finite state systems: a unifying framework
- \(N\)-diagnosability for active on-line diagnosis in discrete event systems
- Silent closure based pair verifier for fault pattern diagnosis of discrete event systems
- Initial-state detectability and initial-state opacity of unambiguous weighted automata
- Minimal sensor activation and minimal communication in discrete-event systems
- Generalized detectability for discrete event systems
- Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
- On the verification of detectability for timed discrete event systems
This page was built for publication: Delayed Detectability of Discrete Event Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5353171)
