References

Bulata, P.V., K.N. Volkovb and T.Y. Ilyinaa, 2016. Interaction of a shock wave with a cloud of particles. IEJME. Math. Educ., 11: 2949-2962.

Jacobs, S. and K.A. Wortman, 2016. Solar probe plus spacecraft flight software requirements verification test framework. Proceedings of the IEEE Conference on Aerospace, March 5-12, 2016, IEEE, Big Sky, Montana, USA., ISBN:978-1-4673-7676-1, pp: 1-8.

Kalentuev, A. and A. Tyugahsev, 2006. CALS Technologies in Lifecycle of Complex Control Programs. Russian Academy of Sciences, Samara, Russia,.

Khurshid, A., W. Zhou, M. Caesar and P. Godfrey, 2012. Veriflow: Verifying network-wide invariants in real time. ACM. SIGCOMM. Comput. Commun. Rev., 42: 467-472.
CrossRef  |  Direct Link  |  

Kim, J.H., K.H. Lee, S.K. Hong and H.D. Kim, 2015. Development trend of cold gas propulsion system of a simulator for maneuvering and attitude control design verification of spacecraft. J. Korean Soc. Propul. Eng., 19: 87-97.
CrossRef  |  Direct Link  |  

Liu, X., C. Gan and P. Lu, 2014. Distributed attitude coordinated tracking control for multi-group spacecrafts based on input normalized adaptive neural network. Proceedings of the Conference on American Control (ACC’14), June 4-6, 2014, IEEE, Portland, Oregon, USA., ISBN:978-1-4799-3272-6, pp: 2741-2746.

Mehrabian, A. and K. Khorasani, 2015. Distributed and cooperative quaternion-based attitude synchronization and tracking control for a network of heterogeneous spacecraft formation flying mission. J. Franklin Inst., 352: 3885-3913.
CrossRef  |  

Roy, S., J. Misra and I. Saha, 2016. A simplification of a real‐time verification problem. Software Test. Verif. Reliab., 26: 548-571.
CrossRef  |  Direct Link  |  

Savitha, A., M. Ravindra, N.P. Kumar, R.R. Chetwani and K.M. Baradwaj, 2014. Automated verification of spacecraft telemetry data. Proceedings of the IEEE International Conference on Computational Intelligence and Computing Research (ICCIC’14), December 18-20, 2014, IEEE, Coimbatore, India, ISBN:978-1-4799-3974-9, pp: 1-4.

Shang, Y., J. Wang, Z. Gong, X. Li and Y. Pei et al., 2015. Night vision imaging system design, integration and verification in spacecraft vacuum thermal test. Proceedings of the International Conference on Optical Instruments and Technology, April 11-12, 2015, SPIE, Bellingham, Washington, USA., pp: 962201-962208.

Stukalenko, N.M., B.B. Zhakhina, A.K. Kukubaeva, N.K. Smagulova and G.K. Kazhibaeva, 2016. Studying innovation technologies in modern education. Intl. J. Environ. Sci. Educ., 11: 7297-7308.
Direct Link  |  

Tate, J.P., 2016. Handbook for RF ionization breakdown prevention in spacecraft components. Proceedings of the IEEE International Conference on Plasma Science (ICOPS’16), June 19-23, 2016, IEEE, Banff, Alberta, Canada, ISBN:978-1-4673-9602-8, pp: 1-1.

Tyugahsev, A., 2005. Algebraic models of real-time spacecraft’s control algorithms and programs. Samara Tech. Univ. Bull., 1: 19-25.

Tyugahsev, A., 2009. Graphical Programming Languages and its Applications in Real-Time Control Systems. Samara Scientific Center of the Russian Academy of Sciences, Samara, Russia,.

Tyugashev, A.A., 2006. Integrated environment for designing real-time control algorithms. J. Comput. Syst. Sci. Intl., 45: 287-300.
CrossRef  |  

Zhao, L. and Y. Jia, 2016. Neural network-based distributed adaptive attitude synchronization control of spacecraft formation under modified fast terminal sliding mode. Neurocomputing, 171: 230-241.
CrossRef  |  Direct Link  |