Design of decentralized critical observers for networks of finite state machines: a formal method approach (Q1678627): Difference between revisions

@@ Property / DOI @@
-.1016/j.automatica.2017.08.025
@@ Property / DOI: 10.1016/j.automatica.2017.08.025 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4719062
@@ Property / cites work: Q4719062 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete event systems with modular structure
+Normal rank
@@ Property / cites work @@
+Q3434962
@@ Property / cites work: Q3434962 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete state observability of hybrid systems
@@ Property / cites work: Discrete state observability of hybrid systems / rank @@
+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 @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal communication in a distributed discrete-event system
+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
@@ Property / cites work: Detectability of Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Global and local consistencies in distributed fault diagnosis for discrete-event systems
+Normal rank
@@ Property / cites work @@
+Q4493880
@@ Property / cites work: Q4493880 / rank @@
+Normal rank
@@ Property / cites work @@
+On Codiagnosability and Coobservability With Dynamic Observations
+Normal rank
@@ Property / cites work @@
+Optimal sensor activation for diagnosing discrete event 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 Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control
+Normal rank
@@ Property / cites work @@
+Fault diagnosis in discrete-event systems: Framework and model reduction
+Normal rank
@@ Property / DOI @@
+.1016/J.AUTOMATICA.2017.08.025
@@ Property / DOI: 10.1016/J.AUTOMATICA.2017.08.025 / rank @@
+Normal rank