Detectability of Discrete Event Systems
From MaRDI portal
Publication:5282320
DOI10.1109/TAC.2007.910713zbMath1366.93366OpenAlexW2028587915MaRDI QIDQ5282320
Shaolong Shu, Feng Lin, Hao Ying
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2007.910713
Related Items (40)
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection ⋮ Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures ⋮ An improved approach for verifying delayed detectability of discrete-event systems ⋮ 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 ⋮ On detectability of Boolean control networks ⋮ Design of decentralized critical observers for networks of finite state machines: a formal method approach ⋮ Verification of detectability in probabilistic finite automata ⋮ Verification complexity of a class of observational properties for modular discrete events systems ⋮ \(N\)-diagnosability for active on-line diagnosis in discrete event systems ⋮ Unnamed Item ⋮ Strong current-state and initial-state opacity of discrete-event systems ⋮ Detectability in stochastic discrete event systems ⋮ Online prognosis of stochastic discrete event systems with guaranteed performance bound ⋮ On detectability of labeled Petri nets and finite automata ⋮ I-S detectability of partially-observed discrete event systems: a novel matrix-based method ⋮ Detectability of Boolean networks: a finite-time convergent matrix approach ⋮ Fault tolerant control for a class of interconnected asynchronous sequential machines ⋮ Decentralized control of networked discrete event systems with communication delays ⋮ Trajectory detectability of discrete-event systems ⋮ Complexity of detectability, opacity and A-diagnosability for modular discrete event systems ⋮ Deciding detectability for labeled Petri nets ⋮ Minimal sensor activation and minimal communication in discrete-event systems ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ Detectability of discrete event systems with dynamic event observation ⋮ Generalized detectability for discrete event systems ⋮ Opacity of discrete event systems and its applications ⋮ Verification of C-detectability using Petri nets ⋮ State estimation of max-plus automata with unobservable events ⋮ A general approach for optimizing dynamic sensor activation for discrete event systems ⋮ Detectability of networked discrete event systems ⋮ An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions ⋮ Complexity of deciding detectability in discrete event systems ⋮ State estimation and detectability of probabilistic discrete event systems ⋮ Relative predictability of failure event occurrences and its opacity-based test algorithm ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets ⋮ On verification of D-detectability for discrete event systems ⋮ Matrix approach to detectability of discrete event systems ⋮ A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks ⋮ Detectability of labeled weighted automata over monoids
This page was built for publication: Detectability of Discrete Event Systems
