Coordinated decentralized protocols for failure diagnosis of discrete event systems

Discrete Event Dynamic Systems: Theory and Applications

Volumn 10, Issue 1, 2000, Pages 33-86

  Debouk, Rami ^a   Lafortune, Stéphane ^a   Teneketzis, Demosthenis ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; DATA COMMUNICATION SYSTEMS; DECENTRALIZED CONTROL; FAILURE ANALYSIS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PERFORMANCE;

DECENTRALIZED INFORMATION; DIAGNOSTIC PROTOCOLS; DISCRETE EVENT SYSTEMS; FAILURE DIAGNOSIS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0033872311     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1008335115538     Document Type: Article

References (26)

1. Aumann, R. J. 1976. Agreeing to disagree. The Annals of Statistics 4(6): 1236-1239.
2. Bavishi, S., and Chong, E. 1994. Automated fault diagnosis using a discrete event systems framework. Proc. 9th IEEE International Symposium on Intelligent Control, pp. 213-218.
3. Bertsekas, D., and Gallager, R. 1992. Data Networks. Englewood Cliffs, NJ: Prentice Hall.
4. Boubour, R., Jard, C., Aghasaryan, A., Fabre, E., and Benveniste, A. 1997. Petri net approach to fault detection and diagnosis in distributed systems: application to telecommunication networks, motivations, and modelling. Proc. 36th IEEE Conf. on Decision and Control. San Diego, CA.
5. Cassandras, C. G., and Lafortune, S. 1998. Discrete event systems: The state of the art and some recent trends. Applied and Computational Control, Signals and Circuits (Datta, B, ed.). Birkhäuser.
6. Castanon, D. A., and Teneketzis, D. 1985. Distributed estimation algorithms for nonlinear systems. IEEE Trans. Automat. Contr. 30(5): 418-425.
7. Davis, R., and Hamscher,W. 1992. Model based reasoning: Troubleshooting. Readings in Model Based Diagnosis (Hamscher, W., Console, L., and Kleer, J., eds.). Morgan Kaufman, pp. 3-24
8. Debouk, R. Failure Diagnosis of Discrete Event Systems with Distributed Information. PhD Thesis, Electrical Engineering and Computer Science Department, The University of Michigan. In preparation.
9. Frank, P. 1990. Fault diagnosis in dynamic systems using analytical and knowledge based redundancy. Automatica 26: 459-474.
10. Holloway, L., and Chand, S. 1994. Time templates for discrete event fault monitoring in manufacturing systems. Proc. 1994 American Control Conference, pp. 701-706.
11. Hopcroft, J., and Ullman, J. 1979. Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison Wesley.
12. Lapp, S., and Powers, G. 1977. Computer-aided synthesis of fault trees. IEEE Trans. Reliability Engineering 26(1): 2-13.
13. Lin, F. 1994. Diagnosability of discrete event systems and its application. Discrete Event Dynamic Systems: Theory and Applications 4(2): 197-212.
14. Pouliezos, A. D., and Stavrakakis, G. S. 1994. Real Time Fault Monitoring of Industrial Processes. Boston, MA: Kluwer Academic Publishers.
15. Ramadge, P. J., and Wonham, W. M. 1989. The control of discrete-event systems. Proc. IEEE 77(1): 81-98.
16. Sampath, M. 1993. The extended diagnoser. Unpublished memorandum.
17. Sampath, M. 1995. A discrete event systems approach to failure diagnosis. PhD thesis, The University of Michigan.
18. Sampath, M., Lafortune, S., and Teneketzis, D. 1998. Active diagnosis of discrete-event systems. IEEE Trans. Automat. Contr. 43(7).
19. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1995. Diagnosability of discrete-event systems. IEEE Trans. Automat. Contr. 40(9): 1555-1575.
20. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1996. Failure diagnosis using discrete-event models. IEEE Trans. Contr. Syst. Tech. 4(2): 105-124.
21. Scherer,W.T., and White, C. C. 1987. A survey of expert systems for equipment maintenance and diagnostics. In Fault Detection and Reliability: Knowledge Based & Other Approaches (Singh, M. G., Hindi, K. S., Schmidt, G., and Tzafestas, S., eds.). Pergamon Press.
22. Speyer, J. L. 1979. Computation and transmission requirements for a decentralized linear-quadratic-gaussian control problem. IEEE Trans. Automat. Contr. 24: 266-269.
23. Washburn, R. B., and Teneketzis, D. 1984. Asymptotic agreement among communicating decision makers. Stochastics 13(1-2): 103-129.
24. Willsky, A. 1976. A survey of design methods for failure detection in dynamic systems. Automatica 12: 601-611.
25. Willsky, A. S., Bello, M., Castanon, D. A., Levy, B. C., and Verghese, G. 1982. Combining and updating of local estimates and regional maps along sets of one-dimensional tracks. IEEE Trans. Automat. Contr. 27(4): 799-813.
26. Wong, K., and van Schuppen, J. H. 1996. Decentralized supervisory control of discrete event systems with communications. Proc. of WODES 1996, International Workshop on Discrete Event Systems. IEE, London, England, pp. 284-289.