{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:11:12Z","timestamp":1726053072677},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030322571"},{"type":"electronic","value":"9783030322588"}],"license":[{"start":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T00:00:00Z","timestamp":1569974400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-32258-8_47","type":"book-chapter","created":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T09:31:35Z","timestamp":1569922295000},"page":"404-413","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Method for Design of \u2018smart\u2019 Spacecraft Onboard Decision Making in Case of Limited Onboard Resources"],"prefix":"10.1007","author":[{"given":"Andrey","family":"Tyugashev","sequence":"first","affiliation":[]},{"given":"Sergei","family":"Orlov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,2]]},"reference":[{"key":"47_CR1","unstructured":"Kozlov, D.I., Anshakov, G.P., Mostovoy, Ya.A.: Control of Earth Observation Satellites: Computer Technologies. Mashinostroenie, Moscow (1998). (in Russian)"},{"key":"47_CR2","first-page":"16","volume":"1","author":"R Akhmetov","year":"2012","unstructured":"Akhmetov, R., Makarov, V., Sollogub, A.: Principles of the earth observation satellites control in contingencies. Inf. Control Syst. 1, 16\u201322 (2012)","journal-title":"Inf. Control Syst."},{"key":"47_CR3","doi-asserted-by":"crossref","DOI":"10.5962\/bhl.title.5851","volume-title":"Introduction to Cybernetics","author":"WR Ashby","year":"1956","unstructured":"Ashby, W.R.: Introduction to Cybernetics. Chapman and Hall, New York (1956)"},{"key":"47_CR4","volume-title":"Computers in Space: Journeys with NASA","author":"J Tomayko","year":"1994","unstructured":"Tomayko, J.: Computers in Space: Journeys with NASA. Alpha Books, Indianapolis (1994)"},{"key":"47_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25170-2","volume-title":"Onboard Computers, Onboard Software and Satellite Operations. An Introduction","author":"J Eickhoff","year":"2012","unstructured":"Eickhoff, J.: Onboard Computers, Onboard Software and Satellite Operations. An Introduction. Springer, Heidelberg (2012)"},{"key":"47_CR6","unstructured":"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\u2013129 (2012)"},{"key":"47_CR7","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/AERO.1997.577990"},{"key":"47_CR8","first-page":"12","volume":"6","author":"VV Khartov","year":"2006","unstructured":"Khartov, V.V.: Autonomnoe upravlenie kosmicheskymi apparatami svyazi, retranslyacii i navigacii. Aviakosmicheskoe priborostroenie (Aerospace Instrument-Making) 6, 12\u201323 (2006). (in Russian)","journal-title":"Aviakosmicheskoe priborostroenie (Aerospace Instrument-Making)"},{"key":"47_CR9","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1016\/j.procs.2016.08.254","volume":"96","author":"AA Tiugashev","year":"2016","unstructured":"Tiugashev, A.A., Belozubov, A.V.: Toolset for construction and verification of rules for spacecraft\u2019s autonomous decision making. Procedia Comput. Sci. 96, 811\u2013818 (2016). Proceedings of the 20th International Conference on Knowledge Based and Intelligent Information and Engineering Systems","journal-title":"Procedia Comput. Sci."},{"key":"47_CR10","unstructured":"Kalentyev, A.A., Sygurov, Yu.M.: Development of information support for the spacecraft control algorithm design process. Vestnik SGAU 21(1), 58\u201362 (2010). (in Russian)"},{"issue":"2","key":"47_CR11","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1134\/S1064230706020134","volume":"45","author":"AA Tyugashev","year":"2006","unstructured":"Tyugashev, A.A.: Integrated environment for designing realtime control algorithms. J. Comput. Syst. Sci. Int. 45(2), 87\u2013300 (2006)","journal-title":"J. Comput. Syst. Sci. Int."},{"issue":"5","key":"47_CR12","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1016\/j.ifacol.2016.07.100","volume":"49","author":"AA Tyugashev","year":"2016","unstructured":"Tyugashev, A.A.: Language and toolset for visual construction of programs for intelligent autonomous spacecraft control. IFAC - PapersOnLine 49(5), 120\u2013125 (2016)","journal-title":"IFAC - PapersOnLine"},{"key":"47_CR13","unstructured":"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)"},{"issue":"3","key":"47_CR14","doi-asserted-by":"publisher","first-page":"154","DOI":"10.3103\/S1068371217030178","volume":"88","author":"A Tyugashev","year":"2017","unstructured":"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\u2013158 (2017)","journal-title":"Russ. Electr. Eng."},{"key":"47_CR15","doi-asserted-by":"crossref","unstructured":"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\u2013251 (2015)","DOI":"10.18287\/1613-0073-2015-1490-246-251"},{"key":"47_CR16","unstructured":"Bogatov, A., Tyugashev, A.: The logical calculus of control algorithms. In: Proceedings of International Symposium for Reliability and Quality, Penza, vol. 1, pp. 307\u2013308 (2013). (in Russian)"},{"key":"47_CR17","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/s10601-013-9149-z","volume":"19","author":"M Garcia","year":"2014","unstructured":"Garcia, M., Stuckey, P., Pascal, V.H., Wallace, M.: The future of optimization technology. Constraints 19, 126\u2013138 (2014)","journal-title":"Constraints"},{"issue":"3","key":"47_CR18","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10601-008-9041-4","volume":"13","author":"K Marriott","year":"2008","unstructured":"Marriott, K., Nethercote, N., Rafeh, R., Stuckey, P., Garcia, M., Wallace, M.: The design of the Zinc modelling language. Constraints 13(3), 229\u2013267 (2008)","journal-title":"Constraints"},{"key":"47_CR19","doi-asserted-by":"crossref","unstructured":"Tiugashev, A.: Build and evaluation of real-time control algorithms in case of incomplete information about functional processes\u2019 parameters. In: XXth IEEE International Conference on Soft Computing and Measurements (SCM 2017), Saint Petersburg, pp. 179\u2013185 (2017)","DOI":"10.1109\/SCM.2017.7970532"},{"issue":"1","key":"47_CR20","doi-asserted-by":"publisher","first-page":"012156","DOI":"10.1088\/1742-6596\/1096\/1\/012156","volume":"1096","author":"A Tyugashev","year":"2018","unstructured":"Tyugashev, A.: Application of SMT solvers for evaluation of real-time control logic of spacecraft. J. Phys. Conf. Ser. 1096(1), 012156 (2018)","journal-title":"J. Phys. Conf. Ser."}],"container-title":["Studies in Computational Intelligence","Intelligent Distributed Computing XIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32258-8_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,21]],"date-time":"2023-09-21T03:41:55Z","timestamp":1695267715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-32258-8_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,2]]},"ISBN":["9783030322571","9783030322588"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32258-8_47","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2019,10,2]]},"assertion":[{"value":"2 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IDC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Intelligent and Distributed Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Petersburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Russia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"idc2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/idc2019.ru\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}