Synthesis of optimal-cost dynamic observers for fault diagnosis of discrete-event systems

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

Volumn , Issue , 2007, Pages 316-325

  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

COMPUTATIONAL METHODS; COST FUNCTIONS; FAILURE ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; SENSORS; SOFTWARE ENGINEERING;

DIAGNOSERS; DYNAMIC OBSERVERS; OPTIMAL COST DYNAMIC OBSERVERS; STATIC OBSERVERS;

DISCRETE EVENT SIMULATION;

EID: 34548835733     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2007.51     Document Type: Conference Paper

References (12)

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. Sensor minimization problems with static or dynamic observers for fault diagnosis. In 7th International Conference on Application of Concurrency to System Design (ACSD'07), Bratislava, Slovak Republic, July 2007. IEEE Computer Society.
3. Ali Dasdan, Sandy S. Irani, and Rajesh K. Gupta. Efficient algorithms for optimum cycle mean and optimum cost to time ratio problems. In Annual ACM IEEE Design Automation Conference, pages 37-42, New Orleans, Louisiana, United States, 1999. ACM Press New York, NY, USA. ISBN:1-58133-109-7.
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. 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.
6. 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.
7. Richard M. Karp. A characterization of the minimum mean cycle in a digraph. Discrete Mathematics, 23:309-311, 1978.
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.
12. Uri Zwick and Michael S. Paterson. The complexity of mean payoff games on graphs. Theoretical Computer Science, 158(1-2):343-359, 1996.