An Autonomous Spacecraft Agent Prototype

This paper describes the New Millennium Remote Agent (NMRA) architecture for autonomous spacecraft control systems. The architecture supports challenging requirements of the autonomous spacecraft domain not usually addressed in mobile robot architectures, including highly reliable autonomous operations over extended time periods in the presence of tight resource constraints, hard deadlines, limited observability, and concurrent activity. A hybrid architecture, NMRA integrates traditional real-time monitoring and control with heterogeneous components for constraint-based planning and scheduling, robust multi-threaded execution, and model-based diagnosis and reconfiguration. Novel features of this integrated architecture include support for robust closed-loop generation and execution of concurrent temporal plans and a hybrid procedural/deductive executive.

[1]  P. Pandurang Nayak,et al.  A Reactive Planner for a Model-based Executive , 1997, IJCAI.

[2]  A. S. Aljabri,et al.  Demonstration of On-Board Maneuver Planning using Autonomous S/W Architectures , 1994 .

[3]  Mark S. Boddy,et al.  An Analysis of Time-Dependent Planning , 1988, AAAI.

[4]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[5]  P. Langley.  Systematic and nonsystematic search strategies , 1992 .

[6]  John L. Bresina,et al.  Just-In-Case Scheduling , 1994, AAAI.

[7]  Paul R. Cohen,et al.  Envelopes as a Vehicle for Improving the Efficiency of Plan Execution , 1990 .

[8]  David J. Musliner,et al.  CIRCA: a cooperative intelligent real-time control architecture , 1993, IEEE Trans. Syst. Man Cybern..

[9]  Austin Tate,et al.  O-Plan: The open Planning Architecture , 1991, Artif. Intell..

[10]  Robert D. Rasmussen,et al.  The Cassini spacecraft: Object oriented flight control software , 1993 .

[11]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[12]  E. Gat.  Integrating Planning and Reacting Architecture for Controlling , 1999 .

[13]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[14]  Erann Gat,et al.  Robust Periodic Planning and Execution for Autonomous Spacecraft , 1997, IJCAI.

[15]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[16]  Brian Drabble,et al.  EXCALIBUR: A Program for Planning and Reasoning with Processes , 1993, Artif. Intell..

[17]  Brian C. Williams,et al.  Qualitative Reasoning about Physical Systems: A Return to Roots , 1991, Artif. Intell..

[18]  Robert James Firby,et al.  Adaptive execution in complex dynamic worlds , 1989 .

[19]  Daniel S. Weld.  An Introduction to Least Commitment Planning , 1994, AI Mag..

[20]  Marcel Schoppers,et al.  Universal Plans for Reactive Robots in Unpredictable Environments , 1987, IJCAI.

[21]  Nicola Muscettola,et al.  Automating Mission Scheduling for Space-Based Observatories , 1998 .

[22]  Raja Chatila,et al.  Plan execution monitoring and control architecture for mobile robots , 1995, IEEE Trans. Robotics Autom..

[23]  Nicola Muscettola,et al.  HSTS: Integrating Planning and Scheduling , 1993 .

[24]  Erann Gat,et al.  Experiences with an architecture for intelligent, reactive agents , 1997, J. Exp. Theor. Artif. Intell..

[25]  Richard Levinson,et al.  A General Programming Language for Unified Planning and Control , 1995, Artif. Intell..

[26]  Erann Gat,et al.  ESL: a language for supporting robust plan execution in embedded autonomous agents , 1997, 1997 IEEE Aerospace Conference.

[27]  Milind Tambe,et al.  Intelligent Agents for Interactive Simulation Environments , 1995, AI Mag..

[28]  P. Pandurang Nayak,et al.  Immobile Robots AI in the New Millennium , 1996, AI Mag..

[29]  Barbara Hayes-Roth,et al.  An Architecture for Adaptive Intelligent Systems , 1995, Artif. Intell..

[30]  David E. Wilkins,et al.  A Common Knowledge Representation for Plan Generation and Reactive Execution , 1995, J. Log. Comput..

[31]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[32]  P. Pandurang Nayak,et al.  Fast Context Switching in Real-Time Propositional Reasoning , 1997, AAAI/IAAI.

[33]  G. M. Brown,et al.  Attitude and articulation control for the Cassini spacecraft: a fault tolerance overview , 1995, Proceedings of 14th Digital Avionics Systems Conference.

[34]  Nils J. Nilsson,et al.  Teleo-Reactive Programs for Agent Control , 1993, J. Artif. Intell. Res..

[35]  Austin Tate,et al.  Synthesizing Protection Monitors from Causal Structure , 1994, AIPS.

[36]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[37]  John D. Lowrance,et al.  Planning and reacting in uncertain and dynamic environments , 1995, J. Exp. Theor. Artif. Intell..

[38]  Paul R. Cohen,et al.  Trial by Fire: Understanding the Design Requirements for Agents in Complex Environments , 1989, AI Mag..

[39]  M.P. Georgeff,et al.  Procedural knowledge , 1986, Proceedings of the IEEE.

[40]  Erann Gat,et al.  Remote agent prototype for spacecraft autonomy , 1996, Optics & Photonics.

[41]  Erann Gat,et al.  A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft , 1998, Agents.

[42]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..