On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn , Issue , 2011, Pages 832-837

  Li, ZhiWu ^a   Chen, YuFeng ^a   Zhou, MengChu ^b  

^a XIDIAN UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

discrete event system; forbidden state problem; generalized mutual exclusion constraint; Petri net

Indexed keywords

A PLANTS; FORBIDDEN STATE; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; INTEGER LINEAR PROGRAMMING; OPTIMALITY; REACHABILITY GRAPHS; SUPERVISORY CONTROL;

CYBERNETICS; DISCRETE EVENT SIMULATION; INTEGER PROGRAMMING; MATHEMATICAL MODELS; OPTIMIZATION; PETRI NETS; SUPERVISORY PERSONNEL;

PROBLEM SOLVING;

EID: 83755178621     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2011.6083756     Document Type: Conference Paper

References (19)

1. A. Dideban and H. Alla, "From forbidden states to linear constriants for the optimal supervisor synthesis," Control Engineering and Applied Informatics, vol.7, no.3, pp.48-55, 2005.
2. A. Dideban and H. Alla, "Reduction of constraints for controller synthesis based on safe Petri Nets," Automatica, vol.44, no.7, pp.1697-1706, 2008.
3. C. Girault and R. Valk, Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications, New York: Springer-Verlag, 2003.
4. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Oct. 18-21, Chicago, IL, U.S.A, 1992, pp.974- 979.
5. A. Giua, F. DiCesare, and M. Silva, "Petri net supervisor for genralized mutal exlusion constraints," in Proc. 12th IFAC World Congres, Sidney, Australia, July 1993, vol.1, pp.267-270.
6. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets," IEEE Transactions on Automatic Control, vol.35, no.5, pp.514-523, 1990.
7. M. V. Iordache and P. J. Antsaklis, Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Berlin: Springer-Verlag, 2006.
8. M. V. Iordache and P. J. Antsaklis, "Supervision based on place invariants: A survey," Discrete Event Dynamical Systems Theory and Applications, vol.16, pp.451-492, 2006.
9. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, vol.27, pp.641-651, 1991.
10. J. O. Moody and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. Norwell, MA: Kluwer, 1998.
11. T. Murata, "Petri nets: Properties, analysis, and applications," Proceedings of the IEEE, vol.77, pp.541-580, Apr. 1989.
12. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete-event processes," SIAM Journal Control Optimization, vol.25, no.1, pp.206-230, 1987.
13. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proceedings of the IEEE, vol.77, no.1, pp.81-98, 1989.
14. S. A. Reveliotis, Real-time Management of Resource Allocation Systems: A Discrete Event Systems Approach. NY: Springer-Verlag, 2005.
15. M. Uzam and M. C. Zhou, "An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems,"IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol.37, no.3, pp.362-371, 2007. (Pubitemid 46621522)
16. I. A. Vasiliu, A. Dideban, and H. Alla, "Contorl synthesis for manufacturing systems using non-safe Petri nets," Control Engineering and Applied Informatics, vol.11, no.2, pp.43-50, 2009.
17. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM Journal of Control Optimization, vol.25, no.3, pp.637-659, 1987.
18. E. Yamalidou, J. O. Moody, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol.32, no.1, pp. 15-28, 1996.
19. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, kluwer Academic Publishing, Norwell, MA, 1993.