Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems (Q2821258): Difference between revisions

@@ Property / cites work @@
+Predictability of event occurrences in partially-observed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Decentralized Prognosis of Failures in Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Inference-Based Decentralized Prognosis in Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
+Normal rank
@@ Property / cites work @@
+Robust prognosability for a set of partially observed discrete event systems
+Normal rank
@@ Property / cites work @@
+Stochastic Failure Prognosability of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Predictability of Event Occurrences in Timed Systems
+Normal rank
@@ Property / cites work @@
+Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
+Normal rank
@@ Property / cites work @@
+Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
+Normal rank
@@ Property / cites work @@
+Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
+Normal rank
@@ Property / cites work @@
+Abstraction-based failure diagnosis for discrete event systems
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction-based verification of codiagnosability for discrete event systems
+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 @@
+Supervisory control of discrete-event processes with partial observations
+Normal rank
@@ Property / cites work @@
+Hierarchical control of discrete-event systems
@@ Property / cites work: Hierarchical control of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the computation of natural observers in discrete-event systems
+Normal rank
@@ Property / cites work @@
+Q3727828
@@ Property / cites work: Q3727828 / rank @@
+Normal rank