Nonconflict check by using sequential automaton abstractions based on weak observation equivalence (Q976261): Difference between revisions

@@ Property / cites work @@
+An implementation of an efficient algorithm for bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+Compositional synthesis of maximally permissive supervisors using supervision equivalence
+Normal rank
@@ Property / cites work @@
+Hierarchical interface-based supervisory control-part II: parallel case
+Normal rank
@@ Property / cites work @@
+Q4385545
@@ Property / cites work: Q4385545 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
+Normal rank
@@ Property / cites work @@
+Global and local consistencies in distributed fault diagnosis for discrete-event systems
+Normal rank
@@ Property / cites work @@
+Modular supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+On the computation of observers in discrete-event systems
+Normal rank
@@ Property / cites work @@
+Decentralized supervisory control of discrete-event systems
+Normal rank