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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    A verifiable, autonomous satellite control system


    Additional title:

    Ein prüfbares, autonomes Satelliten-Steuersystem


    Contributors:
    Andert, E.P. (author) / Frasher, C. (author)


    Publication date :

    1989


    Size :

    , 11 Quellen


    Remarks:

    pp.


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English






    Verifiable Adaptive Control: UCAV and Aerial Refueling

    Wise, Kevin / Lavretsky, Eugene / Hovakimyan, Naira et al. | AIAA | 2008


    Verifiable Adaptive Control: UCAV and Aerial Refueling

    Wise, K. / Lavretsky, E. / Hovakimyan, N. et al. | British Library Conference Proceedings | 2008


    Architecture for Verifiable Software

    Reinholtz, William / Dvorak, Daniel | NTRS | 2005