Title :
A verifiable, autonomous satellite control system
Author :
Andert, E.P. ; Frasher, C.
Author_Institution :
Interstate Electron., Anaheim, CA, USA
Abstract :
The authors describe an autonomous embedded expert system for satellite-based electronic control systems using multiple sensors. The autonomous expert control system methodology was developed with emphasis on expert system verification. It was demonstrated with a multisensor satellite thermal control subsystem responsible for real-time health and status monitoring, subsystem commanding, and decision assistance. A propositional logic rule base was used to create a rule structure that can be verified and easily transferred into a hardware implementation. The 400 propositional logic rule demonstration of the thermal control subsystem showed the feasibility and testability of the compact expert system approach for autonomous embedded applications.<>
Keywords :
aerospace instrumentation; artificial satellites; command and control systems; computerised monitoring; expert systems; knowledge based systems; logic programming; thermal variables control; C/sup 2/ systems; autonomous embedded expert system; decision assistance; multisensor satellite thermal control subsystem; propositional logic rule base; satellite-based electronic control systems; status monitoring; subsystem commanding; Automatic control; Boolean functions; Control systems; Embedded system; Expert systems; Logic gates; Real time systems; Satellites; Sensor systems; System testing;
Conference_Titel :
Aerospace Applications Conference, 1989. Digest., 1989 IEEE
Conference_Location :
Breckenridge, CO, USA
DOI :
10.1109/AERO.1989.82420
