Fault diagnosis with dynamic observers

Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

Volumn , Issue , 2008, Pages 212-217

  Cassez, Franck ^a   Tripakis, Stavros ^b,c  

^a INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

^b CADENCE DESIGN SYSTEMS   (United States)

^c VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRIC FAULT CURRENTS; FAILURE ANALYSIS; QUALITY ASSURANCE; SENSOR NETWORKS; TECHNICAL PRESENTATIONS;

DIAGNOSER; DISCRETE EVENT SYSTEMS; DYNAMIC OBSERVERS; FAULT DIAGNOSIS; OPTIMIZ ATION PROBLEMS; SYNTHESIS PROBLEMS;

RELIABILITY;

EID: 53149144664     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2008.4605947     Document Type: Conference Paper

References (12)

1. F. Cassez, S. Tripakis, and K. Altisen, "Synthesis of optimal dynamic observers for fault diagnosis of discrete-event systems," in 1st IEEE & IFIP Int. Symp. on Theoretical Aspects of Soft. Engineering (TASE'07). IEEE Computer Society, 2007, pp. 316-325.
2. -, "Sensor minimization problems with static or dynamic observers for fault diagnosis," in 7th Int. Conf. on Application of Concurrency to System Design (ACSD'07). IEEE Computer Society, 2007, pp. 90-99.
3. F. Cassez and S. Tripakis, "Fault diagnosis with static and dynamic observers," Fundamenta Informaticœ, 2008, accepted for Publication.
4. P. Ramadge and W. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, Jan. 1987.
5. J. Tsitsiklis, "On the control of discrete event dynamical systems," Mathematics of Control, Signals and Systems, vol. 2, no. 2, 1989.
6. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems," IEEE Transactions on Automatic Control, vol. 40, no. 9, Sept. 1995.
7. T.-S. Yoo and S. Lafortune, "On the computational complexity of some problems arising in partially-observed discrete event systems," in American Control Conference (ACC'01), 2001, arlington, VA.
8. 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, Aug. 2001.
9. W. Thomas, "On the synthesis of strategies in infinite games," in Proc. 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS'95), vol. 900. Springer, 1995, pp. 1-13, invited talk.
10. R. Karp, "A characterization of the minimum mean cycle in a digraph," Discrete Mathematics, vol. 23, pp. 309-311, 1978.
11. U. Zwick and M. Paterson, "The complexity of mean payoff games on graphs," Theoretical Computer Science, vol. 158, no. 1-2, pp. 343-359, 1996.
12. L. Doyen, K. Chatterjee, T. Henzinger, and J.-F. Raskin, "Algorithms for omega-regular games with imperfect information," in Computer Science Logic (CSL), ser. Lecture Notes in Computer Science 4207. Springer, 2006, pp. 287-302.