Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887): Difference between revisions

@@ Property / cites work @@
+Supervisory Control of Partially Observable Marked Graphs
+Normal rank
@@ Property / cites work @@
+Feedback Control Logic for Backward Conflict Free Choice Nets
+Normal rank
@@ Property / cites work @@
+Control synthesis of Petri nets based on \(S\)-decreases
+Normal rank
@@ Property / cites work @@
+Limited lookahead policies in supervisory control of discrete event systems
+Normal rank
@@ Property / cites work @@
+Supervisory control using variable lookahead policies
+Normal rank
@@ Property / cites work @@
+Reduction of constraints for controller synthesis based on safe Petri nets
+Normal rank
@@ Property / cites work @@
+On-line control of partially observed discrete event systems
+Normal rank
@@ Property / cites work @@
+Observability of place/transition nets
@@ Property / cites work: Observability of place/transition nets / rank @@
+Normal rank
@@ Property / cites work @@
+Marking Estimation of Petri Nets With Silent Transitions
+Normal rank
@@ Property / cites work @@
+Synthesis of feedback control logic for a class of controlled Petri nets
+Normal rank
@@ Property / cites work @@
+A survey of Petri net methods for controlled discrete event systems
+Normal rank
@@ Property / cites work @@
+Extension based limited lookahead supervision of discrete event systems
+Normal rank
@@ Property / cites work @@
+Approach for Transforming Linear Constraints on Petri Nets
+Normal rank
@@ Property / cites work @@
+Q4219294
@@ Property / cites work: Q4219294 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Feedback Logic for Discrete Event Systems
@@ Property / cites work: Modular Feedback Logic for Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
+Normal rank
@@ Property / cites work @@
+Q3154377
@@ Property / cites work: Q3154377 / rank @@
+Normal rank
@@ Property / cites work @@
+Structuring acyclic Petri nets for reachability analysis and control
+Normal rank
@@ Property / cites work @@
+Decentralized supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Feedback control of Petri nets based on place invariants
+Normal rank