Diagnosability analysis based on T-Invariants of Petri Nets

2005 IEEE Networking, Sensing and Control, ICNSC2005 - Proceedings

Volumn 2005, Issue , 2005, Pages 371-376

  Wen, YuanLin ^a,b,c   Jeng, Muder ^a,b,d  

^a IEEE   (Taiwan)

^b NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

^c 202Nd Arsenal Materiel Production Center MAB   (Taiwan)

^d Department of Electrical Engineering ^*  (Taiwan)

Author keywords

Dignosability; Petri nets; T invariant

Indexed keywords

AUTOMATED GUIDED VEHICLES(AGVS); DIGNOSABILITY; STATE-ENUMERATION METHODS; T-INVARIANT;

ALGORITHMS; COMPUTER AIDED DIAGNOSIS; INFORMATION ANALYSIS; REMOTELY OPERATED VEHICLES;

PETRI NETS;

EID: 33745154113     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICNSC.2005.1461218     Document Type: Conference Paper

References (11)

1. S.-L. Chung, C.-C. Wu and M. D. Jeng, "Failure Diagnosis: a Case Study on Modeling and Analysis by Petri Nets", Proceedings of IEEE International Conference on Systems Man and Cy emetics pp:2727 -2732, 2003.
2. A. Benveniste, E. Fabre, C, Jard and S. Haar, "Diagnosis of Asynchronous Discrete Event Systems, A Net Unfolding Approach", Sixth International Workshop on Discrete E ent Systems, 2002, pp.182-187, 2002.
3. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A Polynomial Algorithm for Testing Diagnosability of Discrete-Event Systems", IEEE Transactions on Automatic Control, Vol.46, No.8, pp. 1318-1321, August 2001.
4. T. Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings of the IEEE, Vol.77, No.4, pp.541-580, April 1989.
5. M. Sampath, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of Discrete-Event Systems", IEEE Transactions on Automatic Control, Vol.40, No.9, pp.1555-1575, September 1995.
6. M. Sampath, R. Sengupta, S. Lafortune, K. Sinamohideen and, D. Teneketzis, "Failure Diagnosis Using Discrete-Event Models", Proceedings of the rd Conference on Decision and Control, pp.3110-3116, 1994.
7. T. Ushio, I. Onishi, and K., Okuda, "Fault Detection Based on Petri Net Models with Faulty Behaviors", Proceedings of IEEE International Conference on Systems Man and Cy emetics, pp.113-118, 1998.
8. T. S. Yoo, S. Lafortune, "Polynomial-Time Verfication of Diagnosability of Partially Observed Discrete-Event Systems", IEEE Transactions on on Automatic Control, Vol.47, No.9, pp.1491-1495, Sept. 2002.
9. A. Ramírez-Treviño, I. Rivera-Rangel, and E. Lopez-Mellado, "Observability of Discrete Event Systems Modeled by Interpreted Petri Nets", IEEE Transactions on on Robotics and Automation, Vol. 19, No.4, pp.557-565, August 2003
10. Y. L. Wen and M.D. Jeng, "Diagnosability of Petri Nets," Proceedings of IEEE International Conference on Systems Man and Cy ernetics, pp.4891-4896, 2004.
11. S.-L. Chung, C.-L. Fu and M.D. Jeng, "Adaptive Diagnosis of Discrete Event Systems," Journal of the Chinese Institute of Engineers, vol. 27, no. 3, pp. 417-429, 2004