Trajectory detectability of discrete-event systems (Q1729041): Difference between revisions

@@ Property / cites work @@
+Observability of discrete event dynamic systems
@@ Property / cites work: Observability of discrete event dynamic systems / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
+Normal rank
@@ Property / cites work @@
+Detectability of Discrete Event Systems
@@ Property / cites work: Detectability of Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Detectability of discrete event systems with dynamic event observation
+Normal rank
@@ Property / cites work @@
+On observability of discrete-event systems
@@ Property / cites work: On observability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized detectability for discrete event systems
+Normal rank
@@ Property / cites work @@
+Detectability in stochastic discrete event systems
+Normal rank
@@ Property / cites work @@
+Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
+Normal rank
@@ Property / cites work @@
+The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
+Normal rank
@@ Property / cites work @@
+Complexity of deciding detectability in discrete event systems
+Normal rank
@@ Property / cites work @@
+Verification complexity of a class of observational properties for modular discrete events systems
+Normal rank
@@ Property / cites work @@
+Enforcing Detectability in Controlled Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Observable graphs
@@ Property / cites work: Observable graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Invertibility of discrete-event dynamic systems
@@ Property / cites work: Invertibility of discrete-event dynamic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Opacity of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
+Normal rank
@@ Property / cites work @@
+Codiagnosability and coobservability under dynamic observations: transformation and verification
+Normal rank
@@ Property / cites work @@
+Minimal sensor activation and minimal communication in discrete-event systems
+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 @@
+Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
+Normal rank
@@ Property / cites work @@
+Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
+Normal rank