Synthesis of supervisors enforcing general linear constraints in petri nets (original) (raw)
2003, IEEE Transactions on Automatic Control
Related papers
Supervisory Control of Systems Modeled by Petri Net from Adequate Admissible Constraints
2018
The purpose of Supervisory Control of the system, considered as Discrete Event Systems (SED), is to synthesize an optimal and non-blocking controller. Indeed, the specifications of the SED are generally declined in forbidden states that must be avoided. Our work consisted in finding a structural synthesis approach based on the determination of the adequate admissible constraints stresses for the Petri net (PN) invariant method. The closed-loop system model (SED) is obtained by synchronous product of elementary PNs. First, we used the computational power of the Kumar algorithm based on finite state automata to determine the constraints related to forbidden states. But, exploration of the PN marking graph is laborious. This is what led us second, to represent the reachable marking graph by its transition matrix. The coding of this matrix, according to the state specification, allowed us to separate the states and identify the states relevant to the synthesis of a controller.
A Survey on the Supervision of Petri Nets
2005
The paper focuses on supervision approaches in which the supervisor is a Petri net (PN). Special attention is given to the monitor- based approaches. In monitor-based supervision, the set of transitions (events) of a supervisor is a subset of the set of transitions (events) of the plant. The significance of monitor-based approaches to the design of the general PN supervisors is emphasized. The approaches surveyed in the paper are classified based on the type specifications, controlla- bility/observability assumptions, and centralized/decentralized type of supervision. Included are also the literature results that do not lead to a supervisor represented as a PN.
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.