Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets
- 19 January 2010
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automation Science and Engineering
- Vol. 7 (3), 549-557
- https://doi.org/10.1109/tase.2009.2037825
Abstract
For practical automated manufacturing systems (AMSs), the time dimension is of great significance and should be integrated in their plant models. Reasonably, many of the realistic general mutual exclusion constraints (GMECs) imposed on these discrete models should be timed rather than merely algebraic or logic. In the past, such a problem was studied on the basis of the Ramadge-Wonham supervisory control technique (SCT) and the theory of regions. It proves to be NP-hard since it necessitates the generation of reachability graphs. This paper shows that it can be solvable in polynomial time by using generalized linear constraints, which are originally proposed to increase the expressive power of the linear marking constraints. By dividing each constraint into marking, firing vector, and Parikh terms, its respective control place can be synthesized algebraically without considering the separation of dangerous states and events. Several examples are used to validate the effectiveness and efficiency of the proposed approach.This publication has 30 references indexed in Scilit:
- Modeling and monitoring of E-commerce workflowsInformation Sciences, 2009
- One-Step Solution-Based Strategy to 3D Superstructures of Nb2O5–LiFNanoscience and Nanotechnology Letters, 2009
- Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systemsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2004
- Synthesis of supervisors enforcing general linear constraints in petri netsIEEE Transactions on Automatic Control, 2003
- Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing systemIEEE Transactions on Automatic Control, 2003
- Petri net supervisors for DES with uncontrollable and unobservable transitionsIEEE Transactions on Automatic Control, 2000
- Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approachIEEE Transactions on Semiconductor Manufacturing, 1998
- A Petri net based deadlock prevention policy for flexible manufacturing systemsIEEE Transactions on Robotics and Automation, 1995
- Supervisory control of timed discrete-event systemsIEEE Transactions on Automatic Control, 1994
- The control of discrete event systemsProceedings of the IEEE, 1989