Pages that link to "Item:Q1911289"
From MaRDI portal
The following pages link to Feedback control of Petri nets based on place invariants (Q1911289):
Displayed 50 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)
- Execution control of ROV navigation, guidance and control tasks (Q3592348) (← links)
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (Q4575107) (← links)
- Supervisory control of marked graphs with partial observations (Q4671281) (← links)
- Distributed Control of Discrete-Event Systems: A First Step (Q4909348) (← links)
- (Q4909608) (← 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)
- Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems (Q5712038) (← links)
- Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs (Q6099941) (← links)