Pages that link to "Item:Q4507096"
From MaRDI portal
The following pages link to Petri net supervisors for DES with uncontrollable and unobservable transitions (Q4507096):
Displayed 32 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Maximally permissive supervisor synthesis based on a new constraint transformation method (Q445132) (← links)
- Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement (Q838995) (← links)
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places (Q857147) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- Reduction of constraints for controller synthesis based on safe Petri nets (Q958258) (← links)
- On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357) (← links)
- Linear control of live marked graphs (Q1868050) (← links)
- Inference approach based on Petri nets (Q2056355) (← links)
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems (Q2058495) (← links)
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems (Q2293066) (← links)
- Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method'' [Automatica 48 (2012), 1097-1101] (Q2342522) (← links)
- A branch and bound approach for the design of decentralized supervisors in Petri net models (Q2342792) (← links)
- An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming (Q2377377) (← links)
- Synthesis of Petri net supervisors enforcing general constraints (Q2508210) (← 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)
- Controller Synthesis with Highly Simplified Linear Constraints (Q3454364) (← links)
- Execution control of ROV navigation, guidance and control tasks (Q3592348) (← links)
- Supervisory control of marked graphs with partial observations (Q4671281) (← links)
- Deadlock and Collision Avoidance in Railway Networks with Dynamic Routing: A Petri Net Approach with Partial Controllability and Observability (Q5054378) (← links)
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems (Q5165335) (← links)
- Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions (Q5177180) (← links)
- Adaptive supervisory control for a class of Petri nets with bimodal transitions (Q6058299) (← links)
- Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs (Q6099941) (← links)
- An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions (Q6186994) (← links)
- Symbolic state estimation in bounded timed labeled Petri nets (Q6192943) (← links)
- Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using min-plus algebra (Q6198761) (← links)