Engineering topics
Smith, B.
Publications and source records attributed to Smith, B..
Automatic Generation of Test Oracles - From Pilot Studies to Application
We describe a progression from pilot studies to development and use of domain-specific verification and validation (V&V) automation. Our domain is the testing of an AI planning system that forms a key component of an autonomous spacecraft.
Remote Agent Experiment Validation Report
Explore the source record for details and available documents.
Remote Agent Experiment Validation Report
Explore the source record for details and available documents.
Automatic Generation of Test Oracles - From Pilot Studies of Application
There is a trend towards increased use of automation in V&V. Automation can yield savings in time and effort. For critical systems, where thorough V&V is required, these savings can be substantial.
Spacecraft Autonomy Flight Experience: The DS1 Remote Agent Experiment
In May 1999 state-of-the-art autonomy technology was allowed to assume command and control of the Deep Space One spacecraft during the Remote Agent Experiment.
Leveraging Automation in the Testing of Autonomous Spacecraft Systems
Explore the source record for details and available documents.
Automatic Generation of Test Oracles - From Pilot Studies to Application
Cost, performance and functionality concerns are driving a trend towards use of self-sufficient autonomous systems in place of human-controlled mechanisms.
Validation and Verification of the Remote Agent For Spacecraft Autonomy
The six-day Remote Agent Experiment (RAX) on the Deep Space 1 mission will be the first time that an artificially intelligent agent will control a NASA spacecraft.
Stability of Neptune's Ring Areas in Question
Explore the source record for details and available documents.
Spacecraft Autonomy Flight Experience: The DS1 Remote Agent Experiment
In May 1999 state-of-the-art autonomy technology was allowed to assume command and control of the Deep Space One spacecraft during the Remote Agent Experiment.
V & V of A Spacecrafts Autonomous Planner Through Extended Automation
We have introduced and used significant automation during the verification and validation (V & V) of a spacecraft's autonomous planner. This paper describes the problem we faced, the solution we employed, and the applicability of our approach in a general V & V setting.
V&V of a Spacecraft's Autonomous Planner through Extended Automation
This abstract describes the problem we faced, the solution we employed, and the applicability of our approach in a general V&V setting.
Automated Planning and Scheduling for Goal-Based Autonomous Spacecraft
Automated planning and scheduling technology - we'll call it automated planning systems, for the sake of brevity-is applicable to a wide spectrum of spaceflight missions, from those with limited onboard computational capabilities, such as Lunar Prospector, to those with highly sophisticated software, such as Cassini.
Representing Spacecraft Mission Planning Knowledge in ASPEN
Deep Space One (DS1) will be the first spaceraft to be controlled by an autonomous closed loop system potientially capable of carrying out a complete mission with minimal commanding from Earth.
Automated pH Control of Nutrient Solution in a Hydroponic Plant Growth System
Over, the years, NASA has played an important role in providing to and the development of automated nutrient delivery and monitoring, systems for growing crops hydroponically for long term space missions. One example are the systems used in the Biomass Production Chamber (BPC) at Kennedy Space Center (KSC). The current KSC monitoring system is based on an engineering workstation using standard analog/digital input/output hardware and custom written software. The monitoring system uses completely separate sensors to provide a check of control sensor accuracy and has the ability to graphically display and store data form past experiment so that they are available for data analysis [Fortson, 1992]. In many cases, growing systems have not been fitted with the kind of automated control systems as used at KSC. The Center for Food and Environmental Systems for Human Exploration of Space (CFESH) located on the campus of Tuskegee University, has effectively grown sweetpotatoes and peanuts hydroponically for the past five years. However they have adjusted the pH electrical conductivity and volume of the hydroponic nutrient solution only manually at times when the solution was to be replenished or changed out according to its protocol (e.g. one-week, two-week, or two-day cycle). But the pH of the nutrient solution flowing through the channel is neither known nor controlled between the update, change out, or replenishment period. Thus, the pH of the nutrient solution is not held at an optimum level over the span of the plant's growth cycle. To solve this dilemma, an automated system for the control and data logging of pH data relative to sweetpotato production using the nutrient film technique (NFT) has been developed, This paper discusses a microprocessor-based system, which was designed to monitor, control, and record the pH of a nutrient solution used for growing sweetpotatoes using NFT.
On-Board Planning for New Millenium Deep Space One Autonomy
The Deep Space One (DS1) mission, scheduled to fly in 1998, will be the first NASA spacecraft to feature an on-board planner. The planner is part of an artificial intelligence based control architecture that comprises the planner/scheduler, a plan execution engine, and a model-based fault diagnosis and reconfiguration engine...This paper describes the on-board planning and scheduling component of the DS1 autonomy architecture.
IRTS Pointing Reconstruction at IPAC
Explore the source record for details and available documents.