Maximally permissive supervisor synthesis based on a new constraint transformation method

DOI10.1016/J.AUTOMATICA.2012.02.002MaRDI QIDQ445132zbMATH OpenOpenAlexFDO

Authors Jiliang Luo, Hui Shao, Kenzo Nonami, 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

zbMATH Keywords

Petri netsdiscrete event systemssupervisory control

Mathematics Subject Classification ID

Hierarchical systems (93A13) Synthesis problems (93B50) Discrete event control/observation systems (93C65)

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

Cites work

• scientific article; zbMATH DE number 2123125 (Why is no real title available?)
• A survey of Petri net methods for controlled discrete event systems
• An Optimization Approach to Petri Net Monitor Design
• Approach for Transforming Linear Constraints on Petri Nets
• Control of vector discrete-event systems. II. Controller synthesis
• Feedback Control Logic for Backward Conflict Free Choice Nets
• Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system
• Feedback control of Petri nets based on place invariants
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Reduction of constraints for controller synthesis based on safe Petri nets
• Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
• Supervision based on place invariants: a survey
• Synthesis of feedback control logic for a class of controlled Petri nets
• Synthesis of supervisors enforcing general linear constraints in petri nets

Cited in

(12)

• Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
• Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
• Optimal Petri-net supervisor synthesis based on constraint transformation
• Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
• Equivalent transformation of nonlinear constraints to linear constraints in Petri nets
• Petri net controllers for generalized mutual exclusion constraints with floor operators
• Synthesis of Petri net supervisors enforcing general constraints
• 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)