Real-time control algorithms requirements verification mathematical model implementation in visual design computer-aided system

Abstract


This document describes problems of the spacecraft’s control algorithms correct creating. It contains real-time control algorithms math model, verification math model, it explains requirement’s verification problems of the real-time control algorithms and it describes the visual design computer-aided system functioning, that implementing the verification model.


About the authors

A. V. Shulyndin

Samara State Aerospace University

Author for correspondence.
Email: sasha2410@mail.ru

Russian Federation

Post-graduate Student

A. A. Tjugashev

Samara State Aerospace University

Email: tau7@ssau.ru

Russian Federation

Doctor of Technical Sciences

Professor of the Program Systems Department

References

  1. Тюгашев, А. А. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Текст] / А. А. Тюгашев. - Диссерт. докт. техн. наук. – Самара: СГАУ, 2007. – 315 с.
  2. Тюгашев, А. А. Интегрированная среда для проектирования управляющих алгоритмов реального времени [Текст] / А. А. Тюгашев // Известия РАН. Теория и системы управления. 2006. - №2. – С. 128-141.

Statistics

Views

Abstract - 41

PDF (Russian) - 17

Article Metrics

Metrics Loading ...

PlumX

Dimensions

Refbacks

  • There are currently no refbacks.

Copyright (c) 2015 VESTNIK of the Samara State Aerospace University

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies