Compositional synthesis of supervisors in the form of state machines and state maps (Q503186): Difference between revisions

@@ Property / describes a project that uses @@
+Supremica
@@ Property / describes a project that uses: Supremica / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2559868061
@@ Property / OpenAlex ID: W2559868061 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control Architecture for Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Compositional synthesis of maximally permissive supervisors using supervision equivalence
+Normal rank
@@ Property / cites work @@
+Q4037383
@@ Property / cites work: Q4037383 / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Approach for Transforming Linear Constraints on Petri Nets
+Normal rank
@@ Property / cites work @@
+A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
+Normal rank
@@ Property / cites work @@
+Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
+Normal rank