메뉴 건너뛰기




Volumn 2, Issue , 1998, Pages 259-281

Design of the Remote Agent experiment for spacecraft autonomy

Author keywords

[No Author keywords available]

Indexed keywords

NASA; SPACE FLIGHT; SPACECRAFT; SPACECRAFT PROPULSION; COMPUTER CONTROL; COMPUTER SOFTWARE; FAULT TOLERANT COMPUTER SYSTEMS; REMOTE CONTROL; ROBOTICS; ROBUSTNESS (CONTROL SYSTEMS);

EID: 0031634636     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.1998.687914     Document Type: Conference Paper
Times cited : (68)

References (15)
  • 3
    • 0039310873 scopus 로고    scopus 로고
    • HSTS: Integrating planning and scheduling
    • Fox, M., and Zweben, M., eds, Morgan Kaufman
    • N. Muscettola, "HSTS: Integrating planning and scheduling," in Fox, M., and Zweben, M., eds, Intelligent Scheduling, Morgan Kaufman
    • Intelligent Scheduling
    • Muscettola, N.1
  • 5
    • 0042504912 scopus 로고    scopus 로고
    • ESL: A language for supporting robust plan execution in embedded autonomous agents
    • AAAI Press
    • Erann Gat, "ESL: A language for supporting robust plan execution in embedded autonomous agents," Proceedings of the AAAI Fall Symposium on Plan Execution, AAAI Press, 1996.
    • (1996) Proceedings of the AAAI Fall Symposium on Plan Execution
    • Gat, E.1
  • 8
    • 0031629679 scopus 로고    scopus 로고
    • Abstract resource management in an unconstrained plan execution system
    • Aspen, CO, 1 EEE Press, (To appear)
    • Erann Gat and Barney Pell, "Abstract Resource Management in an Unconstrained Plan Execution System," in Proc. of IEEE Aeronautics (AERO-98), Aspen, CO, 1 EEE Press, 1998 (To appear).
    • (1998) Proc. of IEEE Aeronautics (AERO-98)
    • Gat, E.1    Pell, B.2
  • 13
    • 11244295692 scopus 로고    scopus 로고
    • A model-based approach to reactive self-configuring systems
    • B. C. Williams and P. Nayak, "A Model-based Approach to Reactive Self-Configuring Systems," Proceedings of AAAI-96, 1996.
    • (1996) Proceedings of AAAI-96
    • Williams, B.C.1    Nayak, P.2
  • 15
    • 85054179127 scopus 로고    scopus 로고
    • Formal analysis of a spacecmft controller using spin
    • NASA Ames Research Center
    • Klaus Havelund, Michael Lowry, and John Penix, "Formal analysis of a spacecmft controller using SPIN," Technical report, NASA Ames Research Center, 1997.
    • (1997) Technical Report
    • Havelund, K.1    Lowry, M.2    Penix, J.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.