Supervisory control of marked graphs with partial observations

International Journal of Production Research

Volumn 42, Issue 14, 2004, Pages 2827-2838

  Achour, Z ^a   Rezg, N ^a   Xie, X ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; CLOSED LOOP CONTROL SYSTEMS; FORMAL LANGUAGES; GRAPH THEORY; MAPPING;

CONTROL SYNTHESIS METHOD; SAFE-MARKED GRAPHS; SUPERVISOR CONTROL;

DISCRETE TIME CONTROL SYSTEMS;

EID: 3142527111     PISSN: 00207543     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207540410001705239     Document Type: Conference Paper

References (14)

1. BASILE, F., CHIACCHIO, P. and GIUA, A., 1998, Supervisory control of Petri nets based on suboptimal monitor places. Proceedings of WODES'98, Sardinia, Italy, pp. 85-87.
2. DARONDEAU, PH. and XIE, X. L., 2003, Linear control of live marked graphs. Automatica, 39, 429-440.
3. GHAFFARI, A., REZG, N. and XIE, X., 2003, Feedback control logic for forbidden state problem of marked graphs. IEEE Transactions on Automatic Control, 48, 18-29.
4. GIUA, A., DICESARE, F. and SILVA, M., 1993, Petri net supervisors for generalized mutual exclusion constraints. Proceedings of the 12th IFAC World Congress, Sydney, Australia, pp. 267-270.
5. HOLLOWAY, L. and KROGH, B., 1990, Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Transactions on Automatic Control, 35, 514-523.
6. ISHIKAWA, A. and HIRAISHI, K., 1987, Analysis and control of discrete event systems represented by Petri nets. In P. VARAIYA and A. B. KURZHANSKI (eds), Discrete Event Systems: Models and Applications (Berlin: Springer), pp. 115-134.
7. KROGH, B. H., 1987, Controlled Petri nets and maximally permissive feedback logic. Proceedings of the 25th Annual Allerton Conference, University of Illinois, Urbana, IL, USA, pp. 317-326.
8. LI, Y. and WONHAM, W. M., 1994, Control of vector discrete event systems II - Controller synthesis. IEEE Transactions on Automatic Control, 39, 512-531.
9. MOODY, J. O. and ANTSAKLIS, P. J., 1999, Petri Net Supervisors for DES with Uncontrollable and Unobservable Transitions. Technical Report ISIS-99-004, ISIS Group at the University of Notre Dame.
10. MOODY, J. O., LEMMON, M. and ANTSAKLIS, P. J., 1996, Supervisory control of Petri nets with uncontrollable/unobservable transitions. Proceedings of the 35th IEEE CDC, Kobe, Japan.
11. MURATA, T., 1989, Petri nets: properties, analysis and application. Proceeding of IEEE, 44, 541-579.
12. RAMADGE, P. J. and WONHAM, W. M., 1987, Supervisory control of a class discrete event processes. SIAM Journal on Control and Optimization, 25, 206-230.
13. WONHAM, W. M. and RAMADGE, P. J., 1987, On the supremal controllable sublanguage of a given language. SIAM Journal on Control and Optimization, 25, 637-659.
14. YAMALIDOU, K., MOODY, J., LEMMON, M. and ANTSAKLIS, P., 1996, Feedback control of Petri nets based on place invariants. Automatica, 32, 15-28.