Anthony R. Gross, K.R.Sridhar, William E. Larson, Daniel J. Clancy, Charles Pecheur, Geoffrey A. Briggs  Home/Search
Context Related
| riacs.edu/research/detail...IAF99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: riacs.edu/research/detail...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: With the rapidly increasing performance of information technologies, a new capability is being developed that holds the clear promise of greatly increased exploration possibilities, along with dramatically reduced design, development, and operating costs. In addition, specific technologies such as neural nets will provide a degree of machine intelligence and associated autonomy which has previously been unavailable to the mission and spacecraft designer and the system operator. One of the most... (Update)
Context of citations to this paper: More
.... limited human intervention to control complex, real time, and mission critical processes over many months in poorly understood environments [4]. While autonomy offers promises of improved capabilities at a reduced operational cost, there are concerns about being able to design,...
.... to control complex, real time, and mission critical processes over periods of months or years in poorly understood environments (Gross et al. 1999). 2 While autonomy offers promises of improved capabilities at a reduced operational cost, there are concerns about being able to...
Cited by: More
Verification and Validation of Autonomy Software at NASA - Pecheur (2000) (Correct)
From Livingstone to SMV - Formal Verification for Autonomous .. - Pecheur, Simmons (2000) (Correct)
Towards Automatic Verification of Autonomous Systems - Simmons, Pecheur, Srinivasan (2000) (Correct)
Similar documents (at the sentence level):
6.5%: Autonomous Control of an In-Situ Propellant Production.. - Clancy, Larson.. (Correct)
Active bibliography (related documents): More All
1.0: Representation of Behavioral Knowledge for Planning and.. - Arens, Nagel (2002) (Correct)
0.8: Model-based Autonomy for Robust Mars Operations - Kurien, Nayak, Williams (1998) (Correct)
0.3: Model Checking Autonomy - Models For Martian (Correct)
Similar documents based on text: More All
0.3: Report on the Construction and Operation of a Mars In-Situ.. - Robert Zubrin Steve (Correct)
0.2: Practical Issues in Compiling Typed Unification Grammars.. - Dowding, Hockey, Gawron (2001) (Correct)
0.2: Qualitative Simulation as a Temporally-Extended Constraint.. - Clancy, Kuipers (1998) (Correct)
Related documents from co-citation: More All
3: Graph-based algorithms for boolean function manipulation - Bryant - 1986
3: Remote agent: To boldly go where no AI system has gone before - Muscettola, Nayak et al. - 1998
3: A model-based approach to reactive self-configuring systems - Williams, Nayak - 1996
BibTeX entry: (Update)
A. R. Gross, K. R. Sridhar, W. E. Larson, D. J. Clancy, C. Pecheur, and G. A. Briggs. Information Technology and Control Needs For In-Situ Resource Utilization. Proceedings of the 50th IAF Congress, Amsterdam, Holland, October 1999. http://citeseer.ist.psu.edu/gross99information.html More
@misc{ gross99information,
author = "A. Gross and K. Sridhar and W. Larson and D. Clancy and C. Pecheur and
G. Briggs",
title = "Information Technology and Control Needs For In-Situ Resource Utilization",
text = "A. R. Gross, K. R. Sridhar, W. E. Larson, D. J. Clancy, C. Pecheur, and
G. A. Briggs. Information Technology and Control Needs For In-Situ Resource
Utilization. Proceedings of the 50th IAF Congress, Amsterdam, Holland, October
1999.",
year = "1999",
url = "citeseer.ist.psu.edu/gross99information.html" }
Citations (may not include all citations):782 Norvig Artificial Intelligence: A Modern Approach (context) - Russel - 1995
123 A Model-based Approach to Reactive Self-Configuring Systems - Williams, Nayak - 1996
107 Diagnosing Multiple Faults (context) - de Kleer, Williams - 1987
92 Experiences with an architecture for intelligent (context) - Bonasso, Firby et al. - 1997
63 HSTS: Integrating planning and scheduling (context) - Muscettola - 1994
39 Diagnosis With Behavioral Modes (context) - de Kleer, Williams - 1989
35 Design of the Remote Agent Experiment for Spacecraft Autonom.. - Bernard
32 Computing with Continuous Change - Gupta, Jagadeesan et al. - 1997
28 Artificial Intelligence (context) - de Kleer, Williams - 1991
21 Immobile Robots: AI in the New Millennium (context) - Williams, Nayak - 1996
18 Attitude and articulation control for the Cassini Spacecraft.. (context) - Brown, Bernard et al. - 1995
11 Human Exploration of Mars: The Reference Mission of the NASA.. (context) - Hoffman, Kaplan - 1997
6 Intelligent control of product gas transfer for air revitali.. (context) - Schreckenghost, Edeen et al. - 1998
5 Symbolic model checking: 10^20 states and beyond (context) - Burch, Clarke et al. - 1992
3 The case for Mars: The plan to settle the Red Planet and why.. (context) - Zubrin, Wagner - 1996
1 Propulsion and Power (context) - Sridhar - 1995
Documents on the same site (http://www.riacs.edu/research/detail/ase/index.html): More
Practical CTL Model Checking - Should SPIN be Extended? - Visser, Barringer (2000) (Correct)
Advanced Modelling and Verification Techniques Applied to a.. - Pecheur (1998) (Correct)
An Integration of Deductive Retrieval into Deductive Synthesis - Fischer, Whittle (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC