Controller Synthesis with Highly Simplified Linear Constraints (Q3454364): Difference between revisions

@@ 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 @@
+Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
+Normal rank
@@ Property / cites work @@
+Petri net supervisors for DES with uncontrollable and unobservable transitions
+Normal rank
@@ Property / cites work @@
+A generalization of state avoidance policies for controlled Petri nets
+Normal rank
@@ Property / cites work @@
+Control of safe ordinary Petri nets using unfolding
+Normal rank
@@ Property / cites work @@
+Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions
+Normal rank
@@ Property / cites work @@
+Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
+Normal rank
@@ Property / cites work @@
+A best deadlock control for <i>S</i><sup>3</sup>PMR to reach all states
+Normal rank
@@ Property / cites work @@
+Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
+Normal rank
@@ Property / cites work @@
+Feedback control of Petri nets based on place invariants
+Normal rank
@@ Property / cites work @@
+Reduction of constraints for controller synthesis based on safe Petri nets
+Normal rank
@@ Property / cites work @@
+Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+Supervisory control of deterministic Petri nets with regular specification languages
+Normal rank