Search NASA⌕ Search

SEARCH · Search NASA

Results for “autonomous space exploration”

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 145 records · Page 8

Advancing Autonomous Operations Technologies for NASA Missions

This paper discusses the importance of implementing advanced autonomous technologies supporting operations of future NASA missions. The ability for crewed, uncrewed and even ground support systems to be capable of mission support without external interaction or control has become essential as space exploration moves further out into the solar system. The push to develop and utilize autonomous technologies for NASA mission operations stems in part from the need to reduce cost while improving and increasing capability and safety. This paper will provide examples of autonomous technologies currently in use at NASA and will identify opportunities to advance existing autonomous technologies that will enhance mission success by reducing cost, ameliorating inefficiencies, and mitigating catastrophic anomalies

Cruzen, Craig↗

Advancing Autonomous Operations Technologies for NASA Missions

This paper discusses the importance of implementing advanced autonomous technologies supporting operations of future NASA missions. The ability for crewed, uncrewed and even ground support systems to be capable of mission support without external interaction or control has become essential as space exploration moves further out into the solar system. The push to develop and utilize autonomous technologies for NASA mission operations stems in part from the need to reduce operations cost while improving and increasing capability and safety. This paper will provide examples of autonomous technologies currently in use at NASA and will identify opportunities to advance existing autonomous technologies that will enhance mission success by reducing operations cost, ameliorating inefficiencies, and mitigating catastrophic anomalies.

Cruzen, Craig↗

Vision guided landing of an an autonomous helicopter in hazardous terrain

Future robotic space missions will employ a precision soft-landing capability that will enable exploration of previously inaccessible sites that have strong scientific significance. To enable this capability, a fully autonomous onboard system that identifies and avoids hazardous features such as steep slopes and large rocks is required. Such a system will also provide greater functionality in unstructured terrain to unmanned aerial vehicles. This paper describes an algorithm for landing hazard avoidance based on images from a single moving camera. The core of the algorithm is an efficient application of structure from motion to generate a dense elevation map of the landing area. Hazards are then detected in this map and a safe landing site is selected. The algorithm has been implemented on an autonomous helicopter testbed and demonstrated four times resulting in the first autonomous landing of an unmanned helicopter in unknown and hazardous terrain.

Mars Landing↗

X-HAB 2020 Academic Innovation Challenge: Next Generation User Interfaces for Gateway Autonomous Operations

NASA’s Gateway seeks to establish an autonomous platform in support of Artemis mission (boots on ground 2024). It is used to refine and mature short and long-duration deep space exploration capabilities through the 2020s. It is expected to be assembled in a lunar orbit where it can be used as a staging point for missions to the Moon and other destinations in deep space. Gateway can evolve for different mission needs involving exploration, science, commercial and international partners. User interfaces for autonomous systems is an emerging area where knowledge and implementation concepts are still in their infancy.

J. Cecil↗

Software Construction and Analysis Tools for Future Space Missions

NASA and its international partners will increasingly depend on software-based systems to implement advanced functions for future space missions, such as Martian rovers that autonomously navigate long distances exploring geographic features formed by surface water early in the planet's history. The software-based functions for these missions will need to be robust and highly reliable, raising significant challenges in the context of recent Mars mission failures attributed to software faults. After reviewing these challenges, this paper describes tools that have been developed at NASA Ames that could contribute to meeting these challenges; 1) Program synthesis tools based on automated inference that generate documentation for manual review and annotations for automated certification. 2) Model-checking tools for concurrent object-oriented software that achieve memorability through synergy with program abstraction and static analysis tools.

Lowry, Michael R.↗

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

To achieve its science objectives in deep space exploration, NASA has a need for science platform vehicles to autonomously make control decisions in a time frame that excludes intervention from Earth-based controllers. Round-trip light-time is one significant factor motivating autonomy capability, another factor is the need to reduce ground support operations cost. An unsolved problem potentially impeding the adoption of autonomy capability is the verification and validation of such software systems, which exhibit far more behaviors (and hence distinct execution paths in the software) than is typical in current deepspace platforms. Hence the need for a study to benchmark advanced Verification and Validation (V&V) tools on representative autonomy software. The objective of the study was to access the maturity of different technologies, to provide data indicative of potential synergies between them, and to identify gaps in the technologies with respect to the challenge of autonomy V&V. The study consisted of two parts: first, a set of relatively independent case studies of different tools on the same autonomy code, second a carefully controlled experiment with human participants on a subset of these technologies. This paper describes the second part of the study. Overall, nearly four hundred hours of data on human use of three different advanced V&V tools were accumulated, with a control group that used conventional testing methods. The experiment simulated four independent V&V teams debugging three successive versions of an executive controller for a Martian Rover. Defects were carefully seeded into the three versions based on a profile of defects from CVS logs that occurred in the actual development of the executive controller. The rest of the document is structured a s follows. In section 2 and 3, we respectively describe the tools used in the study and the rover software that was analyzed. In section 4 the methodology for the experiment is described; this includes the code preparation, seeding of defects, participant training and experimental setup. Next we give a qualitative overview of how the experiment went from the point of view of each technology; model checking (section 5), static analysis (section 6), runtime analysis (section 7) and testing (section 8). The find section gives some preliminary quantitative results on how the tools compared.

Brat, Guillaume↗

Spaceflight Flow Cytometry: Design Challenges and Applications

Future space exploration missions will require analytical technology capable of providing both autonomous medical care to the crew and investigative capabilities to researchers. While several promising candidate technologies exist for further development, flow cytometry is an attractive technology as it offers both crew health and a wide array of biochemistry and immunology assays. While flow cytometry has been widely used for cellular analysis in both clinical and research settings, the requirements for proper operation in spaceflight impose constraints on any instrument designs. The challenges of designing a spaceflight-ready flow cytometer are discussed, as well as some preliminary results using a prototype system.

Pappas, Dimitri↗

On-orbit demonstrations of automated closure and capture using ESA-developed proximity operations technologies and an existing serviceable NASA Explorer platform spacecraft

Since 1984 the European Space Agency (ESA) has been working to develop an autonomous rendezvous and docking capability to enable Hermes to dock automatically with Columbus. As a result, ESA (with Matra, MBB, and other space companies) have developed technologies that are directly supportive of the current NASA initiative for Automated Rendezvous and Capture. Fairchild and Matra would like to discuss the results of the applicable ESA/Matra rendezvous and capture developments and suggest how these capabilities could be used together with an existing NASA Explorer Platform satellite to minimize new development and accomplish a cost-effective automatic closure and capture demonstration program.

Hohweisner, Bill↗

ALI (Autonomous Lunar Investigator): Revolutionary Approach to Exploring the Moon with Addressable Reconfigurable Technology

Addressable Reconfigurable Technology (ART) based structures: Mission Concepts based on Addressable Reconfigurable Technology (ART), originally studied for future ANTS (Autonomous Nanotechnology Swarm) Space Architectures, are now being developed as rovers for nearer term use in lunar and planetary surface exploration. The architecture is based on the reconfigurable tetrahedron as a building block. Tetrahedra are combined to form space-filling networks, shaped for the required function. Basic structural components are highly modular, addressable arrays of robust nodes (tetrahedral apices) from which highly reconfigurable struts (tetrahedral edges), acting as supports or tethers, are efficiently reversibly deployed/stowed, transforming and reshaping the structures as required.

Clark, P. E.↗

rHealth One Demonstration Aboard ISS: A Microfluidic Bioanalyzer Based on Sheath/Hydrodynamic Focusing Flow Cytometry

The Exploration Medical Capability (ExMC) element aims to provide astronauts with the means for their own health monitoring, diagnosis, and treatment during exploration missions. As space flight ventures further from earth, the need for autonomous medical care increases under greater constraints on size, mass, and resources. One pillar for diagnosis that crew would be separated from is laboratory analysis. Even now on ISS, blood samples must be collected and returned to earth for testing. In response, ExMC is assessing how assays for hematology, bone health, radiation exposure etc. could be addressed through commercial-off-the-shelf (COTS) and Small Business Innovation Research (SBIR) funded bioanalyzers that are miniaturizing lab technology. Since missions will reach distances where there are no timely replacements, validation on the International Space Station (ISS) is a necessary part of that assessment. In partnership with NASA Johnson Space Center (JSC) Immunology Lab and the Research Operations and Integration (ROI) element, ExMC conducted a technology demonstration on ISS of the rHEALTH ONE, a flow cytometry based bioanalyzer, to assess future devices based on this design. In flow cytometry, there are predominantly three ways to focus the cells (or particles) into a single file stream: hydrodynamic focusing, microcapillary, and acoustic focusing. The rHEALTH ONE utilizes the commercial standard, sheath-based hydrodynamic focusing. rHEALTH itself represents both a company and a suite of medical tools NASA has funded through SBIR grants towards the development of a promising diagnosis instrument for exploration missions. rHEALTH ONE is the interim version of the technology, functional as a benchtop analyzer and test bed for the next generation of rHEALTH in development. Several modifications were made to the rHEALTH ONE analyzer for operation in microgravity. For function, fluid management was key. A sheath-based analyzer uses sheath fluid to flow the sample, cleaning fluid to prevent biological contamination, and a reservoir to collect the liquid waste. The rHEALTH ONE analyzer uses bottles dependent on gravity to separate the air and liquid pathways and keep the liquids contained. It uses only 1 psig of air pressure to directly push the liquid through the device, requiring little-to-no resistance at inlet and outlet. A microtubing assembly with self-sealing luer connectors was designed – featuring 0.014 mm thick durable medical balloons to hold water inside the supply bottles – to create safe containment and easy access for the crew while maintaining the analyzer’s function. For safety, copper tape was added to the interior of the plastic housing to reduce electromagnetic interference, fluid and electrical connections were secured against vibration and leaks, and gaps were further sealed to ensure containment of the optical block and lasers. Water as the sheath and cleaning fluid and TOX 0 samples were used to reduce the biohazard risk to the crew. In May 2022, European Space Agency astronaut Samantha Cristoforetti demonstrated the rHEALTH ONE aboard ISS for its sample loading, flow cytometry, and data collection capability in microgravity. The JSC Immunology Lab provided flow cytometry expertise, designed the sample test protocol, and manufactured and benchmarked the flight samples on a ‘gold-standard’ flow cytometer. The analyzer was primed with water, purged of air, and four calibration solutions of polystyrene microparticles were tested to characterize its performance. Tightly controlled procedures and excellent execution prevented air bubble interference during air/water separation, fluid transfer, sample mixing and loading. Data showed a slight increase in signal noise on 3 of 5 channels and an anomaly of fluorophores migrating in one sample (confirmed by JSC post-flight). Flight results correctly detected the change in sample, matched the analyzer’s ground performance, and were consistent with the gold-standard’s ground results. Although areas were noted for improvement, these outcomes signified complete mission success.

R. S. Miller↗

Simulation-Based Verification of Livingstone Applications

AI software is viewed as a means to give greater autonomy to automated systems, capable of coping with harsh and unpredictable environments in deep space missions. Autonomous systems pose a serious challenge to traditional test-based verification approaches, because of the enormous space of possible situations that they aim to address. Before these systems are put in control of critical applications, appropriate new verification approaches need to be developed. This article describes Livingstone PathFinder (LPF), a verification tool for autonomous diagnosis applications based on NASA's Livingstone model-based diagnosis system. LPF applies state space exploration algorithms to an instrumented testbed, consisting of the Livingstone diagnosis system embedded in a simulated operating environment. The article describes different facets of LPF and reports some experimental results from applying LPF to a Livingstone model of the main propulsion feed subsystem of the X-34 space vehicle. This paper describes Livingstone PathFinder (LPF), a verification tool for autonomous diagnosis applications based on NASA's Livingstone model-based diagnosis system. LPF applies state space exploration algorithms to an instrumented testbed, consisting of the Livingstone diagnosis system embedded in a simulated operating environment. Section 2 provides an overview of Livingstone; Section 3 describes the LPF architecture; Section 4 discusses its applicability; Section 5 reviews some experimental results; Section 6 compares LPF to related verification approaches; Section 7 draws conclusions and discusses some perspectives.

Lindsey, Anthony E.↗

A Survey of Formal Methods for Intelligent Swarms

Swarms of intelligent autonomous spacecraft, involving complex behaviors and interactions, are being proposed for future space exploration missions. Such missions provide greater flexibility and offer the possibility of gathering more science data than traditional single spacecraft missions. The emergent properties of swarms make these missions powerful, but simultaneously far more difficult to design, and to assure that the proper behaviors will emerge. These missions are also considerably more complex than previous types of missions, and NASA, like other organizations, has little experience in developing or in verifying and validating these types of missions. A significant challenge when verifying and validating swarms of intelligent interacting agents is how to determine that the possible exponential interactions and emergent behaviors are producing the desired results. Assuring correct behavior and interactions of swarms will be critical to mission success. The Autonomous Nano Technology Swarm (ANTS) mission is an example of one of the swarm types of missions NASA is considering. The ANTS mission will use a swarm of picospacecraft that will fly from Earth orbit to the Asteroid Belt. Using an insect colony analogy, ANTS will be composed of specialized workers for asteroid exploration. Exploration would consist of cataloguing the mass, density, morphology, and chemical composition of the asteroids, including any anomalous concentrations of specific minerals. To perform this task, ANTS would carry miniaturized instruments, such as imagers, spectrometers, and detectors. Since ANTS and other similar missions are going to consist of autonomous spacecraft that may be out of contact with the earth for extended periods of time, and have low bandwidths due to weight constraints, it will be difficult to observe improper behavior and to correct any errors after launch. Providing V&V (verification and validation) for this type of mission is new to NASA, and represents the cutting edge in system correctness, and requires higher levels of assurance than other (traditional) missions that use a single or small number of spacecraft that are deterministic in nature and have near continuous communication access. One of the highest possible levels of assurance comes from the application of formal methods. Formal methods are mathematics-based tools and techniques for specifying and verifying (software and hardware) systems. They are particularly useful for specifying complex parallel systems, such as exemplified by the ANTS mission, where the entire system is difficult for a single person to fully understand, a problem that is multiplied with multiple developers. Once written, a formal specification can be used to prove properties of a system (e.g., the underlying system will go from one state to another or not into a specific state) and check for particular types of errors (e.g., race or livelock conditions). A formal specification can also be used as input to a model checker for further validation. This report gives the results of a survey of formal methods techniques for verification and validation of space missions that use swarm technology. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft using the ANTS mission as an example system. This report is the first result of the project to determine formal approaches that are promising for formally specifying swarm-based systems. From this survey, the most promising approaches were selected and are discussed relative to their possible application to the ANTS mission. Future work will include the application of an integrated approach, based on the selected approaches identified in this report, to the formal specification of the ANTS mission.

Truszkowski, Walt↗

Automated Operations Development for Advanced Exploration Systems

Automated space operations command and control software development and its implementation must be an integral part of the vehicle design effort. The software design must encompass autonomous fault detection, isolation, recovery capabilities and also provide "single button" intelligent functions for the crew. Development, operations and safety approval experience with the Timeliner system onboard the International Space Station (ISS), which provided autonomous monitoring with response and single command functionality of payload systems, can be built upon for future automated operations as the ISS Payload effort was the first and only autonomous command and control system to be in continuous execution (6 years), 24 hours a day, 7 days a week within a crewed spacecraft environment. Utilizing proven capabilities from the ISS Higher Active Logic (HAL) System, along with the execution component design from within the HAL 9000 Space Operating System, this design paper will detail the initial HAL System software architecture and interfaces as applied to NASA's Habitat Demonstration Unit (HDU) in support of the Advanced Exploration Systems, Autonomous Mission Operations project. The development and implementation of integrated simulators within this development effort will also be detailed and is the first step in verifying the HAL 9000 Integrated Test-Bed Component [2] designs effectiveness. This design paper will conclude with a summary of the current development status and future development goals as it pertains to automated command and control for the HDU.

Haddock, Angie T.↗

An autonomous fault detection, isolation, and recovery system for a 20-kHz electric power distribution test bed

Future space explorations will require long term human presence in space. Space environments that provide working and living quarters for manned missions are becoming increasingly larger and more sophisticated. Monitor and control of the space environment subsystems by expert system software, which emulate human reasoning processes, could maintain the health of the subsystems and help reduce the human workload. The autonomous power expert (APEX) system was developed to emulate a human expert's reasoning processes used to diagnose fault conditions in the domain of space power distribution. APEX is a fault detection, isolation, and recovery (FDIR) system, capable of autonomous monitoring and control of the power distribution system. APEX consists of a knowledge base, a data base, an inference engine, and various support and interface software. APEX provides the user with an easy-to-use interactive interface. When a fault is detected, APEX will inform the user of the detection. The user can direct APEX to isolate the probable cause of the fault. Once a fault has been isolated, the user can ask APEX to justify its fault isolation and to recommend actions to correct the fault. APEX implementation and capabilities are discussed.

Quinn, Todd M.↗

ISS Mini AERCam Radio Frequency (RF) Coverage Analysis Using iCAT Development Tool

The long-term goals of the National Aeronautics and Space Administration's (NASA's) Human Exploration and Development of Space (HEDS) enterprise may require the development of autonomous free-flier (FF) robotic devices to operate within the vicinity of low-Earth orbiting spacecraft to supplement human extravehicular activities (EVAs) in space. Future missions could require external visual inspection of the spacecraft that would be difficult, or dangerous, for humans to perform. Under some circumstance, it may be necessary to employ an un-tethered communications link between the FF and the users. The interactive coverage analysis tool (ICAT) is a software tool that has been developed to perform critical analysis of the communications link performance for a FF operating in the vicinity of the International Space Station (ISS) external environment. The tool allows users to interactively change multiple parameters of the communications link parameters to efficiently perform systems engineering trades on network performance. These trades can be directly translated into design and requirements specifications. This tool significantly reduces the development time in determining a communications network topology by allowing multiple parameters to be changed, and the results of link coverage to be statistically characterized and plotted interactively.

Bolen, Steve↗

Automated Reconfigurable Mission Adaptive Digital Assembly Systems (ARMADAS)

To meet the needs of future deep space exploration, NASA is interested in large-scale hardware systems in the agency’s thrust areas of solar power, communications, habitats and science interests. Scalable in-space assembly of physical systems is critical to massless exploration and in-space reliance goals. The ARMADAS project demonstrates the autonomous assembly of digital materials and structures. This provides automation technologies with potential for meeting long duration and deep space infrastructure needs, such as construction and maintenance of long duration spaceport, surface infrastructure, and habitat scale systems. Project demonstrations to date include a system that can fit into a small satellite-sized payload, which automatically assembles into primary structures, such as a small habitat module or array/antenna, using onboard robotic assemblers.

In Space Assembly↗

Automated Operations Development for Advanced Exploration Systems

Automated space operations command and control software development and its implementation must be an integral part of the vehicle design effort. The software design must encompass autonomous fault detection, isolation, recovery capabilities and also provide single button intelligent functions for the crew. Development, operations and safety approval experience with the Timeliner system on-board the International Space Station (ISS), which provided autonomous monitoring with response and single command functionality of payload systems, can be built upon for future automated operations as the ISS Payload effort was the first and only autonomous command and control system to be in continuous execution (6 years), 24 hours a day, 7 days a week within a crewed spacecraft environment. Utilizing proven capabilities from the ISS Higher Active Logic (HAL) System [1] , along with the execution component design from within the HAL 9000 Space Operating System [2] , this design paper will detail the initial HAL System software architecture and interfaces as applied to NASA s Habitat Demonstration Unit (HDU) in support of the Advanced Exploration Systems, Autonomous Mission Operations project. The development and implementation of integrated simulators within this development effort will also be detailed and is the first step in verifying the HAL 9000 Integrated Test-Bed Component [2] designs effectiveness. This design paper will conclude with a summary of the current development status and future development goals as it pertains to automated command and control for the HDU.

Haddock, Angie↗

An Integrated Architecture Study for Autonomous Lunar Construction

Lunar construction is an expanding field within NASA’s Moon to Mars objectives that presents many challenges and requires innovative and reliable forms of autonomous operations on the surface of the Moon to further the technologies needed for human space exploration. Marshal Space Flight Center’s (MSFC) Advanced Concepts Office (ACO) addressed Lunar Infrastructure Objective LI-4 l by developing a Pre-Phase A, integrated architecture to inform a demonstration for lunar construction operations. The ACO study traded three architectures that would survey and prepare a construction area to build a landing pad out of lunar regolith using MMPACT (Moon-to-Mars Planetary Autonomous Construction Technology) platforms, rovers, and navigation outposts. The main trades examined navigation for the system/architecture, options for rover navigation, battery vs continuous tether power for the MMPACT robotic arm, and assigning site prep functionality to the rovers vs the platforms. Results of the study determined that the best options for the scenario provided would be local navigation (more accurate and continuous), a combination of Light Detection and Ranging (LiDAR) for initial site mapping with subsequent Smart Video Guidance Sensors (SVGS) to save power for construction, and using tethered power to decrease mission duration. The team also concluded that assigning site prep functionality to either the rovers or the platforms has benefits and challenges; future studies could explore having that functionality on both the rovers and platforms. Lastly, the team provided a Concept of Operations (ConOps) timeline that can be used in real-time ground demonstrations to explore the mission timeline, construction processes, autonomous operations, and communication systems that can be tested using MSFC’s lunar regolith field and Lunar Utilization Control Area (LUCA).

Sarah Triana↗