Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835): Difference between revisions

@@ Property / cites work @@
+Supervisory Control of Partially Observable Marked Graphs
+Normal rank
@@ Property / cites work @@
+Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
+Normal rank
@@ Property / cites work @@
+Marking Observer in Labeled Petri Nets With Application to Supervisory Control
+Normal rank
@@ Property / cites work @@
+Deadlock recovery for flexible manufacturing systems modeled with Petri nets
+Normal rank
@@ Property / cites work @@
+Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete-event processes with partial observations
+Normal rank
@@ Property / cites work @@
+On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets
+Normal rank
@@ Property / cites work @@
+A survey of Petri net methods for controlled discrete event systems
+Normal rank
@@ Property / cites work @@
+Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
+Normal rank
@@ Property / cites work @@
+Synthesis of supervisors enforcing general linear constraints in petri nets
+Normal rank
@@ Property / cites work @@
+Approach for Transforming Linear Constraints on Petri Nets
+Normal rank
@@ Property / cites work @@
+Maximally permissive supervisor synthesis based on a new constraint transformation method
+Normal rank
@@ Property / cites work @@
+Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Termination Properties of Generalized Petri Nets
@@ Property / cites work: Termination Properties of Generalized Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of the deadlock problem for Petri nets modeling resource allocation systems
+Normal rank
@@ Property / cites work @@
+On observability of discrete-event systems
@@ Property / cites work: On observability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
+Normal rank
@@ Property / cites work @@
+Petri net supervisors for DES with uncontrollable and unobservable transitions
+Normal rank
@@ Property / cites work @@
+Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
+Normal rank
@@ Property / cites work @@
+On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
+Normal rank
@@ Property / cites work @@
+Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
+Normal rank
@@ Property / cites work @@
+Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
+Normal rank
@@ Property / cites work @@
+Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
+Normal rank
@@ Property / cites work @@
+Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
+Normal rank
@@ Property / cites work @@
+A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR
+Normal rank
@@ Property / cites work @@
+Robust deadlock control for automated manufacturing systems with an unreliable resource
+Normal rank
@@ Property / cites work @@
+Feedback control of Petri nets based on place invariants
+Normal rank
@@ Property / cites work @@
+Decentralized Supervisory Control With Intersection-Based Architecture
+Normal rank
@@ Property / cites work @@
+Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
+Normal rank
@@ Property / cites work @@
+Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
+Normal rank