Delayed Detectability of Discrete Event Systems
From MaRDI portal
Publication:5353171
DOI10.1109/TAC.2012.2224255zbMath1369.93384MaRDI QIDQ5353171
Publication date: 8 September 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Related Items (13)
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection ⋮ An improved approach for verifying delayed detectability of discrete-event systems ⋮ Initial-state detectability and initial-state opacity of unambiguous weighted automata ⋮ Observability and diagnosability of finite state systems: a unifying framework ⋮ The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete ⋮ \(N\)-diagnosability for active on-line diagnosis in discrete event systems ⋮ On detectability of labeled Petri nets and finite automata ⋮ Deciding detectability for labeled Petri nets ⋮ Minimal sensor activation and minimal communication in discrete-event systems ⋮ Verification of C-detectability using Petri nets ⋮ Complexity of deciding detectability in discrete event systems ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets ⋮ On verification of D-detectability for discrete event systems
This page was built for publication: Delayed Detectability of Discrete Event Systems
