Search NASA⌕ Search

SEARCH · Search NASA

Results for “Autonomous Design”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1983

A fault tolerant design for autonomous attitude control of the DSCS-III communication satellite

The first of a new series of satellites, which will provide the principal elements in the Defense Space Communications System (DSCS), was launched on Oct. 31, 1982. This satellite, DSCS-III, is part of a system which will consist of super-high frequency communications satellites in synchronous, equatorial orbits, continuously operating in four widely separate geographic regions. The DSCS-III is designed both to maintain critical communications in the presence of an electronic jamming threat and to survive nuclear radiation exposure. The results of the present investigation are to provide a basis for the design of a spacecraft tolerant of on-board failures, survivable against external threats, and capable of performing its mission autonomously for periods as long as six months.

Matijevic, J.↗
NASA NTRS1987

Advanced data management design for autonomous telerobotic systems in space using spaceborne symbolic processors

The use of computers in autonomous telerobots is reaching the point where advanced distributed processing concepts and techniques are needed to support the functioning of Space Station era telerobotic systems. Three major issues that have impact on the design of data management functions in a telerobot are covered. It also presents a design concept that incorporates an intelligent systems manager (ISM) running on a spaceborne symbolic processor (SSP), to address these issues. The first issue is the support of a system-wide control architecture or control philosophy. Salient features of two candidates are presented that impose constraints on data management design. The second issue is the role of data management in terms of system integration. This referes to providing shared or coordinated data processing and storage resources to a variety of telerobotic components such as vision, mechanical sensing, real-time coordinated multiple limb and end effector control, and planning and reasoning. The third issue is hardware that supports symbolic processing in conjunction with standard data I/O and numeric processing. A SSP that currently is seen to be technologically feasible and is being developed is described and used as a baseline in the design concept.

Goforth, Andre↗
NASA NTRS2021

Mission Concept Design for Autonomous Space Missions using Mission-Level Modeling and Simulation

NASA’s Europa Lander mission is to search for biosignatures on Europa based on in-situ science using a lander architecture. This mission presents a set of challenges that requires a high level of autonomy on the lander system, leading to the need for a new operational paradigm that supports better collaboration and coordination between the lander and the ground operations team. M\&S is used for both designing the onboard system-level autonomy and the ground operations paradigm that allows effective and efficient collaboration and coordination between the lander and the ground operations team. In this paper, M\&S as applied to the design of new mission and operational concepts will be discussed. At its current early stage of the mission development for Europa Lander, the M\&S is used to explore different mission concepts and gain insights for design (formative) rather than to verify and validate fully designed mission concepts quantitatively (summative). Organically, we established a new approach to mission and operational concept exploration using high-fidelity modeling and simulation. M\&S has been an integral part of the approach of defining constraints and assertions, designing mission concepts, assessing (i.e., simulating them), and discovering insights, which feeds back to the definition an design steps. This organically-established approach provided important benefits to the project at its early phase of the development by enabling the project team to be able to build shared understanding of impacts from design characteristics, constraints, and their interactions on the mission performance.

Ye, Sean↗
NASA NTRS1995

Biomorphic architectures for autonomous Nanosat designs

Modern space tool design is the science of making a machine both massively complex while at the same time extremely robust and dependable. We propose a novel nonlinear control technique that produces capable, self-organizing, micron-scale space machines at low cost and in large numbers by parallel silicon assembly. Experiments using biomorphic architectures (with ideal space attributes) have produced a wide spectrum of survival-oriented machines that are reliably domesticated for work applications in specific environments. In particular, several one-chip satellite prototypes show interesting control properties that can be turned into numerous application-specific machines for autonomous, disposable space tasks. We believe that the real power of these architectures lies in their potential to self-assemble into larger, robust, loosely coupled structures. Assembly takes place at hierarchical space scales, with different attendant properties, allowing for inexpensive solutions to many daunting work tasks. The nature of biomorphic control, design, engineering options, and applications are discussed.

Hasslacher, Brosl↗
NASA NTRS2020

Design of Autonomous Medical Response Agent (AMRA) Aggregate Information Dashboard (AID)

Future astronauts in deep space missions will rely on tools and technologies empowering them to self-diagnose and self-treat medical conditions. Given communications delays and limited bandwidth in future long-duration exploration missions (LDEMs), medical decision support technologies must empower the crew to manage routine medical activities, acute medical incidents, as well as emergency medical scenarios independently from ground support.The Autonomous Medical Response Agent (AMRA) is envisioned as a digital tool enabling crew to issue medical complaints and interact with a medical decision support algorithm which develops a differential diagnosis and recommends a treatment protocol for the condition. AMRA will draw from individual crew medical history in addition to crew symptoms to more efficiently identify high-risk medical conditions. A new symptom could be indicative of a chronic condition or a normal adaptation to long-duration spaceflight, but could just as easily be indicative of an adverse vehicle condition affecting the entire crew.While real-time communication with a flight surgeon may not possible, the crew will nonetheless require a means to communicate and document both routine and emergency medical incidents to ground support. Conversely, flight surgeons and medical specialists on the ground will need to understand information such as crew vitals or responses to medical check-ups and examinations within the larger context of crew schedule, mission activities, and vehicle performance. A user interface which establishes communication protocols between an individual crew member and AMRA, as well as ground support to the crew is a significant area of research demanding input and consideration.The design of AMRA AID is intended to: a) represent routine medical activities as well as new (unplanned) medical incidents within the larger context of crew schedule and mission activities, and b) increase confidence between ground support and crew members over the course of LDEMs. Maintaining situation awareness of unplanned medical incidents between ground and crew will be a critical element within LDEMs. Two medical incidents headache and difficulty breathing are being explored within a user interface prototype which captures communications protocols between crew members and mission control, human health monitoring, vehicle or environmental monitoring, as well as crew schedule and mission activities holistically.

Yashar, M.↗
NASA NTRS1994

Designing an autonomous environment for mission critical operation of the EUVE satellite

Since the launch of NASA's Extreme Ultraviolet Explorer (EUVE) satellite in 1992, there has only been a handful of occurrences that have warranted manual intervention in the EUVE Science Operations Center (ESOC). So, in an effort to reduce costs, the current environment is being redesigned to utilize a combination of off-the-shelf packages and recently developed artificial intelligence (AI) software to automate the monitoring of the science payload and ground systems. The successful implementation of systemic automation would allow the ESOC to evolve from a seven day/week, three shift operation, to a seven day/week one shift operation. First, it was necessary to identify all areas considered mission critical. These were defined as follows: (1) The telemetry stream must be monitored autonomously and anomalies identified. (2) Duty personnel must be automatically paged and informed of the occurrence of an anomaly. (3) The 'basic' state of the ground system must be assessed. (4) Monitors should check that the systems and processes needed to continue in a 'healthy' operational mode are working at all times. (5) Network loads should be monitored to ensure that they stay within established limits. (6) Connectivity to Goddard Space Flight Center (GSFC) systems should be monitored as well, not just for connectivity of the network itself but also for the ability to transfer files. (7) All necessary peripheral devices should be monitored. This would include the disks, routers, tape drives, printers, tape carousel, and power supplies. (8) System daemons such as the archival daemon, the Sybase server, the payload monitoring software, and any other necessary processes should be monitored to ensure that they are operational. (9) The monitoring system needs to be redundant so that the failure of a single machine will not paralyze the monitors. (10) Notification should be done by means of looking though a table of the pager numbers for current 'on call' personnel. The software should be capable of dialing out to notify, sending email, and producing error logs. (11) The system should have knowledge of when real-time passes and tape recorder dumps will occur and should know that these passes and data transmissions are successful. Once the design criteria were established, the design team split into two groups: one that addressed the tracking, commanding, and health and safety of the science payload and another group that addressed the ground systems and communications aspects of the overall system.

Abedini, Annadiana↗
NASA NTRS1994

Vehicle following controller design for autonomous intelligent vehicles

A new vehicle following controller is proposed for autonomous intelligent vehicles. The proposed vehicle following controller not only provides smooth transient maneuvers for unavoidable nonzero initial conditions but also guarantees the asymptotic platoon stability without the availability of feedforward information. Furthermore, the achieved asymptotic platoon stability is shown to be robust to sensor delays and an upper bound for the allowable sensor delays is also provided in this paper.

Chien, C. C.↗
NASA NTRS2003

Global Precipitation Measurement (GPM) Orbit Design and Autonomous Maneuvers

The NASA Goddard Space Flight Center's Global Precipitation Measurement (GPM) mission must meet the challenge of measuring worldwide precipitation every three hours. The GPM core spacecraft, part of a constellation, will be required to maintain a circular orbit in a high drag environment at a near-critical inclination. Analysis shows that a mean orbit altitude of 407 km is necessary to prevent ground track repeating. Combined with goals to minimize maneuver operation impacts to science data collection and to enable reasonable long-term orbit predictions, the GPM project has decided to fly the GSFC autonomous maneuver system, AutoCon(TM). This system is a follow-up version of the highly successful New Millennium Program technology flown onboard the Earth Observing-1 formation flying mission. This paper presents the driving science requirements and goals of the GPM mission and shows how they will be met. Selection of the mean semi-major axis, eccentricity, and the AV budget for several ballistic properties are presented. The architecture of the autonomous maneuvering system to meet the goals and requirements is presented along with simulations using GPM parameters. Additionally, the use of the GPM autonomous system to mitigate possible collision avoidance and to aid other spacecraft systems during navigation outages is explored.

Folta, David↗
NASA NTRS2003

Global Precipitation Measurement (GPM) Orbit Design and Autonomous Maneuvers

The NASA Goddard Space Flight Center's Global Precipitation Measurement (GPM) mission will meet a challenge of measuring worldwide precipitation every three hours. The GPM spacecraft, part of a constellation, will be required to maintain a circular orbit in a high drag environment to accomplish this challenge. Analysis by the Flight Dynamics Analysis Branch has shown that the prime orbit altitude of 40% is necessary to prevent ground track repeating. Combined with goals to minimize maneuver impacts to science data collection and enabling reasonable long-term orbit predictions, the GPM project has decided to fly an autonomous maneuver system. This system is a derivative of the successful New Millennium Program technology flown onboard the Earth Observing-1 mission. This paper presents the driving science requirements and goals of the mission and shows how they will be met. Analysis of the orbit optimization and the AV requirements for several ballistic properties are presented. The architecture of the autonomous maneuvering system to meet the goals and requirements is presented along with simulations using a GPM prototype. Additionally, the use of the GPM autonomous system to mitigate possible collision avoidance and to aid other spacecraft systems during navigation outages is explored.

Folta, David↗
NASA NTRS2017

Coastal California's Fog as a Unique Habitable Niche: Design for Autonomous Sampling and Preliminary Aerobiological Characterization

Just as on the land or in the ocean, atmospheric regions may be more or less hospitable to life. The aerobiosphere, or collection of living things in Earth's atmosphere, is poorly understood due to the small number and ad hoc nature of samples studied. However, we know viable airborne microbes play important roles, such as providing cloud condensation nuclei. Knowing the distribution of such microorganisms and how their activity can alter water, carbon, and other geochemical cycles is key to developing criteria for planetary habitability, particularly for potential habitats with wet atmospheres but little stable surface water. Coastal California has regular, dense fog known to play a major transport role in the local ecosystem. In addition to the significant local (1 km) geographical variation in typical fog, previous studies have found that changes in height above surface of as little as a few meters can yield significant differences in typical concentrations, populations and residence times. No single current sampling platform (ground-based impactors, towers, balloons, aircraft) is capable of accessing all of these regions of interest.A novel passive fog and cloud water sampler, consisting of a lightweight passive impactor suspended from autonomous aerial vehicles (UAVs), is being developed to allow 4D point sampling within a single fog bank, allowing closer study of small-scale (100 m) system dynamics. Fog and cloud droplet water samples from low-altitude aircraft flights in nearby coastal waters were collected and assayed to estimate the required sample volumes, flight times, and sensitivity thresholds of the system under design.125 cloud water samples were collected from 16 flights of the Center for Interdisciplinary Remotely Piloted Aircraft Studies (CIRPAS) instrumented Twin Otter, equipped with a sampling tube collector, occurring between 18 July and 12 August 2016 below 1 km altitude off the central coast. The collector was flushed first with 70 ethanol, then with sterile DI water, between sampling regions. Collected volumes ranged from 100 L to 12 mL. All samples were diluted serially and plated on two different types of agar, nutrient-dense (PCA) and sparse (R-2A). Plates were incubated at room temperature and counted when colonies first appeared and again at 2 weeks.Preliminary results from seven flights are consistent with generally reported colony-forming unit (CFU) values for terrestrial fog water (e.g., [4]). The PCA assay ranged from 400 to 125,000 CFU/mL, R-2A from 700 to 130,000 CFU/mL. PCA and R-2A counts were not significantly different from each other at I^ plus or minus +/- 0.05, although observationally, the R2A plates had more pigmented colonies. CFU counts from the majority of flights were not different from each other in mean at the same level of significance, but about half differed in median, indicating differences in underlying distribution. These results validate the presence of viable microorganisms in coastal California fog at levels that should be easily detectable by our sampling system. The indicated distribution differences underscore the need for small-scale, long-term sampling surveys. Future planned work includes ion chromatography for limiting nutrients, ATP quantification, and qPCR for several microbial classes of interest.

Coastal↗
NASA NTRSDate not supplied

Preliminary Application of Formal Verification to An Autonomy Architecture for Unmanned Aircraft

There is a desire to design autonomous systems in such a way that capabilities can be easily added or re- combined to produce new behaviors while preserving their safety properties. ICAROUS, a prototype software architecture for building safety-centric autonomous unmanned aircraft applications, is designed to support this type of extensibility and re-configurability. In ICAROUS, core capabilities are implemented as individual soft- ware services, so that enabling access to new capabilities simply requires adding new services. To make use of these capabilities, ICAROUS includes a specialized service that provides a general framework for config- uring the relative priorities, conditions, and rules that govern how different modules should be engaged and disengaged during flight. The inherent complexity of coordinating multiple modules under changing conditions makes it difficult to determine whether a particular configuration could have erroneous behaviors in certain circumstances. A robust set of integration tests can help discover errors, but testing can only realistically cover a relatively small proportion of total system behaviors. Developing good tests and interpreting the results to pinpoint the cause of errors when they arise can also be very time-consuming. To supplement testing, formal methods can be used to model and analyze complex systems, achieving better coverage and simplifying the process of finding, understanding, and fixing errors. To demonstrate these benefits, this paper explores the ap- plication of formal methods to ICAROUS. In particular, the Spin model checker is used to specify requirements for and model portions of the system, then verify whether the model satisfies the requirements and find and fix errors when it does not.

Formal Methods↗
NASA NTRSDate not supplied

Preliminary Application of Formal Verification to An Autonomy Architecture for Unmanned Aircraft

There is a desire to design autonomous systems in such a way that capabilities can be easily added or re-combined to produce new behaviors while preserving their safety properties. ICAROUS, a prototype software architecture for building safety-centric autonomous unmanned aircraft applications, is designed to support this type of extensibility and re-configurability. In ICAROUS, core capabilities are implemented as individual soft- ware services, so that enabling access to new capabilities simply requires adding new services. To make use of these capabilities, ICAROUS includes a specialized service that provides a general framework for config- uring the relative priorities, conditions, and rules that govern how different modules should be engaged and disengaged during flight. The inherent complexity of coordinating multiple modules under changing conditions makes it difficult to determine whether a particular configuration could have erroneous behaviors in certain circumstances. A robust set of integration tests can help discover errors, but testing can only realistically cover a relatively small proportion of total system behaviors. Developing good tests and interpreting the results to pinpoint the cause of errors when they arise can also be very time-consuming. To supplement testing, formal methods can be used to model and analyze complex systems, achieving better coverage and simplifying the process of finding, understanding, and fixing errors. To demonstrate these benefits, this paper explores the ap- plication of formal methods to ICAROUS. In particular, the Spin model checker is used to specify requirements for and model portions of the system, then verify whether the model satisfies the requirements and find and fix errors when it does not.

Formal Methods↗
DOE OSTI2025

Effect of likelihood misspecification in Gaussian process-driven autonomous experimentation

In recent years, several groups have designed Autonomous Experiment (AE) models with the aim of using them as an alternative method for neutron scattering scanning. In an AE, Gaussian processes (GPs) are most frequently used due to their interpretability, their non-parametric nature, their universal approximation, and their closed-form predictive distribution. GPs have two key components, namely, the model for the likelihood of a neutron count knowing the underlying dynamic structure factor and the acquisition function. In this paper, we investigate the impact, on the quality of an AE, of the likelihood and acquisition function choices, in energy scans and (Q, ω) ones, with respect to the signal-over-noise ratio. While we hypothesized that the quality of GP predictions would decrease when the normal to Poisson likelihood approximation breaks down at low count rates, we found that the use of the correct Poisson likelihood does not improve the quality of the data collected, as well as yields very poor results in (Q, ω) scans at low count rates. In fact, the best results are obtained with a combination of normal likelihood, including the observation noise, and the change in variance acquisition function. In addition, we find that the performance, or quality of the predictive distribution, is a misleading measure of efficiency, that is, of the quality of the data collected.

Perryman, David Elliott [Inst. Laue-Langevin (ILL)↗
NASA NTRS2000

Emergent Aerospace Designs Using Negotiating Autonomous Agents

This paper presents a distributed design methodology where designs emerge as a result of the negotiations between different stake holders in the process, such as cost, performance, reliability, etc. The proposed methodology uses autonomous agents to represent design decision makers. Each agent influences specific design parameters in order to maximize their utility. Since the design parameters depend on the aggregate demand of all the agents in the system, design agents need to negotiate with others in the market economy in order to reach an acceptable utility value. This paper addresses several interesting research issues related to distributed design architectures. First, we present a flexible framework which facilitates decomposition of the design problem. Second, we present overview of a market mechanism for generating acceptable design configurations. Finally, we integrate learning mechanisms in the design process to reduce the computational overhead.

Deshmukh, Abhijit↗
NASA NTRS2000

Verification and Validation of Autonomy Software at NASA

Autonomous software holds the promise of new operation possibilities, easier design and development, and lower operating costs. However, as those system close control loops and arbitrate resources on-board with specialized reasoning, the range of possible situations becomes very large and uncontrollable from the outside, making conventional scenario-based testing very inefficient. Analytic verification and validation (V&V) techniques, and model checking in particular, can provide significant help for designing autonomous systems in a more efficient and reliable manner, by providing a better coverage and allowing early error detection. This article discusses the general issue of V&V of autonomy software, with an emphasis towards model-based autonomy, model-checking techniques, and concrete experiments at NASA.

Pecheur, Charles↗
NASA NTRS2000

Verification and Validation of Autonomy Software at NASA

Autonomous software holds the promise of new operation possibilities, easier design and development and lower operating costs. However, as those system close control loops and arbitrate resources on board with specialized reasoning, the range of possible situations becomes very large and uncontrollable from the outside, making conventional scenario-based testing very inefficient. Analytic verification and validation (V&V) techniques, and model checking in particular, can provide significant help for designing autonomous systems in a more efficient and reliable manner, by providing a better coverage and allowing early error detection. This article discusses the general issue of V&V of autonomy software, with an emphasis towards model-based autonomy, model-checking techniques and concrete experiments at NASA.

Pecheur, Charles↗