Petri net supervisors for DES with uncontrollable and unobservable transitions

IEEE Transactions on Automatic Control

Volumn 45, Issue 3, 2000, Pages 462-476

  Moody, John O ^a,c   Antsaklis, Panos J ^b,c  

^a LOCKHEED MARTIN   (United States)

^b University of Notre Dame   (United States)

^c IEEE

Author keywords

[No Author keywords available]

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; CONSTRAINT THEORY; CONTROLLABILITY; DISCRETE TIME CONTROL SYSTEMS; FACTORY AUTOMATION; FLEXIBLE MANUFACTURING SYSTEMS; OBSERVABILITY; PETRI NETS; ROBOTICS;

DISCRETE EVENT SYSTEM; HIGH LEVEL SYNTHESIS; SUPERVISORY CONTROL;

CONTROL SYSTEM SYNTHESIS;

EID: 0033691246     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.847725     Document Type: Article

References (31)

1. K. Barkaoui and I. B. Abdallah, "Deadlock avoidance in FMS based on structural theory of petri nets," in IEEE Symp. Emerging Technol. Factory Automat., vol. 2, Piscataway, NJ, 1995, pp. 499-510.
2. S. Bogdan and F. L. Lewis, "Matrix approach to deadlock avoidance of dispatching in multi-class finite buffer reentrant flow lines," in Proc. 1997 IEEE Int. Symp. Intell. Contr., Piscataway, NJ, July 1997, pp. 397-402.
3. J. Desel and J. Esparza, Free Choice Petri Nets. Cambridge, U.K.: Cambridge Univ. Press, 1995.
4. A. A. Desrochers and R. Y. Al-Jaar, Applications of Petri Nets in Manufacturing Systems. Piscataway, NJ: IEEE Press, 1995.
5. J. Ezpeleta, J. M. Colom, and J. Martínez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, Apr. 1995.
6. S.-C. Fang and S. Puthenpura, Linear Optimization and Extensions: Theory and Algorithms. Engelwood Cliffs, NJ: Prentice-Hall, 1993.
7. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. 1992 IEEE Int. Conf. Syst., Man, Cybern., Chicago, IL, Oct. 1992, pp. 974-979.
8. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems," Discrete Event Dyn. Syst.: Theory Applicat., vol. 7, pp. 151-190, Apr. 1997.
9. J. N. Hooker, "A qualitative approach to logical inference," Decision Support Syst., no. 4, pp. 45-69, 1988.
10. H.-H. Huang, F. L. Lewis, and D. A. Tacconi, "Deadlock analysis using a new matrix-based controller for reentrant flow line design," in IECON Proc. Ind. Electron. Conf., vol. 1, Los Alamitos, CA, 1996, pp. 463-468.
11. F. L. Lewis, H. Huang, D. Tacconi, A. Gürel, and O. Pastravanu, "Analysis of deadlocks and circular waits using a matrix model for discrete event systems," Automat. Robot. Res Inst., The Univ. Texas at Arlington, Ft. Worth, TX, Tech. Rep., Oct. 1995.
12. Y. Li and W. M. Wonham, "Controllability and observability in the state-feedback control of discrete-event systems," in Proc. 27th Conf. Decision Contr., Austin, TX, Dec. 1988, pp. 203-208.
13. _, "Control of vector discrete event systems II - Controller synthesis," IEEE Trans. Automat. Contr., vol. 39, no. 3, pp. 512-530, Mar. 1994.
14. J. Martinez and M. Silva, "A simple and fast algorithm to obtain all invariants of a generalized Petri net," in Advances in Petri Nets Berlin: Springer-Verlag, 1980, Lecture Notes, Comput. Sci., no. 52.
15. J. O. Moody, "Petri net supervisors for discrete event systems," Ph.D. dissertation, Dept. Elect. Eng., Univ. Notre Dame, Notre Dame, IN, 1998.
16. J. O. Moody and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. Amsterdam, The Netherlands Kluwer, 1998.
17. J. O. Moody, P. J. Antsaklis, and M. D. Lemmon, "Automated design of a Petri net feedback controller for a robotic assembly cell," in Proc. 1995 INRIA/IEEE Symp. Emerging Technol. Factory Automat., vol. 2, Paris, France, Oct. 1995, pp. 117-128.
18. _, "Feedback Petri net control design in the presence of uncontrollable transitions," in Proc. 34th IEEE Conf. Decision Contr., vol. 1, New Orleans, LA, Dec. 1995, pp. 905-906.
19. J. O. Moody, K. Yamalidou, M. D. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," in Proc. 33rd IEEE Conf. Decision Contr., vol. 3, Lake Buena Vista, FL, Dec. 1994, pp. 3104-3109.
20. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, pp. 541-580, 1989.
21. J. L. Peterson, Petri Net Theory and the Modeling of Systems Engelwood Cliffs, NJ: Prentice-Hall, 1981.
22. P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, pp. 81-97, Jan. 1989.
23. C. V. Ramamoorthy and G. S. Ho, "Performance evaluation of asynchronous concurrent systems using Petri nets," IEEE Trans. Software Eng., vol. SE-6, no. 5, 1980.
24. W. Reisig, Petri Nets. Berlin: Springer-Verlag, 1985.
25. J. Sifakis, "Performance evaluation of systems using Petri nets," in Advances in Petri Nets, W. Brauer, Ed. Berlin: Springer-Verlag, 1979, Lecture Notes, Comput. Sci., no. 84.
26. R. S. Sreenivas, "On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets," Syst. Contr. Lett., vol. 31, pp. 41-48, June 1997.
27. _, "On the existence of supervisory policies that enforce liveness in discrete-event dynanic systems modeled by controlled Petri nets," IEEE Trans. Automat. Contr., vol. 42, pp. 928-945, July 1997.
28. W. M. Wonham and P. J. G. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM J. Contr. Optim., vol. 25, no. 3, pp. 637-659, 1987.
29. K.-Y. Xing, B.-S. Hu, and H.-X. Chen, "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources," IEEE Trans. Automat. Contr., vol. 41, pp. 289-295, Feb. 1996.
30. K. Yamalidou and J. C. Kantor, "Modeling and optimal control of discrete-event chemical processes using Petri nets," Comput. Chem. Eng., vol. 15, no. 7, pp. 503-519, 1991.
31. K. Yamalidou, J. O. Moody, M. D. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, pp. 15-28, Jan. 1996.