Email this article 
Method of designing reliable real-time control algorithms for spacecraft
- Authors: 1 11
-
Affiliations:
- Samara State Aerospace University
- Issue: Vol 3, No 1 (2004)
- Pages: 124-131
- Section: CYBERNETICS AND INFORMATION SCIENCE
- URL: https://journals.ssau.ru/vestnik/article/view/179
- DOI: https://doi.org/10.18287/2541-7533-2004-0-1%20(5)-124-131
- ID: 179
Cite item
Full Text
Abstract
The problem of designing reliable real-time control algorithms mounted aboard spacecraft is under consideration. The method of designing control algorithms based on the algorithm semantics model is described which guarantees higher reliability. Data on a computer-aided design system that support the technology mentioned are given.
About the authors
1 1
Samara State Aerospace University
Author for correspondence.
Email: sadohina@ssau.ru
Russian Federation
References
- “Авиастроение”. Том 6 (Итоги науки и техники, ВИНИТИ АН СССР). М., 1978.
- Логика и компьютер. Моделирование рассуждений и проверка правильности программ / А. М. Анисов, П. И. Быстров, В. А. Смирнов и др. М.: Наука, 1990.
- Тюгашев А. А. Проблема неоднозначности при порождении логико-временной структуры управляющего алгоритма по многовходовой модели реального времени. // Сб. трудов Третьей международной молодежной школы-семинара БИКАМП-01, СПб, 2001.
- Управление космическими аппаратами зондирования Земли: Компьютерные технологии / Д. И. Козлов, Г. П. Аншаков, Я. А. Мостовой, А. В. Соллогуб. М.: Машиностроение, 1998.
- Калентьев А. А., Тюгашев А. А. Разработка подсистемы синтеза управляющих алгоритмов на базе исчисления УА // Всероссийская научная шклола “Компьютерная алгебра, логика и интеллектное управление. Проблемы анализа стратегической стабильности”: Сб. трудов, Иркутск, ИрВЦ СО РАН, 1994.
- Калентьев А.А. Автоматизированный синтез алгоритмов асинхронного управления технологическими системами с множеством дискретных состояний. Самара: Самар.аэрокосм.ун-т., 1998.
Supplementary files
