A distributed approach for fault detection and diagnosis based on Time Petri Nets

Mathematics and Computers in Simulation

Volumn 70, Issue 5-6, 2006, Pages 287-313

  Jiroveanu, G ^a   Boel, R K ^a  

^a GHENT UNIVERSITY   (Belgium)

Author keywords

Diagnosis; Large systems; Petri nets

Indexed keywords

ALGORITHMS; COMMUNICATION; OBSERVABILITY; PETRI NETS;

CENTRALIZED AGENTS; LARGE SYSTEMS; NEIGHBORING AGENTS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 32144445988     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.matcom.2005.11.003     Document Type: Conference Paper

References (20)

1. S. Abdelwahed, Interacting discrete-event systems: modeling, verification, and supervisory control, Ph.D. thesis, Department of Electrical & Computer Engineering, University of Toronto, March 2002.
2. P. Baroni, and G. Lamperti Diagnosis of large active systems Artif. Intell. 110 1 1999 135 183
3. A. Benvensite, and S. Haar Distributed Diagnosis for Large Discrete Event Dynamic Systems ATPN'03 Eindhoven 2003
4. B. Berthomieu, F. Vernadat, State class construction for branching analysis of Time Petri Nets LAAS Report 02130, March 2002.
5. B. Berthomieu, and M. Menasche An enumerative approach for analyzing Time Petri Nets IFIP Congress Paris 1983
6. R.K. Boel, and G. Jiroveanu Contextual Distributed Diagnosis of Large Systems Modeled as Petri Nets WODES'04 Reims, France 2004
7. S. Genc, and S. Lafortune Distributed Diagnosis for DES Using Petri Nets ATPN'03 Eindhoven 2003
8. G. Jiroveanu, and R.K. Boel Contextual Analysis of Petri Nets for Distributed Applications MTNS'04 Leuven 2004
9. G. Jiroveanu, and R.K. Boel Petri Nets model-based fault section detection and diagnosis in electrical power networks Sixth International Power Engineering Conference Singapore 2003
10. J. Kurine, and X. Koutsoukos Distributed diagnosis of networked, embedded systems 12th International Workshop on Principles of Diagnoses, DX'01 March 2001
11. A. Matzurkiewicz Introduction to Trace Theory Tutorial 1996
12. Y. Pencole, and M.-O. Cordier Incremental decentralized diagnosis approach for the supervision of a telecommunication network 12th International Workshop on Principles of Diagnoses, DX'01 March 2001
13. G. Provan A model-based based diagnosis framework for distributed systems 13th International Workshop on Principles of Diagnoses, DX'02 USA 2002
14. M. Sampath, R. Sengupa et al., Diagnosability of Discrete Event Systems - Report No. CGR-94-02, The University of Michigan, 1994.
15. M. Sampath, and R. Sengupta Failure diagnosis using discrete event models IEEE Trans. Control Sys. Technol. 4 2 March, 1996 105 124
16. M.W. Shields, Non sequential behaviour Internal Report CSR-120-82, Deptartment of Computer Science, University of Edinburgh, 1982.
17. P.D. Stotts, J.C. Ruiz, Synthesizing a Global Net State from Synchronized Local Pieces Technical Report UF TR-92-13, 1992.
18. R. Su, and R. Wonham Distributed diagnosis for qualitative systems WODES'02 Zaragoza October 2002
19. J. Wang, and Y. Deng Reachability analysis of real-time systems using Time Petri Nets IEEE Trans. Sys. Man. Cyb. 30 5 2000 725 736
20. T. Yoneda, and H. Ryuba CTL Model Checking of Time Petri Nets using geometric Regions IEICE Trans. Inf. Syst. E99-D 3 March 1998