Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

Proceedings - 7th International Conference on Application of Concurrency to System Design, ACSD 2007

Volumn , Issue , 2007, Pages 90-99

  Cassez, Franck ^a   Tripakis, Stavros ^b,c   Altisen, Karine ^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

DETECTORS; FAILURE ANALYSIS; QUALITY ASSURANCE; RELIABILITY; SENSORS; SYSTEMS ANALYSIS;

DIAGNOSER; DYNAMIC OBSERVERS; FAULT DIAGNOSIS (FD); INTERNATIONAL CONFERENCES; MINIMIZATION PROBLEMS; OBSERVER (OBS); SYSTEM DESIGNS;

ELECTRIC FAULT CURRENTS;

EID: 51149108735     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2007.27     Document Type: Conference Paper

References (11)

1. Franck Cassez, Stavros Tripakis, and Karine Altisen. Sensor minimization problems with static or dynamic observers for fault diagnosis. Technical Report RI-2007-1, IRCCyN/CNRS, 1 rue de la Noë, BP 92101, 44321 Nantes Cedes, France, January 2007. Available at http://www.irccyn.fr/franck.
2. Franck Cassez, Stavros Tripakis, and Karine Altisen. Synthesis of optimal-cost dynamic diagnosers for fault diagnosis of discrete-event systems. In 1st IEEE & IFIP International International Symposium on Theoretical Aspects of Software Engineering (TASE'07), Shangai, ROC, July 2007. IEEE Computer Society. Forthcoming.
3. R. Cieslak, C. Desclaux, A. Fawaz, and Pravin Varaiya. Supervisory control of discrete-event processes with partial observations. IEEE Transactions on Automatic Control, 33:249-260, 1988.
4. Rami Debouk, Stéphane Lafortune, and Demosthenis Teneketzis. On an optimization problem in sensor selection. Discrete Event Dynamic Systems, 4(12), November 2004.
5. Laurent Doyen, Krishendu Chatterjee, Thomas A. Henzinger, and Jean-François Raskin. Algorithms for omega-regular games with imperfect information. In CSL: Computer Science Logic, Lecture Notes in Computer Science 4207, pages 287-302. Springer, 2006.
6. Shengbing Jiang, Zhongdong Huang, Vigyan Chandra, and Ratnesh Kumar. A polynomial algorithm for testing diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 46(8), August 2001.
7. Shengbing Jiang, Ratnesh Kumar, and Humberto E. Garcia. Optimal sensor selection for discrete event systems with partial observation. IEEE Transactions on Automatic Control, 48(3):369-381, March 2003.
8. Peter Ramadge and W Murray Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1), January 1987.
9. Meera Sampath, Raja Sengupta, Stephane Lafortune, Kasim Sinnamohideen, and Demosthenis C. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9), September 1995.
10. John N. Tsitsiklis. On the control of discrete event dynamical systems. Mathematics of Control, Signals and Systems, 2(2), 1989.
11. Tae-Sic Yoo and Stéphane Lafortune. On the computational complexity of some problems arising in partially-observed discrete event systems. In American Control Conference (ACC'01), 2001. Arlington, VA.