- 1.Bernard, D. E.; Dorais, G. A.; Fry, C.; Jr., E. B, G.; Kanefsky, B.; Kurien, J.; Millar, W.; Muscettola, N.; Nayak, P. P.; Pell, B.; Rajan, K.; Rouquette, N.; Smith, B.; and Williams, B. C. 1998. Design of the remote agent experiment for spacecraft autonomy. In Proceedings of the IEEE Aerospace Conference. Snovnna~, CO: IEEE.Google Scholar
- 2.Bonasso, tL P.; Kor~enkamp, D.; Miller, D.; and Slack, M. 1997. Experiences with an axchitecture for intelligent, reactive agents. JETAi 9(1).Google Scholar
- 3.Brown, G.; Bernard, D.; and Rasmussen, R. 1995. Attitude and articulation control for the cassini spacecraft: A fault tolerance overview. In ldth AIAA/IEEE Di~ital Avionics Systems Conference.Google Scholar
- 4.Clocksin, W, F., and Mellish, (3. S. 1981. Programming in Prolog. Springer-Verlag: Berlin, Germany. Google ScholarDigital Library
- 5.Currie, K., and Tare, A. 1991. O-plan: ~he open planning architecture. Art. Int. 52(1):49-86. Google ScholarDigital Library
- 6.de Giacomo, G.; Lesperance, Y.; and Levesque, H. 1997. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Prone, of IJCAI-97, 1221-1226. Google ScholarDigital Library
- 7.de Kleer~ J., and Williams, B. C. 1987. Diagnosing multiple faults. Artificial Intelligence 32(1):97-130. Reprinted in (Hamscher, Console, & de Kleer 1992). Google ScholarDigital Library
- 8.de Kleer, J., and Williams, B. (3. 1989. Diagnosis with behavioral modes. In Proceedings of iJCAi-89, 1324- 1330. Reprinted in (Hamscher, Console, & de Kleer 1992).Google Scholar
- 9.Esfiin, T. A.; Chien~ S. A.; and Wang, X. 1997. An argument for a hybrid HTN/operator-based approach to planning. In Procs. of the Fourth European Conference on Planning. Google ScholarDigital Library
- 10.Ferguson, I. A. 1992. Touring Machines: An Architecture for Dynamic, Rational, Mobile Agents. Ph.D. Dissertation, Computer Laboratory, University of Cambridge.Google Scholar
- 11.Firby, R. J. 1978. Adaptive execution in complex dy. namia worlds. Ph.D. Dissertation, Yale University. Google ScholarDigital Library
- 12.Freed, M., and Remington, R. 1997. Managing decision resources in plan execution. In Procs. of IJCAI-97, 322- 326, Google ScholarDigital Library
- 13.Get, E. 1996. ESL: A language for supporting robust plan execution in embedded autonomous agents, in Pryor, L,, ed,, Procs. of the AAAI Fall Symposium on Plan Execution. AAAI Press.Google Scholar
- 14.Genesereth~ M. P~., and Nilsson, N. J. 1987. Logical Foundations of Artificial Intelligence. Morgan Kaufmann: Los Altos, CA. Google ScholarDigital Library
- 15.Georgeff, M. P., and Lansky, A. L. 1986. A system for reasoning in dynamic domains: Fault diagnosis on the space shuttle. Technical Note 375, Artificial Intelligence Center, $1'//International.Google Scholar
- 16.Georgeff, M. P., and Lansky, A. L. 1987. Procedural knowledge. Technical Report 411, Artificial Intelligence Center, SRI International.Google Scholar
- 17.Georgeff, M. P.; Lansky, A. L.; and Schoppers, M. 3. 1987, Reasoning and planning in dynamic domains: An experiment with a mobile robot. Technical Repor~ 380, Artificial Intelligence Center, SKI International.Google Scholar
- 18.Hamseher, W.; Console, L.; and de Kleer, J. 1992. Readings in Model. Based Diagnosis. San Mateo, CA: Morgan Kaufmann. Google ScholarDigital Library
- 19.Hayes-Roth, B. 1995. An architecture for adaptive intelligent systems. Art. int. 72. Google ScholarDigital Library
- 20.Ingrand, F. F., and Georgeff, M. P. 1990. Managing deliberation and reasoning in real-time ai systems. In Procs. DARPA Workshop on Innovative Approaches to Planning, Scheduling and Control, 284-291.Google Scholar
- 21.Levesque, H.; Fetter, It.; Lesperance, Y.; Lin, F.; and Scherl, R. 1997. Golog: A logic programming language for dynamic domains. Journal of Logic Programming 31:59- 84.Google ScholarCross Ref
- 22.McDermott, D. 1993. A reactive plan language. Technical report, Computer Science Dept, Yale University.Google Scholar
- 23.Muller, J., and Pischel, M. 1994. An architecture for dynamically interacting agents. Int. Journal of Intelligent and Cooperative Information Systems 3(1):25-45.Google ScholarCross Ref
- 24.Muscettola, N. 1994. HSTS: Integrating planning and scheduling. In Fox, M., and Zweben, M., eds., Intelligent Scheduling. Morgan Kaufmann.Google Scholar
- 25.Ogasawara, G.H. 1991. A distributed, decisiontheoretic control system for a mobile robot. ACM $IGART Bulletin 2(4):140-145. Google ScholarDigital Library
- 26.Pell, B.; Bernard, D. E.; Chien, S. A.; Gat, E.; Muscetrole, N.; Nayak, P. P.; Wagner, M. D.; and Williams, B. C. 1997a. An autonomous spacecraft agent prototype. In Johnson, W. L., ed., Proceedings of the First Intq Conference on Autonomous Agents, 253-261. ACM Press. Google ScholarDigital Library
- 27.Pell, B.; Gat, E.; Keesing, R.; Muscettola, N.; and Smith, B. 19971). Robust periodic planning and execution for autonomous spacecraft. In Procs. of IJCAL97. Google ScholarDigital Library
- 28.Pell, B.; Bernard, D. E.; Chien, S. A.;/2at, E.; Muscettola, N.; Nayak, P. P.; ~Vagner, M. D.; and Williams, B. C. 1998. An autonomous spacecraft agent prototype. Autonomous Robotics 5(1). To Appear. Google ScholarDigital Library
- 29.Pollock, J. L. 1998. Planning agents. In Rao, A., and Wooldridge, M., eds., Foundations of Rational Agency. Kluwer.Google Scholar
- 30.Schoppers, M. 1995. The use of dynamics in an intelligent controller for a space faring rescue robot. Artifcial Intelligence 73(2):175-230. Google ScholarDigital Library
- 31.Simmons, tL 1990. An architecture for coordinating planning, sensing, and action. In Procs. DARPA Work. shop on Innovative Approaches to Planning, Scheduling and Control, 292-297.Google Scholar
- 32.Wilkins, D. E.; Myers, K. L.; Lowrance, J. D.; and Wesley, L. P. 1995. Planning and reacting in uncertain and dynamic environments. JETAI 7(1):197-227.Google Scholar
- 33.Williams, B. C., and Nayak, P. P. 1996. A model-based approach to reactive serf-configuring systems. In Procs. of AAAI-96, 971-978. Cambridge, Mass.: AAAI. Google ScholarDigital Library
- 34.Williams, B. C., and Nayak, P. P. 1997. A reactive planner for a model-based executive. In Procs. of IJCAi- 97. Google ScholarDigital Library
Index Terms
- A hybrid procedural/deductive executive for autonomous spacecraft
Recommendations
The Autonomous Sciencecraft Experiment Onboard the EO-1 Spacecraft
AAMAS '04: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3The Autonomous Sciencecraft Experiment (ASE), currently flying onboard the Earth Observing-1 (EO-1) spacecraft, integrates several autonomy software technologies enabling autonomous science analysis and mission planning. The experiment demonstrates the ...
Landing a Spacecraft on Mars
How much software does it take to land a spacecraft safely on Mars, and how do you make all that code reliable? This column describes such a software development process. The first Web extra at http://mars.jpl.nasa.gov/multimedia/videos/movies/...
Comments