DocumentCode
3053766
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
fYear
2003
fDate
20-22 Nov. 2003
Firstpage
392
Lastpage
396
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/RAST.2003.1303948
Filename
1303948
Link To Document