Abstract: A method of automatically controlling and verifying telecommands in a satellite control system in which a satellite status analyzing/processing unit and a telecommand producing/executing unit are closely connected with each other to share a knowledge base with information regarding the telecommands. The present method comprises the steps of transmitting the telecommands to a satellite for the control thereof, receiving the resultant telemetry from the satellite, analyzing the received telemetry, inferring telemetry values corresponding to the transmitted telecommands from the information in the knowledge base, verifying a telecommand execution status of the satellite on the basis of the analyzed result and inferred telemetry values and producing a control command upon recognizing an abnormal status of the satellite in accordance with the verified result. According to the present invention, an operator needs not check data one by one to determine whether the telecommand execution is normal or not.