Pages that link to "Item:Q1911289"

The following pages link to Feedback control of Petri nets based on place invariants (Q1911289):

Displaying 46 items.

• Determinization of timed Petri nets behaviors (Q312642) (← links)
• On structural minimality of optimal supervisors for flexible manufacturing systems (Q361050) (← links)
• Maximally permissive supervisor synthesis based on a new constraint transformation method (Q445132) (← links)
• Robust control reconfiguration of resource allocation systems with Petri nets and integer programming (Q462384) (← links)
• Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (Q497950) (← links)
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems (Q540197) (← links)
• Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method (Q664298) (← links)
• Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement (Q838995) (← links)
• Supervision based on place invariants: a survey (Q858151) (← links)
• Reduction of constraints for controller synthesis based on safe Petri nets (Q958258) (← links)
• Controller synthesis for net condition/event systems with a solution for incomplete state observation (Q1383474) (← links)
• Equivalent transformation of nonlinear constraints to linear constraints in Petri nets (Q1666226) (← links)
• On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357) (← links)
• Linear control of live marked graphs (Q1868050) (← links)
• Feedback control of Petri nets based on place invariants (Q1911289) (← links)
• Inference approach based on Petri nets (Q2056355) (← links)
• Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
• An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems (Q2127112) (← links)
• Deadlock analysis and control using Petri net decomposition techniques (Q2212081) (← links)
• Min-plus realizable control design for partially observable timed event graphs under marking constraints (Q2220055) (← links)
• Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
• Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
• Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
• A survey of siphons in Petri nets (Q2279728) (← links)
• Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs (Q2279733) (← links)
• Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
• Petri net representation and reachability analysis of 0--1 integer linear programming problems (Q2293169) (← links)
• A multistep look-ahead deadlock avoidance policy for automated manufacturing systems (Q2314759) (← links)
• A branch and bound approach for the design of decentralized supervisors in Petri net models (Q2342792) (← links)
• Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141) (← links)
• Synthesis of Petri net supervisors enforcing general constraints (Q2508210) (← links)
• Grafcet: behavioural issues and control synthesis (Q2512237) (← links)
• Optimal Petri net supervisor synthesis for forbidden state problems using marking mask (Q2656745) (← links)
• Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra (Q2667519) (← links)
• Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions (Q2789927) (← links)
• Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places (Q2790014) (← links)
• Feedback control for a class of discrete event systems with critical time (Q2799231) (← links)
• Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-α net systems (Q2822261) (← links)
• Structure of weakly 2-dependent siphons (Q2868843) (← links)
• Structural optimal control for safe Petri nets (Q3058321) (← links)
• Controller Synthesis with Highly Simplified Linear Constraints (Q3454364) (← links)
• Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions (Q5177180) (← links)
• State‐Feedback Control for a Class of Timed Petri Nets Subject to Marking Constraints (Q5194910) (← links)
• Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs (Q6099941) (← links)
• Feedback control to guarantee marking constraints in timed event graphs including disturbances: application to disassembly systems (Q6152366) (← links)
• Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using min-plus algebra (Q6198761) (← links)