A structural characterization of diagnosable petri net models

Proceedings of the 3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007

Volumn , Issue , 2007, Pages 1137-1142

  Ruiz Beltran E ^a   Ramirez Trevino A ^a   Lopez Mellado E ^a   Aramburo Lizarraga J ^a  

^a UNIDAD GUADALAJARA   (Mexico)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DISCRETE EVENT SIMULATION; FAULT DETECTION; POLYNOMIAL APPROXIMATION;

DIAGNOSABILITY PROPERTY; INTERPRETED PETRI NETS (IPN); STRUCTURAL CHARACTERIZATION;

PETRI NETS;

EID: 44449159466     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2007.4341818     Document Type: Conference Paper

References (17)

1. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Failure Diagnosis Using Discrete-Event Models, IEEE Trans. on Control System Technology, vol. 4, no. 2, 1996, pp. 105-124.
2. R. Debouk, S. Lafortune and D. Teneketzis, Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems, Kluwer Academic Publishers, Discrete Event Systems: Theory and Applications, vol. 10, 2000, pp. 33-79.
3. S. Hashtrudi Zad, R. H. Kwong, W.M. Wonham, Fault Diagnosis in Discrete-Event Systems: Framework and Model Reduction, IEEE Transactions on Automatic Control, vol. 48, no. 7, 2003, pp. 1199-1212.
4. C. N. Hadjicostis, G. Verghese, Structured Redundancy for Fault Tolerance in State-Space models and Petri Nets, Kybernetica, vol. 35, no. 1, 1999, pp. 39-55.
5. S. Genc and S. Lafortune, "Distributed Diagnosis of Discrete Event Systems Using Petri Nets", in Proceedings of the 24th ATPN, 2003, pp. 316-336.
6. S.L. Chung, C. Chung Wu, and M. Jeng, "Failure Diagnosis: A case study on Modeling and Analysis by Petri Nets", in Proceedings of the IEEE Conference on SMC, 2003, pp. 2727-2732.
7. D. Lefebvre and C. Delherm, Diagnosis of DES with Petri Net models, IEEE Transactions on Automation Science and Engineering, vol. 4, no. 1, 2007, pp. 114-118.
8. A. Giua and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions", in the 44th Int. Conf. on Decision and Control and European Control Conference, 2005, pp. 6323-6328.
9. E. Ruiz-Beltrán, I. Jiménez, A. Ramírez, E. López, and M. Meda, "Fault detection and location in DES using Petri Nets", in the IEEE Int. Conference on SMC, 2005, pp. 1645-1650.
10. A. Ramírez-Treviño, E. Ruiz-Beltrán, I. Rivera-Rangel, and E. López-Mellado, On-line Fault Diagnosis of Discrete Event Systems. A Petri Net Based Approach, IEEE Transactions on Automation Science and Engineering, vol. 4, no. 1, 2007, pp. 31-39.
11. Lin, F., and Wonham, W.M., Supervisory control of timed discrete event systems under partial observation, IEEE Trans. on Automatic Control, vol. 40, 1995, pp. 558-562.
12. A. Ramírez-Treviño, I. Rivera-Rangel, and E. López-Mellado, Observability of Discrete Event Systems Modeled by Interpreted Petri Nets, IEEE Transactions on Robotics and Automation, vol 19, no. 4, 2003, pp. 557-565.
13. J. Desel and J. Esparza, Free Choice Petri Nets, Cambridge University Press, 1995.
14. I. Rivera-Rangel, A. Ramirez-Treviño, L.I. Aguirre-Salas, and J. Ruiz-León, Geometrical characterization of Observability in Interpreted Petri Nets, Kybernetika, vol. 41, 2005, pp. 553-574.
15. J. Koh and F. DiCesare, Transformation Methods for Generalized Petri Nets and Their Applications to Flexible Manufacturing Systems, IEEE Transactions on Systems, Man and Cybernetics, vol. 21, 1991, pp. 1512-1522.
16. M. C. Zhou and F. DiCesare, "Petri Net Synthesis for Discrete Event Control of Manufacturing Systems," Kluwer Academic Publishers, Boston, MA, 1993.
17. T. Murata, "Petri nets: Properties, analysis and applications," in Proc. of the IEEE, 1989, pp. 541-580.