Spacecraft health monitoring and management systems
暂无分享,去创建一个
[1] Joseph Sifakis,et al. Formal methods for the validation of fault tolerance in autonomous spacecraft , 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.
[2] E. Denney,et al. Verification of autonomous systems for space applications , 2006, 2006 IEEE Aerospace Conference.
[3] Julien Marzat,et al. Model-based fault diagnosis for aerospace systems: a survey , 2012 .
[4] Joseph Sifakis,et al. Compositional Verification for Component-Based Systems and Application , 2008, ATVA.
[5] Xavier Olive,et al. FDI(R) for satellites: How to deal with high availability and robustness in the space domain? , 2012, Int. J. Appl. Math. Comput. Sci..
[6] Fatemeh SalarKaleji,et al. A survey on Fault Detection, Isolation and Recovery (FDIR) module in satellite onboard software , 2013, 2013 6th International Conference on Recent Advances in Space Technologies (RAST).
[7] Xavier Olive. FDIR for satellites , 2012 .
[8] Inseok Hwang,et al. A Survey of Fault Detection, Isolation, and Reconfiguration Methods , 2010, IEEE Transactions on Control Systems Technology.