Encoded in dynamic systems modeled by petri net controllers for faulttolerance

ICIC Express Letters

Volumn 4, Issue 1, 2010, Pages 31-35

  Yang, Xin ^a   Chen, Lijuan ^b  

^a NANJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS   (China)

^b SOUTHEAST UNIVERSITY   (China)

Author keywords

Dynamic systems; Fault tolerance; Petri net controller

Indexed keywords

DYNAMIC SYSTEMS; MATRIX VECTOR MULTIPLICATION; PETRI NET CONTROLLER; VECTOR ADDITION; XOR OPERATION;

CONTROLLERS; DYNAMICAL SYSTEMS; FAULT DETECTION; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; GRAPH THEORY; PETRI NETS;

QUALITY ASSURANCE;

EID: 77953901573     PISSN: 1881803X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (19)

1. M. Mahmoud,P. Shi. Methodologies for Control of Jump Time-delay Systems,Kluwer Academic Publishers, Boston. 2003.
2. C. N. Hadjicostis and G. C. Verghese, Encoded dynamics for faulttolerance in linear finite-state machines, IEEE Transactions on AutomattcControl. vol.47. no.1. pp.12-20, 2002.
3. A. Sengupta. D. K. Chattopadhyay, A. Palit. A. K. Bandyopadhyay and A. K.Choudhury. Realizahon of fault-tolerant machines-Linear code application. IEEETransactions on Computers. vol.C-30, no.3, pp.237-240. 1981.
4. G. R. Redinbo, Finite field fault-tolerant digital filteringarchitectures, Realization of fault-tolerant machines-linear code application.IEEE Transactions on Computers, vol.C-36. no.10. pp.1236-1242, 1987.
5. C. N. Hadjicostis, G. C. Verghese, Encoded dynamics for fault tolerancein linear finite-state machines. IEEE Transactions on Automattc Control. vol.47.no.1. pp.189-192. 2002.
6. G. X. Wang and G. R. Redinbo, Probability of state transition errors in afinite state machine containing soft failures, IEEE Transactions on Computers,vol.C-33. no.3. pp.269-277, 1984.
7. R. Leveugle, C. Saucier. Optimized synthesis of concurrently checkedcontrollers, IEEE Transactions on Computers, vol.39. no.4, pp.419-425, 1990.
8. C. N. Hadjicostis and G. C. Verghese. Fault-tolerant computation ingroups and semi groups. Journal of Franklin Institute, vol.339, no.4.pp.387-430.
9. C. N. Hadjicostis, Finite-state machine embeddings for non concurrenterror detection and identification. IEEE Transactions on Automatic Control.vol.50. no.2. pp.142-153, 2005.
10. Y. Wu and C. N. Hadjicostis, Algebraic approaches for faultidentification in discrete-event systems, IEEE Transactions on AutomattcControl, vol.50, no.12, pp.2048-2055, 2005.
11. 3rd IEEEConf. Decision Control, vol.12. pp.5248-5253. 2004.
12. L. Li. C. N. Hadjicostis and R. S. Sreenivas. Designs of bisimilar Petrinet controllers with fault tolerance capabilities, IEEE Transactions on Systems,Man. and Cybernettcs - Part A: Systems and Humans, vol.38, no.1. pp.207-217,2008.
13. M. P. Fanti and M. C. Zhou. Deadlock control methods in automatedmanufacturing systems. IEEE Transactions on Systems. Man, and Cybernetics - PartA: Systems and Humans, vol.34. no.1. pp.5-22. 2004.
14. M. D. Jeng and X. L. Xie. ERCN merged nets thr modeling degraded behaviorand parallel processes in semiconductor manufacturing systems, IEEETransactions on Systems. Man. and Cybernetics - Part A: Systems and Humans,vol.34, no.1. pp.102-112. 2004.
15. L. E. Holloway. B. H. Krogh and A. Ciua. A survey of Petri net models forcontrolled discrete event systems, Discrete Event Dynamic Systems-Theory andApplications, vol.7, no.2. pp.151-190. 1997.
16. R. Bouyekhf and A. E. Mdoudni. On the analysis of some structuralproperties of Petri nets, IEEE Transactions on Systems, Man, and Cybernetics -Part A: Systems and Humans. vol.35. no.6. pp.784-794. 2005.
17. M. P. Fanti and M. C. Zhou, Deadlock control methods in automatedmanufacturing systems, IEEE Transactions on Systems. Man, and Cybernetics - PartA: Systems and Humans, vol.34. no.1. pp.5- 22. 2004.
18. C. C. Cassandras and S. Lafortune. Introduction to Discrete EventSystems, Boston. MA: Kluwer. 1999.
19. C. Jiroveanu and R. K. Boel. A distributed approach for fault detectionand diagnosis based on time Petri net, Mathematics and Computers tn Stmulatton,pp.287-313. 2006.