Maximally permissive supervisor synthesis based on a new constraint transformation method
From MaRDI portal
Publication:445132
DOI10.1016/J.AUTOMATICA.2012.02.002zbMATH Open1244.93098OpenAlexW2018422812MaRDI QIDQ445132FDOQ445132
Kenzo Nonami, Jiliang Luo, Hui Shao, Fujiang Jin
Publication date: 24 August 2012
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2012.02.002
Recommendations
- Optimal Petri-net supervisor synthesis based on constraint transformation
- Synthesis of Petri net supervisors enforcing general constraints
- The synthesis of Petri nets controller for general inequality constraints with uncontrollable transitions
- Supervisor synthesis of Petri net with uncontrollable transitions
- Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions
Hierarchical systems (93A13) Synthesis problems (93B50) Discrete event control/observation systems (93C65)
Cites Work
- A survey of Petri net methods for controlled discrete event systems
- Feedback control of Petri nets based on place invariants
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Feedback Control Logic for Backward Conflict Free Choice Nets
- Approach for Transforming Linear Constraints on Petri Nets
- Supervision based on place invariants: a survey
- Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system
- An Optimization Approach to Petri Net Monitor Design
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- Reduction of constraints for controller synthesis based on safe Petri nets
- Title not available (Why is that?)
- Synthesis of feedback control logic for a class of controlled Petri nets
- Control of vector discrete-event systems. II. Controller synthesis
- Synthesis of supervisors enforcing general linear constraints in petri nets
Cited In (10)
- Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
- Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
- Synthesis of Petri net supervisors enforcing general constraints
- Petri net controllers for generalized mutual exclusion constraints with floor operators
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
- On the enforcement of a class of nonlinear constraints on Petri nets
- Deadlock control for a class of generalized Petri nets based on proper resource allocation
This page was built for publication: Maximally permissive supervisor synthesis based on a new constraint transformation method
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q445132)
