J. Kurien and M. R. Moreno, Costs and Benefits of Model-based Diagnosis, 2008 IEEE Aerospace Conference, 2008.
DOI : 10.1109/AERO.2008.4526647

M. Blanke, M. Kinnaert, and J. Lunze, Diagnosis and Fault-Tolerant Control, 2006.

S. Indra, L. Trave-massuyes, and E. Chanthery, A decentralized FDI scheme for spacecraft: Bridging the gap between model based FDI research & practice, 4th European Conference for Aerospace Sciences, 2011.

J. P. Cassar and M. Staroswiecki, A structural approach for the design of failure detection and identification systems, IFAC Control of Industrial Systems, 1997.
URL : https://hal.archives-ouvertes.fr/hal-01403803

M. Krysander, J. Aslund, and M. Nyberg, An efficient algorithm for finding minimal over-constrained sub-systems for model-based diagnosis, IEEE Transactions on Systems, Man, and Cybernetics ? Part A: Systems and Humans, vol.38, issue.1, 2008.

Y. Pencolé and M. Cordier, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Artificial Intelligence, vol.164, issue.1-2, pp.121-170, 2005.
DOI : 10.1016/j.artint.2005.01.002

J. Biteus, M. Nyberg, and E. Frisk, An algorithm for computing the diagnoses with minimal cardinality in a distributed system, Engineering Applications of Artificial Intelligence, vol.21, issue.2, pp.269-276, 2008.
DOI : 10.1016/j.engappai.2007.03.006

A. Bregon, M. Daigle, I. Roychoudhury, G. Biswas, X. Koutsoukos et al., An event-based distributed diagnosis framework using structural model decomposition, Artificial Intelligence, vol.210, pp.1-35, 2014.
DOI : 10.1016/j.artint.2014.01.003

P. K. John and A. Grastien, Local consistency and junction tree for diagnosis of discrete-event systems, Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, pp.209-213, 2008.

M. Cordier and A. Grastien, Exploiting independence in a decentralised and incremental approach of diagnosis, 20th International Joint Conference on Artificial Intelligence (IJCAI-07), 2007.
URL : https://hal.archives-ouvertes.fr/inria-00086617

Y. Wang, T. Yoo, and S. Lafortune, Diagnosis of Discrete Event Systems Using Decentralized Architectures, Discrete Event Dynamic Systems, pp.233-263, 2007.
DOI : 10.1007/s10626-006-0006-8

L. Console, C. Picardi, and D. T. Dupre, A framework for decentralized qualitative model based diagnosis, 20th International Joint Conference on Artificial Intelligence, 2007.

L. Travé-massuyès, Bridging control and artificial intelligence theories for diagnosis: A survey, Engineering Applications of Artificial Intelligence, vol.27, pp.1-16, 2014.
DOI : 10.1016/j.engappai.2013.09.018

D. Sauter, T. Boukhobza, and F. Hamelin, Decentralized and autonomous design for FDI/FTC of networked control systems, Fault Detection, Supervision and Safety of Technical Processes, pp.138-143, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00120858

E. Chow and A. S. Willsky, Analytical redundancy and the design of robust failure detection systems Automatic Control, IEEE Transactions on, vol.29, issue.7, pp.603-614, 1984.

J. Armengol, A. Bregon, T. Escobet, E. Gelso, M. Krysander et al., Minimal Structurally Overdetermined sets for residual generation: A comparison of alternative approaches, Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp.1480-1485, 2009.
DOI : 10.3182/20090630-4-ES-2003.00241

M. Krysander, J. Aslund, and E. Frisk, A structural algorithm for finding testable sub-models and multiple fault isolability analysis, Proceeding of the 21st International Workshop on Principles of Diagnosis (DX-10), 2010.

L. Travé-massuyès, T. Escobet, and X. Olive, Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.36, issue.6, pp.1146-1160, 2006.
DOI : 10.1109/TSMCA.2006.878984

B. Pulido and C. A. González, Possible Conflicts: A Compilation Technique for Consistency-Based Diagnosis, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.34, issue.5, pp.2192-2206835007, 2004.
DOI : 10.1109/TSMCB.2004.835007

J. A. Bondy and U. S. Murty, Graph Theory with Applications, 1976.
DOI : 10.1007/978-1-349-03521-2

C. Svard and M. Nyberg, Residual Generators for Fault Diagnosis Using Computation Sequences With Mixed Causality Applied to Automotive Systems, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.40, issue.6, pp.1310-1328, 2010.
DOI : 10.1109/TSMCA.2010.2049993

F. Pirmoradi, F. Sassani, and C. Silva, Fault detection and diagnosis in a spacecraft attitude determination system, Acta Astronautica, vol.65, issue.5-6, pp.710-729, 2009.
DOI : 10.1016/j.actaastro.2009.03.002

I. Zuliana and V. Renuganth, A study of reaction wheel configurations for a 3-axis satellite attitude control, Advances in Space Research, vol.45, issue.6, pp.750-759, 2010.

M. J. Sidi, Spacecraft Dynamics and Control: A Practical Engineering Approach, 1997.
DOI : 10.1017/CBO9780511815652

T. Lorentzen, M. Blanke, and H. Niemann, Structural analysis -a case study of the romer satellite, " in Fault detection, supervision and safety of technical processes symposium, 2003.

D. Pecover, Functional Verification Of the ADM-Aeolus Autonomy Requirements, SpaceOps 2010 Conference, 2010.
DOI : 10.2514/6.2010-2013

S. Indra and L. Travé-massuyès, Spacecraft Fault Detection and Isolation System Design Using Decentralized Analytical Redundancy, Advances in Aerospace Guidance, Navigation and Control
DOI : 10.1007/978-3-642-38253-6_16