A new efficient and flexible algorithm for the design of testable subsystems
By: Stéphane Ploix, Abed Yassine and Jean-Marie Flaus
Open Access
|Mar 2010References
- Blanke, M., Kinnaert, M. and Staroswiecki, M. (2003)., Springer, Berlin.
- Cassar, J. and Staroswiecki, M. (1997). A structural approach for the design of failure detection and identification systems,, pp. 329-334.
- Chittaro, L. and Ranon, R. (2004). Hierarchical model-based diagnosis based on structural abstraction,(1-2): 147-182.
- Codd, E. (1970). A relational model of data for large shared data banks,(6): 377-387.
- Console, L., Picardi, C. and Ribando, M. (2000). Diagnosis and diagnosability analysis using process algebra,, pp. 25-32.
- Dague, P. (2001). Théorie logique du diagnostic à base de modèles,B. Dubuisson (Ed.),, Hermès Science, Paris, pp. 17-104.
- Davis, R. (1984). Diagnostic reasoning based on structure and behavior,(1-3): 347-410.
- De Kleer, J. and Williams, B. C. (1987). Diagnosing multiple faults,(1): 97-130.
- de Kleer, J. and Williams, B. C. (1992). Diagnosis with behavioral modes,W.C. Hamscher, I.de Kleer and L. Console (Eds),, Morgan Kaufmann Publishers Inc., San Francisco, CA, pp. 124-130.
- Dechetr, R. (2003)., Morgan Kaufmann Publishers, San Francisco, CA.
- Declerck, P. and Staroswiecki, M. (1991). Characterization of the canonical components of a structural graph for fault detection in large scale industrial plants,, pp. 298-303.
- Dulmage, A. L. and Mendelsohn, N. S. (1959). A structure theory of bi-partite graphs of finite exterior extension,(III): 1-13.
- Frank, P. M. (1990). Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy—A survey and some new results,(3): 459-471.
- Frisk, E. (2000). Residual generator for non-linear polynomial systems—A Grobner basis approach,, pp. 979-984.
- Fron, A. (1994)., Addison-Wesley, Paris.
- Górny, B. and Ligeza, A. (2001). Review of systematic conflict generation in model-based diagnosis of dynamic systems,, pp. 86-91.
- Iwasaki, Y. and Simo, H. A. (1994). Causality and model abstraction,(1): 143-194.
- Krysander, M., Åslund, J. and Nyberg, M. (2008). An efficient algorithm for finding minimal overconstrained subsystems for model-based-diagnosis,(1): 197-206.
- Krysander, M., Aslund, J. and Nyberg, M. (2005). An efficient algorithm for finding over-constrained sub-systems for construction of diagnostic tests,
- Ligeza, A. and Górny, B. (2000). Systematic conflict generation in model-based diagnosis,, Vol. II, pp. 1103-1108.
- Mishra, P. and Eich, M. (1992). Join processing in relational databases,(1): 63-113.
- Nayak, P. P. and Levy, A. Y. (1995). A semantic theory of abstractions,, pp. 196-203.
- Nyberg, M. and Krysander, M. (2003). Combining AI, FDI, and statistical hypothesis-testing in a framework for diagnosis,, pp. 813-818.
- Patton, R., Frank, P. and Clark, R. (Eds) (1989)., International Series in Systems and Control Engineering, Prentice Hall, London.
- Ploix, S., Désinde, M. and Michau, F. (2004). Assessment and diagnosis for virtual reality training,
- Ploix, S., Desinde, M. and Touaf, S. (2005). Automatic design of detection tests in complex dynamic systems,
- Ploix, S., Touaf, S. and Flaus, J. M. (2003). A logical framework for isolation in fault diagnosis,
- Pulido, B. and Alonso, C. (2002). Possible conflicts, arrs, and conflicts,, pp. 122-128.
- Reiter, R. (1987). A theory of diagnosis from first principles,(1): 57-95.
- Russell, S. and Norvig, P. (2003)., Prentice Hall, Upper Saddle River, NJ.
- Staroswiecki, M., Cocquempot, V. and Cassar, J. P. (1991). Observer based and parity space approaches for failure detection and identification,, Vol. 25, pp. 536-541.
- Staroswiecki, M. and Declerck, P. (1989). Analytical redundancy in nonlinear interconnected systems by means of structural analysis,, Vol. 2, pp. 23-27.
- Struss, P. (1992). What's in SD? Towards a theory of modeling for diagnosis,W. Hamscher, L. Console and J. De Kleer (Eds),, Morgan Kaufman, San Francisco, CA, pp. 419-448.
- Travé-Massuyès, L., Escobet, T. and Olive, X. (2006). Diagnosability analysis based on component supported analytical redundancy relations,(6): 1146-1160.
- Travé-Massuyès, L., Escobet, T. and Spanache, S. (2003). Diagnosability analysis based on component supported analytical redundancy relations,, pp.897-902.
- Willsky, A. (1976). A survey of design methods for failure detection in dynamic systems,(4): 601-611.
Language: English
Page range: 175 - 190
Published on: Mar 25, 2010
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Related subjects:
© 2010 Stéphane Ploix, Abed Yassine, Jean-Marie Flaus, published by University of Zielona Góra
This work is licensed under the Creative Commons License.