Feedback control logic for forbidden-state problems of marked graphs: Application to a real manufacturing system

IEEE Transactions on Automatic Control

Volumn 48, Issue 1, 2003, Pages 18-29

  Ghaffari, Asma ^a   Rezg, Nidhal ^a   Xie, Xiaolan ^a  

^a INRIA   (France)

Author keywords

Manufacturing systems; Marked graphs; State feedback; Supervisory control; Uncontrollable transition

Indexed keywords

CONTROL SYSTEM SYNTHESIS; LINEAR PROGRAMMING; PETRI NETS; PROBLEM SOLVING; REAL TIME SYSTEMS;

REAL MANUFACTURING SYSTEMS;

FEEDBACK CONTROL;

EID: 0037246072     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2002.806651     Document Type: Article

References (18)

1. F. Basile, P. Chiacchio, and A. Giua, "Supervisory control of Petri nets based on suboptimal monitor places," in Proc. WODES'98, Cagliari, Italy, 1998, pp. 85-87.
2. R. K. Boel, B. Bordbar, and G. Stremersch, "A min-plus polynomial approach to forbidden-state control for general Petri nets," in Proc. WODES'98, Cagliari, Italy, 1998, pp. 79-84.
3. R. K. Boel, L. Ben-Naoum, and V. V. Breusegem, "On forbidden-state problems for a class of controlled Petri nets," IEEE Trans. Automat. Contr., vol. 40, pp. 1717-1731, Oct. 1995.
4. H. Chen, "Control synthesis of Petri nets based on S-decreases," Discrete Event Dyna. Syst., vol. 10, no. 3, pp. 233-249, 2000.
5. _, "Net structure and control logic synthesis of controlled Petri nets," IEEE Trans. Automat. Contr., vol. 43, pp. 1446-1451, Oct. 1998.
6. A. Giua, F. DiCesare, and M. Silva, "Petri net supervisors for generalized mutual exclusion constraints," in Proc. IEEE Int. Conf. Systems, Man, Cybernetics, 1992, pp. 974-979.
7. _, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. 12th IFAC World Congr., Sidney, Australia, 1993, pp. I: 267-270.
8. A. Ghaffari, N. Rezg, and X. Xie, "Live and maximally permissive controller synthesis using the theory of regions," presented at the Symp. Supervisory Control DES, Paris, France, July 23, 2002.
9. M. Gondran and M. Minoux, Graphes et Algorithmes. Paris, France: Eyrolles, 1985.
10. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets," IEEE Trans. Automat. Contr., vol. 35, pp. 514-523, May 1990.
11. L. E. Holloway, X. Guan, and L. Zhang, "A generalization of state avoidance policies for controlled Petri nets," IEEE Trans. Automat. Contr., vol. 41, pp. 804-816, June 1996.
12. L. H. Landweber and E. L. Robertson, "Properties of conflict-free and persistent Petri nets," J. Assoc. Comput. Mach., vol. 25, no. 3, pp. 352-364, July 1978.
13. Y. Li and W. M. Wonham, "Control of vector discrete-event systems II Controller synthesis," IEEE Trans. Automat. Contr., vol. 39, pp. 512-531, Mar. 1994.
14. J. O. Moody and P. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Trans. Automat. Contr., vol. 45, pp. 462-476, Mar. 2000.
15. T. Murata, "Petri nets: properties, analysis and application," Proc. IEEE, vol. 44, pp. 541-579, Apr. 1989.
16. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete-event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987.
17. N. Rezg and E. Niel, "Extension of the supervision concept to the monitoring of DES," in Proc. ETFA'96, vol. 1, Kauaï, Hawaii, 1996, pp. 150-156.
18. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM J. Control Optim, vol. 25, no. 3, pp. 637-659, 1987.