Title :
Telescope guidance via automatic theorem proving
Author :
Cherkashin, E. ; Vassilyev, S.
Author_Institution :
Inst. of Syst. Dynamic & Control Theory, Acad. of Sci., Irkutsk, Russia
Abstract :
The problem of real-time intelligent guidance of a telescope to the center of a planet in non-full phase is considered. A new logical first-order language of positively constructed formulae and its calculus are used as a logical instrument for deriving the control. Such an approach allows the characteristics of control systems to be improved. The authors consider in detail the control synthesis on the basis of an automatic refutation technique in time-driven and temporal reasoning modes
Keywords :
astronomical telescopes; attitude control; control system synthesis; formal languages; physical instrumentation control; real-time systems; theorem proving; automatic refutation technique; automatic theorem proving; calculus; control synthesis; logical first-order language; logical instrument; partially occluded planet; real-time intelligent guidance; telescope guidance; temporal reasoning mode; time-driven mode; Automatic control; Calculus; Control systems; Earth; Instruments; Intelligent control; Moon; Optical devices; Planets; Telescopes;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.728086
