Maximally permissive supervisor synthesis based on a new constraint transformation method
From MaRDI portal
Publication:445132
DOI10.1016/j.automatica.2012.02.002zbMath1244.93098OpenAlexW2018422812MaRDI QIDQ445132
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
Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Synthesis problems (93B50)
Related Items
Petri net controllers for generalized mutual exclusion constraints with floor operators, On the enforcement of a class of nonlinear constraints on Petri nets, Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions, Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets, Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation, Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
Cites Work
- Unnamed Item
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- Supervision based on place invariants: a survey
- Reduction of constraints for controller synthesis based on safe Petri nets
- A survey of Petri net methods for controlled discrete event systems
- Feedback control of Petri nets based on place invariants
- Synthesis of feedback control logic for a class of controlled Petri nets
- Control of vector discrete-event systems. II. Controller synthesis
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Synthesis of supervisors enforcing general linear constraints in petri nets
- Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system
- An Optimization Approach to Petri Net Monitor Design
- Feedback Control Logic for Backward Conflict Free Choice Nets
- Approach for Transforming Linear Constraints on Petri Nets