Online minimization of sensor activation for supervisory control (Q2409274): Difference between revisions

@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602752
@@ Property / cites work: Q3602752 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete-event processes with partial observations
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+On Most Permissive Observers in Dynamic Sensor Activation Problems
+Normal rank
@@ Property / cites work @@
+Coordinated decentralized protocols for failure diagnosis of discrete event systems
+Normal rank
@@ Property / cites work @@
+Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of 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 @@
+Optimal sensor selection for discrete-event systems with partial observation
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete event systems and its applications
+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 @@
+Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Know means no: Incorporating knowledge into discrete-event control systems
+Normal rank
@@ Property / cites work @@
+Think globally, act locally: decentralized supervisory control
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Detectability of discrete event systems with dynamic event observation
+Normal rank
@@ Property / cites work @@
+Active acquisition of information for diagnosis and supervisory control of discrete event systems
+Normal rank
@@ Property / cites work @@
+On the control of discrete-event dynamical systems
+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 @@
+Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+On the minimization of communication in networked systems with a central station
+Normal rank
@@ Property / cites work @@
+Optimal sensor activation for diagnosing discrete event systems
+Normal rank
@@ Property / cites work @@
+Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control
+Normal rank
@@ Property / cites work @@
+On Codiagnosability and Coobservability With Dynamic Observations
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank