Search NASA⌕ Search

SEARCH · Search NASA

Results for “autonomous spacecraft”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
NASA NTRS2006

Experiences applying Formal Approaches in the Development of Swarm-Based Space Exploration Systems

NASA is researching advanced technologies for future exploration missions using intelligent swarms of robotic vehicles. One of these missions is the Autonomous Nan0 Technology Swarm (ANTS) mission that will explore the asteroid belt using 1,000 cooperative autonomous spacecraft. The emergent properties of intelligent swarms make it a potentially powerful concept, but at the same time more difficult to design and ensure that the proper behaviors will emerge. NASA is investigating formal methods and techniques for verification of such missions. The advantage of using formal methods is the ability to mathematically verify the behavior of a swarm, emergent or otherwise. Using the ANTS mission as a case study, we have evaluated multiple formal methods to determine their effectiveness in modeling and ensuring desired swarm behavior. This paper discusses the results of this evaluation and proposes an integrated formal method for ensuring correct behavior of future NASA intelligent swarms.

Rouff, Christopher A.↗
NASA NTRS2003

Autonomous landmark tracking orbit determination strategy

In this paper, an orbit determination strategy is described that is fully autonomous and relies on a computer-based crater detection and identification algorithm that is suitable for both automation of the ground based navigation system and autonomous spacecraft based navigation.

landmark tracking orbit determination↗
NASA NTRS1998

NASA Center for Integrated Space Microsystems

Develop and maintain a world class, leading edge capability in Advanced Avionic Systems and Advanced Microelectronics Technologies for future highly integrated, miniaturized, autonomous spacecraft systems for deep-space and Earth orbiting missions.

CISM Avionics Microelectronics Miniaturization Aut↗
NASA NTRS1994

Issues in Automation

Explore the source record for details and available documents.

automated system robotic spacecraft autonomous spa↗
NASA NTRS2001

NASA New Millennium Program Overview

This viewgraph presentation reviews the New Millennium Program (NMP) which was established in 1994 to revolutionize NASA's Space and Earth science programs to achieve more capable, less costly missions in th e 2lst Century by: 1. Developing and flight-validating revolutionary technologies; 2. Reducing development times and life cycle missi0n cost; 3. Enabling highly autonomous spacecraft and 4. Promoting nat ionwide teaming and coordination

cost effective↗
NASA NTRS2008

Gamma Ray Burst Discoveries by the Swift Mission

With 3 years of on-orbit operations (launched in Nov 2004), Swift has detected over 300 gammaray bursts (GRBs). The unique combination of quick and accurate position determinations by the BAT instrument, fast autonomous spacecraft slewing, and multi-band instrumentation (XRT and UVOT) has allowed Swift to accumulate a long list of discoveries about GRBs. These positions are also available to the ground follow-up community (via TDRSS and GCN) within 15-30 sec. A summary of these discoveries will be given (e.g. long and short GRB host associations, SN associations, flaring and on-going activity in the central engine). The Swift spacecraft and instruments are in fine working order with no signs of performance degradation. With an expected orbital lifetime well past 2020, the overlap with GLAST (launch in mid-2008) will yield greater than 30 GRBs/year with observations by both missions. This will provide an unprecedented wavelength coverage from optical to 100 GeV. The coordination of pointing Swift with GLAST will be described.

Barthelmy, Scott↗
NASA NTRS2008

Orbital Express AVGS Validation and Calibration for Automated Rendezvous

From March to July of 2007, the DARPA Orbital Express mission achieved a number of firsts in autonomous spacecraft operations. The NASA Advanced Video Guidance Sensor (AVGS) was the primary docking sensor during the first two dockings and was used in a blended mode three other automated captures. The AVGS performance exceeded its specification by approximately an order of magnitude. One reason that the AVGS functioned so well during the mission was that the validation and calibration of the sensor prior to the mission advanced the state-of-the-art for proximity sensors. Some factors in this success were improvements in ground test equipment and truth data, the capability for ILOAD corrections for optical and other effects, and the development of a bias correction procedure. Several valuable lessons learned have applications to future proximity sensors.

Heaton, Andrew F.↗
NASA NTRS2009

Rewriting Logic Semantics of a Plan Execution Language

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEXIL executives. The implementation in Maude has the additional benefit of making available to PLEXIL designers and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL semantics in rewriting logic poses an interesting challenge due to the synchronous nature of the language and the prioritized rules defining its semantics. To overcome this difficulty, we propose a general procedure for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations, complete. We also report on the finding of two issues at the design level of the original PLEXIL semantics that were identified with the help of the executable specification in Maude.

Dowek, Gilles↗
NASA NTRS2003

Revolutionary Deep Space Science Missions Enabled by Onboard Autonomy

Breakthrough autonomy technologies enable a new range of spire missions that acquire vast amounts of data and return only the most scientifically important data to Earth. These missions would monitor science phenomena in great detail (either with frequent observations or at extremely high spatial resolution) and onboard analyze the data to detect specific science events of interest. These missions would monitor volcanic eruptions, formation and movement of aeolian features. and atmospheric phenomena. The autonomous spacecraft would respond to science events by planning its future operations to revisit or perform complementary observations. In this paradigm, the spacecraft represents the scientists agent enabling optimization of the downlink data volume resource. This paper describes preliminary efforts to define and design such missions.

autonomy↗
NASA NTRS2008

Automated Generation and Assessment of Autonomous Systems Test Cases

This slide presentation reviews some of the issues concerning verification and validation testing of autonomous spacecraft routinely culminates in the exploration of anomalous or faulted mission-like scenarios using the work involved during the Dawn mission's tests as examples. Prioritizing which scenarios to develop usually comes down to focusing on the most vulnerable areas and ensuring the best return on investment of test time. Rules-of-thumb strategies often come into play, such as injecting applicable anomalies prior to, during, and after system state changes; or, creating cases that ensure good safety-net algorithm coverage. Although experience and judgment in test selection can lead to high levels of confidence about the majority of a system's autonomy, it's likely that important test cases are overlooked. One method to fill in potential test coverage gaps is to automatically generate and execute test cases using algorithms that ensure desirable properties about the coverage. For example, generate cases for all possible fault monitors, and across all state change boundaries. Of course, the scope of coverage is determined by the test environment capabilities, where a faster-than-real-time, high-fidelity, software-only simulation would allow the broadest coverage. Even real-time systems that can be replicated and run in parallel, and that have reliable set-up and operations features provide an excellent resource for automated testing. Making detailed predictions for the outcome of such tests can be difficult, and when algorithmic means are employed to produce hundreds or even thousands of cases, generating predicts individually is impractical, and generating predicts with tools requires executable models of the design and environment that themselves require a complete test program. Therefore, evaluating the results of large number of mission scenario tests poses special challenges. A good approach to address this problem is to automatically score the results based on a range of metrics. Although the specific means of scoring depends highly on the application, the use of formal scoring - metrics has high value in identifying and prioritizing anomalies, and in presenting an overall picture of the state of the test program. In this paper we present a case study based on automatic generation and assessment of faulted test runs for the Dawn mission, and discuss its role in optimizing the allocation of resources for completing the test program.

Testing challenges↗
NASA NTRS2006

Methodology for Designing Fault-Protection Software

A document describes a methodology for designing fault-protection (FP) software for autonomous spacecraft. The methodology embodies and extends established engineering practices in the technical discipline of Fault Detection, Diagnosis, Mitigation, and Recovery; and has been successfully implemented in the Deep Impact Spacecraft, a NASA Discovery mission. Based on established concepts of Fault Monitors and Responses, this FP methodology extends the notion of Opinion, Symptom, Alarm (aka Fault), and Response with numerous new notions, sub-notions, software constructs, and logic and timing gates. For example, Monitor generates a RawOpinion, which graduates into Opinion, categorized into no-opinion, acceptable, or unacceptable opinion. RaiseSymptom, ForceSymptom, and ClearSymptom govern the establishment and then mapping to an Alarm (aka Fault). Local Response is distinguished from FP System Response. A 1-to-n and n-to- 1 mapping is established among Monitors, Symptoms, and Responses. Responses are categorized by device versus by function. Responses operate in tiers, where the early tiers attempt to resolve the Fault in a localized step-by-step fashion, relegating more system-level response to later tier(s). Recovery actions are gated by epoch recovery timing, enabling strategy, urgency, MaxRetry gate, hardware availability, hazardous versus ordinary fault, and many other priority gates. This methodology is systematic, logical, and uses multiple linked tables, parameter files, and recovery command sequences. The credibility of the FP design is proven via a fault-tree analysis "top-down" approach, and a functional fault-mode-effects-and-analysis via "bottoms-up" approach. Via this process, the mitigation and recovery strategy(s) per Fault Containment Region scope (width versus depth) the FP architecture.

Barltrop, Kevin↗
NASA NTRS2004

NASA Tech Briefs, December 2004

opics include: High-Rate Digital Receiver Board; Signal Design for Improved Ranging Among Multiple Transceivers; Automated Analysis, Classification, and Display of Waveforms; Fast-Acquisition/Weak-Signal-Tracking GPS Receiver for HEO; Format for Interchange and Display of 3D Terrain Data; Program Analyzes Radar Altimeter Data; Indoor Navigation using Direction Sensor and Beacons; Software Assists in Responding to Anomalous Conditions; Software for Autonomous Spacecraft Maneuvers; WinPlot; Software for Automated Testing of Mission-Control Displays; Nanocarpets for Trapping Microscopic Particles; Precious-Metal Salt Coatings for Detecting Hydrazines; Amplifying Electrochemical Indicators; Better End-Cap Processing for Oxidation-Resistant Polyimides; Carbon-Fiber Brush Heat Exchangers; Solar-Powered Airplane with Cameras and WLAN; A Resonator for Low-Threshold Frequency Conversion; Masked Proportional Routing; Algorithm Determines Wind Speed and Direction from Venturi-Sensor Data; Feature-Identification and Data-Compression Software; Alternative Attitude Commanding and Control for Precise Spacecraft Landing; Inspecting Friction Stir Welding using Electromagnetic Probes; and Helicity in Supercritical O2/H2 and C7H16/N2 Mixing Layers.

Source record↗
NASA NTRS2012

Model-Based Method for Sensor Validation

Fault detection, diagnosis, and prognosis are essential tasks in the operation of autonomous spacecraft, instruments, and in situ platforms. One of NASA s key mission requirements is robust state estimation. Sensing, using a wide range of sensors and sensor fusion approaches, plays a central role in robust state estimation, and there is a need to diagnose sensor failure as well as component failure. Sensor validation can be considered to be part of the larger effort of improving reliability and safety. The standard methods for solving the sensor validation problem are based on probabilistic analysis of the system, from which the method based on Bayesian networks is most popular. Therefore, these methods can only predict the most probable faulty sensors, which are subject to the initial probabilities defined for the failures. The method developed in this work is based on a model-based approach and provides the faulty sensors (if any), which can be logically inferred from the model of the system and the sensor readings (observations). The method is also more suitable for the systems when it is hard, or even impossible, to find the probability functions of the system. The method starts by a new mathematical description of the problem and develops a very efficient and systematic algorithm for its solution. The method builds on the concepts of analytical redundant relations (ARRs).

Vatan, Farrokh↗
NASA NTRS2013

Texturecam: A Smart Camera for Microscale, Mesoscale, and Deep Space Applications

The TextureCam project is developing a 'smart camera' that can classify geologic surfaces in planetary images. This would allow autonomous spacecraft to collect data opportunisitcally during intervals between communications with Earth, such as during long traverses. Its surface classifications can identify new targets that were not anticipated in advance. The spacecraft might use this information to target these features with high-resolution instruments such as spectrometers nd narrow-field cameras. Classifications could also inform data 'triage' decisions, identifying high value images for prioritized downlink. Finally, the surface classification can serve as compressed maps of image content. Each of these strategies can improve the science data returned at each command cycle and speed reconnaissance during site survey and astrobiology investigation. Our first year of development has completed the image analysis algorithms and validated them in software tests. Here we survey these initial results and explore several application areas relevant to Mars and beyond.

Hyperspectral imagery↗
NASA NTRS2014

Rewriting Modulo SMT and Open System Analysis

This paper proposes rewriting modulo SMT, a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze infinite-state open systems, i.e., systems that interact with a non-deterministic environment. Such systems exhibit both internal non-determinism, which is proper to the system, and external non-determinism, which is due to the environment. In a reflective formalism, such as rewriting logic, rewriting modulo SMT can be reduced to standard rewriting. Hence, rewriting modulo SMT naturally extends rewriting-based reachability analysis techniques, which are available for closed systems, to open systems. The proposed technique is illustrated with the formal analysis of: (i) a real-time system that is beyond the scope of timed-automata methods and (ii) automatic detection of reachability violations in a synchronous language developed to support autonomous spacecraft operations.

Rocha, Camilo↗
NASA NTRS2017

Mid-L/D Lifting Body Entry Demise Analysis

The mid-lift-to-drag ratio (mid-L/D) lifting body is a fully autonomous spacecraft under design at NASA for enabling a rapid return of scientific payloads from the International Space Station (ISS). For contingency planning and risk assessment for the Earth-return trajectory, an entry demise analysis was performed to examine three potential failure scenarios: (1) nominal entry interface conditions with loss of control, (2) controlled entry at maximum flight path angle, and (3) controlled entry at minimum flight path angle. The objectives of the analysis were to predict the spacecraft breakup sequence and timeline, determine debris survival, and calculate the debris dispersion footprint. Sensitivity analysis was also performed to determine the effect of the initial pitch rate on the spacecraft stability and breakup during the entry. This report describes the mid-L/D lifting body and presents the results of the entry demise and sensitivity analyses.

Ling, Lisa↗
NASA NTRS2017

Tuning the Solar Dynamics Observatory Onboard Kalman Filter

The Solar Dynamics Observatory (SDO) was launched in 2010. SDO is a sun pointing semi-autonomous spacecraft in a geosynchronous orbit that allows nearly continuous observations of the sun. SDO is equipped with coarse sun sensors, two star trackers, a digital sun sensor, and three two-axis inertial reference units (IRU). The IRUs are temperature sensitive and were designed to operate in a stable thermal environment. Due to battery degradation concerns the IRU heaters were not used on SDO and the onboard filter was tuned to accommodate the noisier IRU data. Since launch currents have increased on two IRUs, one had to eventually be powered off. Recent ground tests on a battery similar to SDO indicated the heaters would have negligible impact on battery degradation, so in 2016 a decision was made to turn the heaters on. This paper presents the analysis and results of updating the filter tuning parameters onboard SDO with the IRUs now operating in their intended thermal environment.

Halverson, Julie Kay↗