Distributed diagnosis of discrete-event systems using Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2679, Issue , 2003, Pages 316-336

  Genc, Sahika ^a   Lafortune, Stéphane ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FAILURE ANALYSIS; FAULT DETECTION; PETRI NETS;

CENTRALIZED ALGORITHMS; DIAGNOSIS ALGORITHMS; DISTRIBUTED DIAGNOSIS; LABELED TRANSITIONS; LARGE COMPLEX SYSTEMS; MODELING FORMALISMS; ON-LINE FAULT DIAGNOSIS; PETRI NET MODELS;

DISCRETE EVENT SIMULATION;

EID: 35248890966     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44919-1_21     Document Type: Article

References (19)

1. Pouliezos, A.D., Stavrakakis, G.S.: Real time fault monitoring of industrial processes. Kluwer Academic Publishers (1994)
2. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers (1999)
3. Lafortune, S., Teneketzis, D., Sampath, M., Sengupta, R., Sinnamohideen, K.: Failure diagnosis of dynamic systems: An approach based on discrete event systems. In: Proc. 2001 American Control Conf. (2001) 2058-2071
4. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete event systems. IEEE Trans. Automatic Control 40 (1995) 1555-1575
5. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Failure diagnosis using discrete event models. IEEE Trans. Control Systems Technology 4 (1996) 105-124
6. Sampath, M.: Discrete event systems based diagnostics for a variable air volume terminal box application. Technical report, Advanced Development Team, Johnson Controls, Inc. (1995)
7. Şimşek, H.T., Sengupta, R., Yovine, S., Eskafi, F.: Fault diagnosis for intra-platoon communication. In: Proc. 38th IEEE Conf. on Decision and Control. (1999)
8. Sengupta, R.: Discrete-event diagnostics of automated vehicles and highways. In: Proc. 2001 American Control Conf. (2001)
9. Sampath, M., Godambe, A., Jackson, E., Mallow, E.: Combining qualitative and quantitative reasoning - a hybrid approach to failure diagnosis of industrial systems. In: IFAC SafeProcess 2000. (2000) 494-501
10. Sampath, M.: A hybrid approach to failure diagnosis of industrial systems. In: Proc. 2001 American Control Conf. (2001)
11. García, E., Morant, F., Blasco-Giménez, R., Quiles, E.: Centralized modular diagnosis and the phenomenon of coupling. In Silva, M., Giua, A., Colom, J., eds.: Proceedings of the 6th International Workshop on Discrete Event Systems, IEEE Computer Society (2002) 161-168
12. Chehaibar, G.: Replacements of Open Interface Subnets and Stable State Transformation Equivalence, Springer-Verlag (1993) 1-25
13. Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science, vol. 625). Springer-Verlag (1998)
14. Aghasaryan, A., Fabre, E., Benveniste, A., Boubour, R., Jard, C.: Fault detection and diagnosis in distributed systems: An approach by partially stochastic petri nets. Journal of Discrete Event Dynamical Systems Vol. 8(2) (1998) 203-231
15. Benveniste, A., Fabre, E., Jard, C., Haar, S.: Diagnosis of asynchronous discrete event systems, a net unfolding approach. Technical Report Research Report 1456, Irisa (2002)
16. Hadjicostis, C.N., Verghese, G.C.: Monitoring Discrete Event Systems Using Petri Net Embeddings. Application and Theory of Petri Nets 1999 (Series Lecture Notes in Computer Science, vol. 1639) (1999) 188-207
17. Sifakis, J.: Realization of fault-tolerant systems by coding petri nets. Journal of Design Automation and Fault-Tolerant Computing Vol. 3 (1979) 93-107
18. Giua, A.: Petri net state estimators based on event observation. IEEE 36th Int. Conf. on Decision and Control (1997) 4086-4091
19. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press (1995)