Abstract
The paper is devoted to method for design of real-time spacecraft onboard control algorithms. This kind of algorithms should provide onboard decision making in process of organization of synchronized cooperation of different onboard equipment. The right and valid onboard decision making is extremely important for the success of space exploration missions. The special aspect of complexity of such algorithms is related to limited available onboard resources – electric energy, computer power, etc. Correct decision making should take into account the limits of these resources. The paper introduces the mathematical models for onboard resources, equipment and devices and their working modes because the important issue is considering the levels of consumes of onboard resources by each onboard device in particular mode. Also, we present some prototypes of software tool allowing automated checking of existing algorithms whether they violate the resource constraints as well as the design of new algorithms from scratch.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Kozlov, D.I., Anshakov, G.P., Mostovoy, Ya.A.: Control of Earth Observation Satellites: Computer Technologies. Mashinostroenie, Moscow (1998). (in Russian)
Akhmetov, R., Makarov, V., Sollogub, A.: Principles of the earth observation satellites control in contingencies. Inf. Control Syst. 1, 16–22 (2012)
Ashby, W.R.: Introduction to Cybernetics. Chapman and Hall, New York (1956)
Tomayko, J.: Computers in Space: Journeys with NASA. Alpha Books, Indianapolis (1994)
Eickhoff, J.: Onboard Computers, Onboard Software and Satellite Operations. An Introduction. Springer, Heidelberg (2012)
Tyugashev, A.A., Ermakov, I.E., Ilyin, I.I.: Ways to get more reliable and safe software in aerospace industry. In: Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012), Nizhni Novgorod, pp. 121–129 (2012)
Krasner, S., Bernard, D.: Integrating autonomy technologies into an embedded spacecraft system-flight software system engineering for new millennium. In: Proceedings of IEEE Aerospace Conference. IEEE Press, Snowmass (1997)
Khartov, V.V.: Autonomnoe upravlenie kosmicheskymi apparatami svyazi, retranslyacii i navigacii. Aviakosmicheskoe priborostroenie (Aerospace Instrument-Making) 6, 12–23 (2006). (in Russian)
Tiugashev, A.A., Belozubov, A.V.: Toolset for construction and verification of rules for spacecraft’s autonomous decision making. Procedia Comput. Sci. 96, 811–818 (2016). Proceedings of the 20th International Conference on Knowledge Based and Intelligent Information and Engineering Systems
Kalentyev, A.A., Sygurov, Yu.M.: Development of information support for the spacecraft control algorithm design process. Vestnik SGAU 21(1), 58–62 (2010). (in Russian)
Tyugashev, A.A.: Integrated environment for designing realtime control algorithms. J. Comput. Syst. Sci. Int. 45(2), 87–300 (2006)
Tyugashev, A.A.: Language and toolset for visual construction of programs for intelligent autonomous spacecraft control. IFAC - PapersOnLine 49(5), 120–125 (2016)
Kalentyev, A.A., Tyugahsev, A.A.: CALS technologies in lifecycle of complex control programs. Samara Scientific center of Russian Academy of sciences, Samara (2006). (in Russian)
Tyugashev, A., Zheleznov, D., Nikishchenkov, S.: A technology and software toolset for design and verification of real-time control algorithms. Russ. Electr. Eng. 88(3), 154–158 (2017)
Filatov, A., Tyugashev, A., Sopchenko, E.: Structure and algorithms of motion control system software of the small spacecraft. In: Proceedings of International Conference on Information Technology and Nanotechnology (ITNT), Samara, pp. 246–251 (2015)
Bogatov, A., Tyugashev, A.: The logical calculus of control algorithms. In: Proceedings of International Symposium for Reliability and Quality, Penza, vol. 1, pp. 307–308 (2013). (in Russian)
Garcia, M., Stuckey, P., Pascal, V.H., Wallace, M.: The future of optimization technology. Constraints 19, 126–138 (2014)
Marriott, K., Nethercote, N., Rafeh, R., Stuckey, P., Garcia, M., Wallace, M.: The design of the Zinc modelling language. Constraints 13(3), 229–267 (2008)
Tiugashev, A.: Build and evaluation of real-time control algorithms in case of incomplete information about functional processes’ parameters. In: XXth IEEE International Conference on Soft Computing and Measurements (SCM 2017), Saint Petersburg, pp. 179–185 (2017)
Tyugashev, A.: Application of SMT solvers for evaluation of real-time control logic of spacecraft. J. Phys. Conf. Ser. 1096(1), 012156 (2018)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Tyugashev, A., Orlov, S. (2020). Method for Design of ‘smart’ Spacecraft Onboard Decision Making in Case of Limited Onboard Resources. In: Kotenko, I., Badica, C., Desnitsky, V., El Baz, D., Ivanovic, M. (eds) Intelligent Distributed Computing XIII. IDC 2019. Studies in Computational Intelligence, vol 868. Springer, Cham. https://doi.org/10.1007/978-3-030-32258-8_47
Download citation
DOI: https://doi.org/10.1007/978-3-030-32258-8_47
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-32257-1
Online ISBN: 978-3-030-32258-8
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)