-
1
-
-
0031633309
-
Mission operations with an autonomous agent
-
Aspen, CO, IEEE Press, (To appear)
-
Bamey Pell, Scott Sawyer, Douglas E. Bemard, Nicola Muscettola, and Ben Smith, "Mission Operations with an Autonomous Agent," In Proc. of IEEE Aeronautics (AERO-98), Aspen, CO, IEEE Press, 1998 (To appear).
-
(1998)
Proc. of IEEE Aeronautics (AERO-98)
-
-
Pell, B.1
Sawyer, S.2
Bemard, D.E.3
Muscettola, N.4
Smith, B.5
-
2
-
-
0030375422
-
A remote agent prototype for spacecraft autonomy
-
Denver, CO
-
B. Pell, D. E. Bernard, S. A. Chien, E. Gat, N. Muscettola, P. Nayak, M. D. Wagner, and B. C. Williams, "A Remote Agent Prototype for Spacecraft Autonomy," SPIE Proceedings Volume 2810, Denver, CO, 1996.
-
(1996)
SPIE Proceedings 2810
-
-
Pell, B.1
Bernard, D.E.2
Chien, S.A.3
Gat, E.4
Muscettola, N.5
Nayak, P.6
Wagner, M.D.7
Williams, B.C.8
-
3
-
-
0039310873
-
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
-
4
-
-
2342502478
-
On-board planning f a autonomous spacecraft
-
July
-
N. Muscettola, B. Smith, S. Chien, C. Fry, G. Rabideau, K. Rajan, D. Yan, "On-board Planning f a Autonomous Spacecraft," in Proceedings of the fourth Intemational Symposium on Artificial Intelligence, Robotics and Automation for Space (I-SAIRAS 97), July 1997.
-
(1997)
Proceedings of the Fourth Intemational Symposium on Artificial Intelligence, Robotics and Automation for Space (I-SAIRAS 97)
-
-
Muscettola, N.1
Smith, B.2
Chien, S.3
Fry, C.4
Rabideau, G.5
Rajan, K.6
Yan, D.7
-
5
-
-
0042504912
-
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
-
6
-
-
84889173677
-
A hybrid proceduravdeductive executive for autonomous spacecmft
-
P. Pandurang Nayak and B. C. Williams, editors, AAAI Press
-
Barney Pell, Ed Gamble, Erann Gat, Ron Keesing, Jim Kurien, Bill Millar, P. Pandurang Nayak, Christian Plaunt, and Brian Williams, "A hybrid proceduraVdeductive executive for autonomous spacecmft," In P. Pandurang Nayak and B. C. Williams, editors, Procs. of the AAAI Fall Symposium on Model-Directed Autonomous Systems, AAAI Press. 1997.
-
(1997)
Procs. of the AAAI Fall Symposium on Model-Directed Autonomous Systems
-
-
Pell, B.1
Gamble, E.2
Gat, E.3
Keesing, R.4
Kurien, J.5
Millar, B.6
Nayak, P.P.7
Plaunt, C.8
Williams, B.9
-
7
-
-
84880652581
-
Robust periodic plartning and execution for autonomous spacecraft
-
Barney Pell, Erann Gat, Ron Keesing, Nicola Muscettola, and Ben Smith, "Robust Periodic Plartning and Execution for Autonomous Spacecraft," In Procs. of IJCAI-97, 1997.
-
(1997)
Procs. of IJCAI-97
-
-
Pell, B.1
Gat, E.2
Keesing, R.3
Muscettola, N.4
Smith, B.5
-
8
-
-
0031629679
-
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
-
11
-
-
0003664516
-
-
Morgan Kaufmann Publishers, Inc., San Mateo, California
-
D. S. Weld and J. de Kleer, Readings in Qualiiative Reasoning About Physical Systems, Morgan Kaufmann Publishers, Inc., San Mateo, California, 1990.
-
(1990)
Readings in Qualiiative Reasoning about Physical Systems
-
-
Weld, D.S.1
De Kleer, J.2
-
13
-
-
11244295692
-
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
-
14
-
-
0344096342
-
Visualization tools for validating software of autonomous spacecraft
-
Tokyo, Japan
-
Reid Simmons and Greg Whelan "Visualization Tools for Validating Software of Autonomous Spacecraft," In Proc. of the Fourth Intemational Symposium on Artificial Intelligence, Robotics, and Automation for Space (i-SAIRAS), Tokyo, Japan, 1997.
-
(1997)
Proc. of the Fourth Intemational Symposium on Artificial Intelligence, Robotics, and Automation for Space (I-SAIRAS)
-
-
Simmons, R.1
Whelan, G.2
-
15
-
-
85054179127
-
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
|