Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures (Q2407177): Difference between revisions

@@ Property / cites work @@
+Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations
+Normal rank
@@ Property / cites work @@
+Q2978532
@@ Property / cites work: Q2978532 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Marking Estimation in Labeled Petri Nets
+Normal rank
@@ Property / cites work @@
+Robust diagnosis of discrete event systems against intermittent loss of observations
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds
+Normal rank
@@ Property / cites work @@
+Stochastic Failure Prognosability of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Detectability in stochastic discrete event systems
+Normal rank
@@ Property / cites work @@
+Minimum Initial Marking Estimation in Labeled Petri Nets
+Normal rank
@@ Property / cites work @@
+Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses
+Normal rank
@@ Property / cites work @@
+State observation and diagnosis of discrete-event systems described by stochastic automata
+Normal rank
@@ Property / cites work @@
+Observability of discrete event dynamic systems
@@ Property / cites work: Observability of discrete event dynamic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of initial-state opacity in security applications of discrete event systems
+Normal rank
@@ Property / cites work @@
+Current-State Opacity Formulations in Probabilistic Finite Automata
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Enforcing Detectability in Controlled Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Detectability of Discrete Event Systems
@@ Property / cites work: Detectability of Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+State estimation and detectability of probabilistic discrete event systems
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
+Normal rank
@@ Property / cites work @@
+Diagnosability of stochastic discrete-event systems
+Normal rank
@@ Property / cites work @@
+Codiagnosability and coobservability under dynamic observations: transformation and verification
+Normal rank
@@ Property / cites work @@
+A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
+Normal rank