Exploiting symmetry of state tree structures for discrete-event systems with parallel components (Q5348355): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1080/00207179.2016.1216607
+Normal rank
@@ Property / OpenAlex ID @@
+W2479050047
@@ Property / OpenAlex ID: W2479050047 / rank @@
+Normal rank
@@ Property / cites work @@
+Control of parameterized discrete event systems
@@ Property / cites work: Control of parameterized discrete event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Exploiting symmetry in the synthesis of supervisors for discrete event systems
+Normal rank
@@ Property / cites work @@
+Conceptual design of discrete-event systems using templates
+Normal rank
@@ Property / cites work @@
+Nonblocking supervisory control of state tree structures.
+Normal rank
@@ Property / cites work @@
+Nonblocking Supervisory Control of State Tree Structures
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+The Verification and Control of Interacting Similar Discrete-Event Systems
+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 @@
+Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition
+Normal rank
@@ Property / cites work @@
+Q5803039
@@ Property / cites work: Q5803039 / rank @@
+Normal rank