Consistent reduction in discrete-event systems (Q2151838): Difference between revisions

@@ Property / cites work @@
+Multiset theory
@@ Property / cites work: Multiset theory / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of regular languages using state merging algorithms with search
+Normal rank
@@ Property / cites work @@
+Supervisor localization. A top-down approach to distributed control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
+Normal rank
@@ Property / cites work @@
+Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
+Normal rank
@@ Property / cites work @@
+Supervisor reduction for discrete-event systems
@@ Property / cites work: Supervisor reduction for discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete-event systems
@@ Property / cites work: Supervisory control of discrete-event systems / rank @@
+Normal rank