Title :
A model of autonomous control system for deep space missions
Author :
Hristov, P.L. ; Angelov, P.S.
Author_Institution :
Space Res. Inst., Bulgarian Acad. of Sci., Sofia, Bulgaria
Abstract :
The particularities of autonomous control system for deep space missions are described. Some models are analyzed and compared. The team approach is analyzed in details. The general formal model is based on the theory of communicating sequential processes (CSP) and is set of communicating processes. Methods for reconfiguration, verification and trace control are described.
Keywords :
communicating sequential processes; missile control; space communication links; autonomous control system; communicating sequential processes; deep space missions; general formal model; reconfiguration method; trace control method; verification method; Artificial intelligence; Control system synthesis; Control systems; Hardware; Process control; Real time systems; Runtime; Software systems; Space missions; Space technology;
Conference_Titel :
Recent Advances in Space Technologies, 2003. RAST '03. International Conference on. Proceedings of
Conference_Location :
Istanbul, Turkey
Print_ISBN :
0-7803-8142-4
DOI :
10.1109/RAST.2003.1303948
