Detectability of Discrete Event Systems

Cited in

(51)

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
Fault tolerant control for a class of interconnected asynchronous sequential machines
Trajectory detectability of discrete-event systems
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
Deciding detectability for labeled Petri nets
Detectability of networked discrete event systems
Complexity of deciding detectability in discrete event systems
Verification of C-detectability using Petri nets
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
On verification of D-detectability for discrete event systems
Detectability of labeled weighted automata over monoids
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
On detectability of Boolean control networks
On detectability of labeled Petri nets and finite automata
State estimation of max-plus automata with unobservable events
A general approach for optimizing dynamic sensor activation for discrete event systems
Matrix approach to detectability of discrete event systems
Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
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
State estimation and detectability of probabilistic discrete event systems
An improved approach for verifying delayed detectability of discrete-event systems
Strong current-state and initial-state opacity of discrete-event systems
I-S detectability of partially-observed discrete event systems: a novel matrix-based method
A weighted pair graph representation for reconstructibility of Boolean control networks
scientific article; zbMATH DE number 166937 (Why is no real title available?)
Decentralized control of networked discrete event systems with communication delays
Relative predictability of failure event occurrences and its opacity-based test algorithm
Partially ordered automata and piecewise testability
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
Generalized detectability for discrete event systems
Fault Distinguishability of Discrete Event Systems
Online prognosis of stochastic discrete event systems with guaranteed performance bound
Detectability of Boolean networks: a finite-time convergent matrix approach
Information control in networked discrete event systems
On the verification of detectability for timed discrete event systems
Matrix approach to I-detectability of partially observed discrete event systems
Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata
Path detectability verification for time-dependent systems with application to flexible manufacturing systems
Timed initial-state detectability of discrete-event systems by algebraic method
Detectability of discrete event systems under sensor attacks
Detectability notions for a class of finite labeled Markovian systems
Opacity of discrete event systems and its applications
Fault diagnosis of discrete event systems based on partially observable events and states
Detectability in stochastic discrete event systems
Detectability of discrete event systems with dynamic event observation
An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions

This page was built for publication: Detectability of Discrete Event Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282320)