Controller synthesis with very simplified linear constraints in PN model

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 2, Issue PART 1, 2009, Pages 233-238

  Dideban, A ^a   Zareiee, M ^a   Alla, H ^b  

^a SEMNAN UNIVERSITY   (Iran)

^b GIPSA LAB   (France)

Author keywords

Controller synthesis; Discrete event systems (DES); Forbidden states; Petri Nets; Supervisory control

Indexed keywords

DISCRETE EVENT SIMULATION; PETRI NETS;

CONTROLLER SYNTHESIS; FORBIDDEN STATE; LINEAR CONSTRAINTS; PERMISSIVE CONTROLLERS; PETRI-NETS MODELING; SPECIFIC STATE; SUPERVISORY CONTROL; SYSTEMATIC METHOD;

CONTROLLERS;

EID: 79960953549     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20090610-3-it-4004.00045     Document Type: Conference Paper

References (13)

1. Achour Z., & N.Rezg, X. Xie. (2004). Supervisory controller of Petri nets under partial Observation. Proc. IFAC WODES04: 7th Workshop on DISCRETE EVENT SYSTEMS(Reims, france), September.
2. Dideban, A., & Alla, H. (2005). From forbidden state to linear constraints for the optimal supervisory control. Control Engineering and appliedt Informaics (CEAI), 7(3), 48-55.
3. Dideban A., 2007, Synthesis of discrete controllers by simplification of constraints and conditions, Ph.D. Thesis, UJF, France.
4. Dideban, A., & Alla, H. (2008). Reduction of Constraints for Controller Synthesis based on Safe Petri Nets. Automatica, 44(7): 1697-1706.
5. Giua, A., DiCesare, F.M., & Silva. (1992). Generalized Mutual Exclusion Constraints on Nets with Uncontrollable Transitions. In Proc. IEEE int. conf. on systems, man, and cybernetics (pp. 974-799).
6. Giua, A., & Xie, X. (2005). Control of safe ordinary Petri Nets using unfolding. Discrete Event Dynamic Systems: Theory and Applications, 15, 349-373. (Pubitemid 41428105)
7. Kumar, R., & Holloway, L.E. (1996). Supervisory control of deterministic Petri nets with regular specification languages. IEEE Trans. Automatic Control, 41(2):245-249. (Pubitemid 126768295)
8. Moody, J.O., & Antsaklis, P. (2000). Petri net supervisorfor DES with uncontrollable and unobservable transition", IEEE Trans. Automatic Control, 45(3): 462-476, mars.
9. Morris Mano, M. (2001). Digital design. Prentice Hall.
10. Ramadge, P.J., & Wonham,W.M. (1987). Supervisory control of a class of discrete event processes. SIAM Joural of Control and Optimization, 25 (1):206-230. (Pubitemid 17513624)
11. Ramadge, P. J., & Wonham, W. (1989). The control of discrete event systems.Dynamics of discrete event systems [Special issue]. Proceedings of theIEEE, 77(1), 81-98.
12. Rene, D., Alla, H. (2005). Discrete, Continuous, and Hybrid Petri Net. Springer.
13. Yamalidou, K., Moody, J., Lemmon, M., & Antsaklis, P. (1996). Feedback control of petri nets based on place invariants. Automatica, 32(1), 15-28. (Pubitemid 126337854)