Design and coordination of partial Petri net controllers for a maximally permissive supervisory control

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 1, Issue , 2002, Pages 37-42

  Ghaffari, A ^a   Ben Njima, F ^a   Rezg, N ^a   Xie, X L ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

Maximally permissivenes; Petri nets; State feedback; Supervisory control

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; DISCRETE TIME CONTROL SYSTEMS; PETRI NETS; STATE FEEDBACK;

MAXIMALLY PERMISSIVENESS;

SCADA SYSTEMS;

EID: 0037670035     PISSN: 08843627     EISSN: None     Source Type: Journal    
DOI: 10.1109/ICSMC.2002.1167944     Document Type: Article

References (12)

1. E. Badouel, L. Bernardinello and P. Darondeau, “Polynomial algorithms for the synthesis of bounded nets" Proc. CAAP’95, Springer Verlag LNCS 915 (364-378), 1995.
2. A. Giua, “Petri net techniques for supervisory control of discrete event systems" Proc. Manufacturing and Petri nets, 1st Int. Workshop, Osaka, Japan, 1996.
3. A. Giua, F. DiCesare and M. Silva, “Generalized mutual exclusion constraints on nets with uncontrollable transitions" Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, Chicago, Illinois, pp. 974-979, 1992.
4. A. Ghaffari, N. Rezg and X. Xie “Maximally permissive and non blocking control of Petri nets using theory of regions”, ICRA ‘02, Washington DC, USA, May 10-17, 2002.
5. A. Ghaffari, N. Rezg and X. Xie, “Net Transformation and Theory of Regions for Optimal Control of Petri Nets”, IFAC’02, Barcelona, Spain, July 21-26 2002.
6. A. Ghaffari, N. Rezg and X. Xie, “Algebraic and geometric characterization of Petri net controllers using Theory of Regions”, to appear in WODES’02, Zaragoza, Spain, 2-4 October, 2002.
7. Y. Li and W. M. Wonham, “Control of vector discrete event systems - Part I: The base model" IEEE Trans. Automatic Control, vol. 38, no. 8, pp. 1215-1227, 1993.
8. Y. Li and W. M. Wonham, “Control of vector discrete event systems - Part II: Controller synthesis" IEEE Trans. Automatic Control, vol. 39, no. 3, pp. 512-531, 1994.
9. J. O. Moody, M. Lemmon and P.J. Antsaklis, “Supervisory control of Petri nets with uncontrollable/unobservable transitions”, Proc. Of the 35th IEEE CDC, Kobe, Japan, pp. 1010-1020, 1999.
10. P. J. Ramadge and W. M. Wonham, “Supervisory control of a class of a class of discrete event processes" SIAM J. Contr. Optimiz., vol. 25, pp. 206-230, 1987.
11. P. J. Ramadge and W. M. Wonham, “The control of discrete event systems" Proc. IEEE Special Issue on Discrete Event Dynamic Systems, vol. 77, pp. 81-98, 1987.
12. N. Rezg, X. Xie and A. Ghaffari, “Supervisory control of discrete event systems using the Theory of Regions”, WODES’2000, Gent, Belgium, August 20-23, 2000.