FDI(R) for satellites: How to deal with high availability and robustness in the space domain?

Alami, R., Chatila, R., Fleury, S., Ghallab, M. and Ingrand, F. (1998). An architecture for autonomy, International Journal of Robotics Research 17(4): 315-337.10.1177/027836499801700402Search in Google Scholar

Bayoudh, M., Travé-Massuyès, L. and Olive, X. (2008). Hybrid systems diagnosis by coupling continuous and discrete event techniques, Proceedings of the 17th World Congress of the International Federation of Automatic Control, Seoul, Korea.10.3182/20080706-5-KR-1001.01229Search in Google Scholar

Bayoudh, M., Travé-Massuyès, L. and Olive, X. (2009). Coupling continuous and discrete event system techniques for hybrid systems diagnosability analysis, Proceedings of the 18th European Conference on Artificial Intelligence, ECAI, Patras, Greece, pp. 219-223.Search in Google Scholar

Benazera, E. and Travé-Massuyès, L. (2009). Set-theoretic estimation of hybrid system configurations, IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics 39(5): 1277-1291.10.1109/TSMCB.2009.2015280Search in Google Scholar

Bonasso, R. P., Firby, J., Gat, E., Kortenkamp, D., Miller, D. and Slack, M. (1997). Experiences with an architecture for intelligent, reactive agents, Journal of Experimental and Theoretical Artificial Intelligence 9(2/3): 237-256.10.1080/095281397147103Search in Google Scholar

ECSS (2005). Space engineering: Space segment operability, European Cooperation for Space Standardization Standard, August.Search in Google Scholar

Garcia, G., Roubion, C. and Prunier, S. (2004). Java as a standardized on-board control procedures platform?, Actes de DAta Systems In Aerospace (DASIA), Nice, France.Search in Google Scholar

Grenaille, S., Henry, D. and Zolghadri, A. (2004). Fault diagnosis in satellites using H∞ estimators, Proceedings of the IEEE Iternational Conference on Systems, Man and Cybernetics Vol. 6, The Hague, The Netherlands, pp. 5195-5200.Search in Google Scholar

Lemai, S., Charmeau, M. and Olive, X. (2006). Decisional architecture for autonomous space systems, 9th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA 2006), ESTEC, Noordwijk, The Netherlands.Search in Google Scholar

Muscettola, N., Nayak, P., Pell, B. and Williams, B. (1998). Remote agent: To boldly go where no AI system has gone before, Artificial Intelligence 103(1-2): 5-47.10.1016/S0004-3702(98)00068-XSearch in Google Scholar

Pencole, Y., Kamenetsky, D. and Schumann, A. (2006). Towards low-cost fault diagnosis in large component based systems, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS-06), Beijing, China.Search in Google Scholar

Sampath, M., Sengputa, R., Lafortune, S., Sinnamohideen, K. and Teneketsis, D. (1995). Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control 40(9): 1555-1575.10.1109/9.412626Search in Google Scholar