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 18 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)
- 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)
- 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)
- Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions (Q5177180) (← links)