Petri net supervisors for DES with uncontrollable and unobservable transitions
Top Cited Papers
- 1 March 2000
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 45 (3), 462-476
- https://doi.org/10.1109/9.847725
Abstract
A supervisor synthesis technique for Petri net plants with uncontrollable and unobservabletransitions that enforces the conjunction of a set of linear inequalities on the reachable markingsof the plant is presented. The approach is based on the concept of Petri net place invariants.Each step of the procedure is illustrated through a running example involving the supervisionof a robotic assembly cell. The controller is described by an auxiliary Petri net connected to theplant's transitions, ...Keywords
This publication has 23 references indexed in Scilit:
- Deadlock analysis using a new matrix-based controller for reentrant flow line designPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Feedback control of Petri nets based on place invariantsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automated design of a Petri net feedback controller for a robotic assembly cellPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Feedback Petri net control design in the presence of uncontrollable transitionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Supervisory Control of Discrete Event Systems Using Petri NetsPublished by Springer Science and Business Media LLC ,1998
- On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri netsIEEE Transactions on Automatic Control, 1997
- Feedback control of petri nets based on place invariantsAutomatica, 1996
- Control of vector discrete-event systems. II. Controller synthesisIEEE Transactions on Automatic Control, 1994
- Modeling and optimal control of discrete-event chemical processes using petri netsComputers & Chemical Engineering, 1991
- On the Supremal Controllable Sublanguage of a Given LanguageSIAM Journal on Control and Optimization, 1987