Reduction of constraints for controller synthesis based on safe Petri Nets

Automatica

Volumn 44, Issue 7, 2008, Pages 1697-1706

  Dideban, Abbas ^a   Alla, Hassane ^b  

^a SEMNAN UNIVERSITY   (Iran)

^b ENSIEG   (France)

Author keywords

Controller synthesis; Discrete Event Systems (DES); Forbidden states; Petri Nets; Supervisory control

Indexed keywords

CONTROL EQUIPMENT; GRAPH THEORY; LEAD; MARINE BIOLOGY; NUMERICAL METHODS; PETRI NETS;

(EXTENDED) PETRI NETS; CONTROL PLACES; CONTROLLER SYNTHESIS; EFFICIENT METHODS; ELSEVIER (CO); LINEAR CONSTRAINTS; PERMISSIVE CONTROLLERS; REACH ABILITY; SPECIFIC STATES; SYSTEMATIC METHODS;

NUMBER THEORY;

EID: 45849141927     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2007.10.031     Document Type: Article

References (18)

1. Basile F., Chiacchio P., and Giua A. Suboptimal supervisory control of Petri Nets in presence of uncontrollable transitions via monitor places. Automatica 42 (2006) 995-1004
2. Bratosin, C., Caramihai, S., & Alla, H. (2005). Synthesis of feedback control logic for safe Petri Nets. In The 15th international conference on control systems and computer science
3. David R., and Alla H. Discrete, continuous, and hybrid Petri Nets (2005), Springer
4. Dideban A., and Alla H. From forbidden state to linear constraints for the optimal supervisory control. Control Engineering and Applied Informatics (CEAI) 7 3 (2005) 48-55
5. Ghaffari A., Rezg N., and Xie X.-L. Design of live and maximally permissive petri net controller using theory of regions. IEEE Transactions on Robotics and Automation 19 1 (2003)
6. Giua A., and DiCesare F. Grafcet and petri nets in manufacturing. In: Gruver W.A., and Boudreaux J.C. (Eds). Intelligent manufacturing: Programming environments for CIM (1993), Springer-Verlag 153-176
7. 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)
8. Giua A., and Xie X. Control of safe ordinary Petri Nets using unfolding. Discrete Event Dynamic Systems: Theory and Applications 15 (2005) 349-373
9. Kumar R., and Holloway L.E. Supervisory control of deterministic Petri Nets with regular specification languages. IEEE Transactions Automatic Control 41 2 (1996) 245-249
10. Li Z.W., and M.C. Z. Elementary siphons of Petri Nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 34 1 (2004) 38-51
11. Moody J.O., and Antsaklis P. Petri net supervisors for DES with uncontrollable and unobservable transition. IEEE Transactions Automatic Control 45 3 (2000) 462-476
12. Morris Mano M. Digital design (2001), Prentice Hall
13. Ramadge P.J., and Wonham W.M. Modular feedback logic for discrete event systems. SIAM Journal of Control and Optimization 25 5 (1987) 1202-1218
14. Ramadge P.J., and Wonham W. The control of discrete event systems. Dynamics of discrete event systems [Special issue]. Proceedings of the IEEE 77 1 (1989) 81-98
15. Roussel, J.-M., & Giua, A. (2005), Designing dependable logic controllers using the supervisory control theory, In 16th IFAC world congress, CDROM paper no. 04427, 6 pages
16. Uzam M. An optimal deadlock prevention policy for flexible manufacturing systems using petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology 19 (2002) 192-208
17. Uzam M., and Jones A.H. Discrete event control system design using automation Petri nets and their Ladder diagram implementation. International Journal of Advanced Manufacturing Technology 14 (1998) 716-728
18. Yamalidou K., Moody J., Lemmon M., and Antsaklis P. Feedback control of petri nets based on place invariants. Automatica 32 1 (1996) 15-28