Computer-aided specification, verification and synshesis of control programmes on the basis of logical and algebraic approaches
- Authors: Tugashev A.A.1
-
Affiliations:
- Samara State Aerospace University
- Issue: Vol 6, No 1 (2007)
- Pages: 247-252
- Section: CYBERNETICS AND INFORMATION SCIENCE
- URL: https://journals.ssau.ru/vestnik/article/view/503
- DOI: https://doi.org/10.18287/2541-7533-2007-0-1(12)-247-252
- ID: 503
Cite item
Full Text
Abstract
The paper deals with a complex of problems associated with real-time control program specification, verification and synthesis, carried out aboard a space vehicle. Approaches to solving these tasks on the basis of temporal logic and extended algebra of control processes are analysed. The structure of an instrumental programme complex of control programmes for space vehicles based on the approach proposed is described.
About the authors
A. A. Tugashev
Samara State Aerospace University
Author for correspondence.
Email: sadohina@ssau.ru
Russian Federation