Design and fault diagnosis of Petri net controllers for Petri nets with uncontrollable and unobservable transitions

Journal of Manufacturing Systems

Volumn 28, Issue 1, 2009, Pages 17-22

  Yang, Xin ^a   Chen, Li juan ^b  

^a NANJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS   (China)

^b SOUTHEAST UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CAN DESIGN; FAULT DIAGNOSIS; HAMMING CODE; INVARIANT CONDITION; MANUFACTURING CELLS; PETRI NET CONTROLLER; REDUCTION TECHNIQUES; REDUNDANT PETRI NET CONTROLLERS; TRANSITION FAULTS; UNOBSERVABLE;

CELL MEMBRANES; FAILURE ANALYSIS; FLEXIBLE MANUFACTURING SYSTEMS; GRAPH THEORY; PETRI NETS;

CONTROLLERS;

EID: 70249124270     PISSN: 02786125     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jmsy.2009.07.001     Document Type: Article

References (14)

1. Holloway L.E., and Krgth B.H. Synthesis of feedback logic for a class of controlled Petri nets. IEEE Transactions on Automatic Control 35 5 (1990) 514-532
2. Li Y., and Wonham W.M. Control of vector discrete event systems I: The base model. IEEE Transactions on Automatic Control 38 8 (1993) 1214-1227
3. Li Y., and Wonham W.M. Control of vector discrete-event systems II: Controller synthesis. IEEE Transactions on Automatic Control 39 3 (1994) 512-531
4. Yamaliou E., Moody J.O., Antsaklis P.J., and Lemmon M.D. Feedback control of Petri nets based on place invariants. Journal of Automatica 32 1 (1996) 15-28
5. Wang S.G., Yan G.F., and Jiang J.P. Application of net reduction to feedback controller design of Petri nets. Journal of Software 14 6 (2003) 1037-1042
6. Moody J.O., and Antsaklis P.J. Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Transactions on Robotics and Automation 45 3 (2000) 462-476
7. Sengupta D.K., Chattopadhyay A., Palit A.K., Bandyopadhyay A.K., and Choudhury. Realization of fault-tolerant machines-Linear code application. IEEE Transactions on Computers 30 3 (1981) 237-240
8. Redinbo G.R. Finite field fault-tolerant digital filtering architectures. IEEE Transactions on Computers C-36 10 (1987) 1236-1242
9. Hadjicostis C.N., and Verghese G.C. Encoded dynamics for fault tolerance in linear finite-state machines. IEEE Transactions on Automatic Control 47 1 (2002) 189-192
10. Wang G.X., and Redinbo G.R. Probability of state machine containing soft failures. IEEE Transactions on Computers C-33 3 (1984) 269-277
11. Li Lingxi, Hadjicostis Christoforos N., Sreenivas R.S.. Fault detection and identification in Petri net controllers. In: Proc 43rd IEEE int conf decision and control; 2004. vol.12. p. 5248-53
12. Li L., Hadjicostis C.N., and Sreenivas R.S. Designs of Bisimilar Petri net controllers with fault tolerance capabilities. IEEE Transactions on Systems, Man, and Cybernetics 38 11 (2008) 207-217
13. Iordache U.V., and Antsaklis P.J. Synthesis of supervisors enforcing general linear constraints in Petri nets. IEEE Transactions on Robotics and Automation 48 10 (2003) 2036-2039
14. GIUA A., SEATZU C.. Supervisory control of railway networks with Petri nets. In: 40th IEEE int conf decision control; 2001. vol. 11. p. 5004-9