Search NASA⌕ Search

SEARCH · Search NASA

Results for “Autonomous synthesis”

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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

Relative Sensor with 4(pi) Coverage for Formation Flying Missions

The Terrestrial Planet Finder (TPF) pre-project, an element of NASA's Origins program, is currently developing two architectures for a mission to search for earth-like planets around nearby stars. One of the architectures being developed is the Formation Flying Interferometer (FFI). The FFI is envisioned to consist of up to seven spacecraft (as many as six 'collectors' with IR telescopes, and a 'combiner') flying in precise formation within f 1 cm of pre-determined trajectories for synchronized observations. The spacecraft-to-spacecraft separations are variable between 20 m and 100 m or more during observations to support various configurations of the interferometer in the planet-finding mode. The challenges involved with TPF autonomous operations, ranging from formation acquisition and formation maneuvering to high precision formation control during science observations, are unprecedented. In this paper we discuss the development of the formation acquisition sensor, which uses novel modulation and duplexing schemes to enable fast signal acquisition, multiple-spacecraft operation, and mitigation of inherent jamming conditions, while providing precise formation sensing and integrated radar capability. This approach performs delay synthesis and carrier cycle ambiguity resolution to improve range measurement, and uses differential carrier cycle ambiguity resolution to make precise bearing angle measurements without calibration maneuvers.

formation flying sensors↗
NASA NTRS2002

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.↗
NASA NTRS2003

Development of a Crosslink Channel Simulator for Simulation of Formation Flying Satellite Systems

Multi-vehicle missions are an integral part of NASA s and other space agencies current and future business. These multi-vehicle missions generally involve collectively utilizing the array of instrumentation dispersed throughout the system of space vehicles, and communicating via crosslinks to achieve mission goals such as formation flying, autonomous operation, and collective data gathering. NASA s Goddard Space Flight Center (GSFC) is developing the Formation Flying Test Bed (FFTB) to provide hardware-in- the-loop simulation of these crosslink-based systems. The goal of the FFTB is to reduce mission risk, assist in mission planning and analysis, and provide a technology development platform that allows algorithms to be developed for mission hctions such as precision formation flying, synchronization, and inter-vehicle data synthesis. The FFTB will provide a medium in which the various crosslink transponders being used in multi-vehicle missions can be plugged in for development and test. An integral part of the FFTB is the Crosslink Channel Simulator (CCS),which is placed into the communications channel between the crosslinks under test, and is used to simulate on-orbit effects to the communications channel due to relative vehicle motion or antenna misalignment. The CCS is based on the Starlight software programmable platform developed at General Dynamics Decision Systems which provides the CCS with the ability to be modified on the fly to adapt to new crosslink formats or mission parameters.

Hart, Roger↗
NASA NTRS1989

Autonomous frequency domain identification: Theory and experiment

The analysis, design, and on-orbit tuning of robust controllers require more information about the plant than simply a nominal estimate of the plant transfer function. Information is also required concerning the uncertainty in the nominal estimate, or more generally, the identification of a model set within which the true plant is known to lie. The identification methodology that was developed and experimentally demonstrated makes use of a simple but useful characterization of the model uncertainty based on the output error. This is a characterization of the additive uncertainty in the plant model, which has found considerable use in many robust control analysis and synthesis techniques. The identification process is initiated by a stochastic input u which is applied to the plant p giving rise to the output. Spectral estimation (h = P sub uy/P sub uu) is used as an estimate of p and the model order is estimated using the produce moment matrix (PMM) method. A parametric model unit direction vector p is then determined by curve fitting the spectral estimate to a rational transfer function. The additive uncertainty delta sub m = p - unit direction vector p is then estimated by the cross spectral estimate delta = P sub ue/P sub uu where e = y - unit direction vectory y is the output error, and unit direction vector y = unit direction vector pu is the computed output of the parametric model subjected to the actual input u. The experimental results demonstrate the curve fitting algorithm produces the reduced-order plant model which minimizes the additive uncertainty. The nominal transfer function estimate unit direction vector p and the estimate delta of the additive uncertainty delta sub m are subsequently available to be used for optimization of robust controller performance and stability.

Yam, Yeung↗
DOE OSTI2025

Intelligent experiments through real-time AI: Fast Data Processing and Autonomous Detector Control for sPHENIX and future EIC detectors

This R&D project, initiated by the DOE Nuclear Physics AI-Machine Learning initiative in 2022, leverages AI to address data processing challenges in high-energy nuclear experiments (RHIC, LHC, and future EIC). Our focus is on developing a demonstrator for real-time processing of high-rate data streams from sPHENIX experiment tracking detectors. The limitations of a 15 kHz maximum trigger rate imposed by the calorimeters can be negated by intelligent use of streaming technology in the tracking system. The approach efficiently identifies low momentum rare heavy flavor events in high-rate p+p collisions (3MHz), using Graph Neural Network (GNN) and High Level Synthesis for Machine Learning (hls4ml). Success at sPHENIX promises immediate benefits, minimizing resources and accelerating the heavy-flavor measurements. The approach is transferable to other fields. For the EIC, we develop a DIS-electron tagger using Artificial Intelligence - Machine Learning (AI-ML) algorithms for real-time identification, showcasing the transformative potential of AI and FPGA technologies in high-energy nuclear and particle experiments real-time data processing pipelines.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
NASA NTRS2019

Supporting Crew Autonomy in Deep Space Exploration: Preliminary Onboard Capability Requirements and Proposed Research Questions. Technical Report of the Autonomous Crew Operations Technical Interchange Meeting

Communication delays are a critical challenge posed by long duration deep space exploration. Space missions historically have relied on an ever-present Mission Control Center (MCC) to direct operations in near real-time. As unanticipated anomalies that defeat fault detection and resolution systems do arise, the lack of real-time communication will significantly weaken what the MCC support represents: a reliable safety net for the flight crew through its deep and diverse areas of expertise and investigative resources. As a consequence, future space vehicles and habitats need to be equipped with capabilities to support the flight crew to operate with little or no ground support. Considerations must be given to vehicle and mission designs that will fortify the traditionally ground-centered safety net and forge new support systems, when communication delays exist. In August 2018, NASA’s Human Research Program, through its Human Factors and Behavioral Performance Element, convened a Technical Interchange Meeting (TIM) on Autonomous Crew Operations at NASA Ames Research Center. The goal of the meeting was to gather input from NASA centers, industry, academia, and branches of the Department of Defense (DoD) to address how intelligent technologies can be applied to augment onboard capabilities to support crew anomaly response. The TIM featured 24 presentations by 29 speakers and hosted a total of 59 attendees, including 43 from 5 NASA centers (Ames, Johnson, Langley, Marshall, and Jet Propulsion Lab) and 4 from the DoD (3 from Army Research Lab and 1 from Naval Postgraduate School), with remaining attendees from academia (e.g., UC Davis, CMU) and industry (e.g., IBM, Siemens). Discussions were centered around three themes: standards and guidelines, lessons learned in analog environments, and technologies. To help provide a framework for discussion, a concept matrix describing anomaly response processes was created prior to the TIM (Figure 1, page 6). The matrix captures the steps involved (monitoring and detection, diagnosis, solution development and evaluation, solution implementation and verification, resolution documentation) as well as the resources and capabilities required to support these steps (data, knowledge, analysis, synthesis, resource management). A wallpaper size printout of the matrix was utilized at the TIM to solicit attendee inputs along the three themes; the activity garnered 108 submissions of ideas. Overall, what emerged from TIM discussions was a picture of mismatch between crew anomaly response needs and support that can be provided by existing intelligent technologies. The needs are broad, spanning multiple steps and processes/resources, with many of which lacking support from existing technologies, such as knowledge management throughout the steps of problem solving (especially in resolution documentation) and manpower management. The solutions provided by existing intelligent technologies are specific to the steps/processes that they are designed to support and constrained to solving only problems similar to those that have occurred before. What is lacking from technologies is typically made up by humans, specifically their complex critical thinking, creative problem solving, and domain expertise. In the end, the TIM highlighted the pressing need to support responses to onboard anomalies during autonomous crew operations, particularly those that have eluded the system tests, inspection, and other assurance processes. Such anomalies can potentially threaten crew and vehicle safety, as well as significantly impact overall operations with additional workload. These fairly rare events are difficult to anticipate and prepare for, given the state-of-the-art in intelligent technologies. This is true even for anomalies that stem from “unknown knowns”—cases in which there is sufficient external information to characterize the problem but the overall pattern fails to be recognized by the problem solver, or in which the internal knowledge needed to solve a problem is held tacitly and potentially accessible by the problem solver but not articulated. It follows that the ability to tackle anomalies lies not only with the availability of relevant information and knowledge but also their accessibility in times of need. To that end, we propose research questions along the following three broad themes: • How intelligent technologies can help make relevant knowledge and information available? • How intelligent technologies can help make relevant knowledge and information accessible? • How intelligent technologies can help support the crew operating as a team in anomaly response processes?

autonomous crew operations↗
NASA NTRS2003

NBC detection in air and water

Participating in a Navy STTR project to develop a system capable of the 'real-time' detection and quanitification of nuclear, biological and chemical (NBC) warfare agents, and of related industrial chemicals including NBC agent synthesis by-products in water and in air immediately above the water's surface. This project uses JPL's Soft Ionization Membrane (SIM) technology which totally ionizes molecules without fragmentation (a process that can markedly improve the sensitivity and specificity of molecule compostition identification), and JPL's Rotating Field Mass Spectrometer (RFMS) technology which has large enough dynamic mass range to enable detection of nuclear materials as well as biological and chemical agents. This Navy project integrates these JPL Environmental Monitoring UnitS (REMUS) an autonomous underwater vehicle (AUV). It is anticipated that the REMUS AUV will be capable of 'real-time' detection and quantification of NBC warefare agents.

molecules↗
DOE OSTI2026

Leveraging large language models to address data scarcity in machine learning for graphene synthesis

Machine learning in experimental materials science faces significant challenges due to the scarcity of data, which are costly and time-consuming to generate, particularly when relying on in-house experiments. Literature data mining offers a potential solution but introduces issues like mixed data quality, inconsistent formats, and non-uniform reporting of synthesis parameters, resulting in partially missing and heterogeneous features across the dataset. Here, we propose data imputation and feature engineering methods that employ pre-trained large language models (LLMs) to enhance machine learning performance on scarce, heterogeneous datasets, demonstrated on graphene CVD synthesis data and the ML-HydPARK hydrogen storage dataset. GPT models perform data imputation via tailored prompting and semantic normalization of inconsistently reported features through embeddings, for example, to harmonize the complex nomenclature of CVD substrates. Beyond yielding more diverse and richer feature representations than traditional methods such as K-nearest neighbors (KNN) and Multivariate Imputation by Chained Equations (MICE), LLM-based data imputation is evaluated against dataset characteristics and prompting strategies. We vary the level of autonomy granted to the LLM, from generic prompting that leverages pre-trained knowledge for autonomous data generation to data-informed prompting that constrains outputs using target-specific information, and demonstrate which level of autonomy yields superior imputation performance across datasets and feature types. The proposed data engineering methods markedly improve downstream performance; for example, in graphene layer number classification using a support vector machine (SVM), binary accuracy increases from 39% to 65% and ternary accuracy from 52% to 72%. Fine-tuning experiments on both datasets show that combining our proposed LLM-based data imputation and feature encoding methods with numerical machine learning predictors outperforms standalone fine-tuned LLM predictors in data-scarce settings. The proposed strategies emphasize data enhancement techniques rather than refining learning architectures or regularizing loss functions, offering a broadly applicable framework for improving machine learning performance on scarce, inhomogeneous datasets.

Chemical vapor deposition↗
NASA NTRS2008

Robust Path Planning and Feedback Design Under Stochastic Uncertainty

Autonomous vehicles require optimal path planning algorithms to achieve mission goals while avoiding obstacles and being robust to uncertainties. The uncertainties arise from exogenous disturbances, modeling errors, and sensor noise, which can be characterized via stochastic models. Previous work defined a notion of robustness in a stochastic setting by using the concept of chance constraints. This requires that mission constraint violation can occur with a probability less than a prescribed value.In this paper we describe a novel method for optimal chance constrained path planning with feedback design. The approach optimizes both the reference trajectory to be followed and the feedback controller used to reject uncertainty. Our method extends recent results in constrained control synthesis based on convex optimization to solve control problems with nonconvex constraints. This extension is essential for path planning problems, which inherently have nonconvex obstacle avoidance constraints. Unlike previous approaches to chance constrained path planning, the new approach optimizes the feedback gain as wellas the reference trajectory.The key idea is to couple a fast, nonconvex solver that does not take into account uncertainty, with existing robust approaches that apply only to convex feasible regions. By alternating between robust and nonrobust solutions, the new algorithm guarantees convergence to a global optimum. We apply the new method to an unmanned aircraft and show simulation results that demonstrate the efficacy of the approach.

autonomuys vehicles↗
DOE OSTI2024

Targeted materials discovery using Bayesian algorithm execution

Rapid discovery and synthesis of future materials requires intelligent data acquisition strategies to navigate large design spaces. A popular strategy is Bayesian optimization, which aims to find candidates that maximize material properties; however, materials design often requires finding specific subsets of the design space which meet more complex or specialized goals. We present a framework that captures experimental goals through straightforward user-defined filtering algorithms. These algorithms are automatically translated into one of three intelligent, parameter-free, sequential data collection strategies (SwitchBAX, InfoBAX, and MeanBAX), bypassing the time-consuming and difficult process of task-specific acquisition function design. Our framework is tailored for typical discrete search spaces involving multiple measured physical properties and short time-horizon decision making. We demonstrate this approach on datasets for TiO 2 nanoparticle synthesis and magnetic materials characterization, and show that our methods are significantly more efficient than state-of-the-art approaches. Overall, our framework provides a practical solution for navigating the complexities of materials design, and helps lay groundwork for the accelerated development of advanced materials.

42 ENGINEERING↗
NASA NTRS1986

System identification for modeling for control of flexible structures

The major components of a design and operational flight strategy for flexible structure control systems are presented. In this strategy an initial distributed parameter control design is developed and implemented from available ground test data and on-orbit identification using sophisticated modeling and synthesis techniques. The reliability of this high performance controller is directly linked to the accuracy of the parameters on which the design is based. Because uncertainties inevitably grow without system monitoring, maintaining the control system requires an active on-line system identification function to supply parameter updates and covariance information. Control laws can then be modified to improve performance when the error envelopes are decreased. In terms of system safety and stability the covariance information is of equal importance as the parameter values themselves. If the on-line system ID function detects an increase in parameter error covariances, then corresponding adjustments must be made in the control laws to increase robustness. If the error covariances exceed some threshold, an autonomous calibration sequence could be initiated to restore the error enveloped to an acceptable level.

Mettler, Edward↗
DOE OSTI2025

Elucidating the factors controlling the methanol synthesis from CO 2 on ZnPd-ZnO/TiO 2 catalysts prepared by direct/inverse impregnation

The direct hydrogenation of CO 2 to methanol over supported ZnPd intermetallic catalysts remains a challenge due to the complex nature of the active sites, which are highly dependent on both the dispersion of ZnPd intermetallics and their proximity to ZnO. This study investigates the effect of the Pd and Zn incorporation order on methanol synthesis over TiO 2 -supported ZnPd catalysts. Catalysts were prepared via direct (Pd/Zn), inverse (Zn/Pd), and co-impregnation (Pd+Zn) methods using anatase TiO 2 as the support. Comprehensive characterization by XRD, HRTEM, CO-DRIFTS and XPS revealed that the formation of small and crystalline intermetallic β-ZnPd particles and their interaction with ZnO/ZnO x depends on the sequence of Pd and Zn incorporation. It was found that, under the reaction conditions, the ZnO x species plays a critical role in facilitating the formation of the intermetallic ZnPd through the interactions between Pd and ZnO x . In addition, ZnO x species have also been shown to modulate key catalytic properties, such as CO 2 activation and methanol selectivity. Specifically, the ZnPd/Pd surface ratio, determined by Pd dispersion and proximity to ZnO/ZnO x , was shown to determine the methanol production from CO 2 directly or via a CO intermediate. The Pd/Zn catalyst showed superior selectivity due to the in-situ formation of intermetallic species facilitated by Pd-ZnO x interactions.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2026

Automated scanning probe microscopy of combinatorial ferroelectric libraries: Gaussian-process-guided exploration and noise-aware experiment planning

Combinatorial materials libraries provide an efficient route for mapping composition–property relationships, but their broader impact depends on rapid, quantitative, and functionally relevant characterization. Scanning Probe Microscopy (SPM), including piezoresponse force microscopy (PFM), offers significant potential for quantitative, functionally relevant combi-library readouts. Here, we implement a fully automated SPM workflow for ferroelectric combinatorial libraries and benchmark Gaussian-process-based Bayesian optimization strategies for autonomous experiment planning. The workflow integrates automated probe motion, contact optimization, imaging, and dual amplitude resonance tracking-PFM spectroscopy, and uses scalarized spectroscopic observables to guide subsequent measurements. Stage motion, probe engagement, in-contact tuning, imaging, spectroscopy, and the choice of the next measurement location all proceed without human input. We demonstrate the approach on Sm-doped BiFeO 3 and Zn x Mg 1−x O libraries. By comparing vanilla Bayesian optimization with a measured-noise variant, we show that explicit treatment of local reproducibility can improve modeling of composition-dependent response when the measured variance is physically meaningful, but can also reduce robustness when variability is dominated by outliers or topographic artifacts. Furthermore, these results establish automated SPM as a bridge between combinatorial synthesis and quantitative functional characterization.

Liu, Yu [University of Tennessee, Knoxville, TN (U↗
NASA NTRS2006

Verification of Autonomous Systems for Space Applications

Autonomous software, especially if it is based on model, can play an important role in future space applications. For example, it can help streamline ground operations, or, assist in autonomous rendezvous and docking operations, or even, help recover from problems (e.g., planners can be used to explore the space of recovery actions for a power subsystem and implement a solution without (or with minimal) human intervention). In general, the exploration capabilities of model-based systems give them great flexibility. Unfortunately, it also makes them unpredictable to our human eyes, both in terms of their execution and their verification. The traditional verification techniques are inadequate for these systems since they are mostly based on testing, which implies a very limited exploration of their behavioral space. In our work, we explore how advanced V&V techniques, such as static analysis, model checking, and compositional verification, can be used to gain trust in model-based systems. We also describe how synthesis can be used in the context of system reconfiguration and in the context of verification.

Brat, G.↗
NASA NTRS1991

Autonomous Guidance, Navigation and Control

The NASA Autonomous Guidance, Navigation and Control (GN&C) Bridging program is reviewed to demonstrate the program plan and GN&C systems for the Space Shuttle. The ascent CN&C system is described in terms of elements such as the general-purpose digital computers, sensors for the navigation subsystem, the guidance-system software, and the flight-control subsystem. Balloon-based and lidar wind soundings are used for operations assessment on the day of launch, and the guidance software is based on dedicated units for atmospheric powered flight, vacuum powered flight, and abort-specific situations. Optimization of the flight trajectories is discussed, and flight-control responses are illustrated for wavelengths of 500-6000 m. Alternate sensors are used for load relief, and adaptive GN&C systems based on alternate gain synthesis are used for systems failures.

Bordano, A. J.↗
NASA NTRS2026

Extrusion-based Additive Manufacturing of Regolith-Filled Shape Memory Vitrimer Composite for Lunar Construction

The National Aeronautics and Space Administration (NASA) is visiting the moon again. This time, the objective is to explore establishing a permanent lunar base. To achieve both longterm human habitation on the moon and future deep space travel, it is crucial to make the most of the in-situ resources and build autonomous systems on the moon to support the construction of a lunar habitat. NASA’s In-situ Resource Utilization (ISRU) program aims to minimize the need to ship heavy prefabricated structures, reducing cost and enhancing sustainability. Here, we developed an economical extrusion method for printing lunar regolith-based composites using shape memory vitrimer as a binder. A rheological study is conducted to determine the extrudability of the composite with different regolith weight percentages. Several characterizations were conducted on the composites. The as-printed composites exhibited compressive and flexural strengths of 73.32 MPa and 156.59 MPa, respectively, and good impact tolerance. The composite maintained 57.92% of its mechanical properties even after the second crack healing cycle. The composites also exhibit shape fixity ratio of 90.02% and shape recovery ratio of 83.46%. The simple synthesis method, sustainability, and good thermomechanical properties make the 3D printed composite an ideal material for lunar construction applications.

Kingsley Yeboah Gyabaah↗
NASA NTRS2021

An Operational Overview of the EXport Processes in the Ocean from RemoTe Sensing (EXPORTS) Northeast Pacific Field Deployment

The goal of the EXport Processes in the Ocean from RemoTe Sensing (EXPORTS) field campaign is to develop a predictive understanding of the export, fate, and carbon cycle impacts of global ocean net primary production. To accomplish this goal, observations of export flux pathways, plankton community composition, food web processes, and optical, physical, and biogeochemical (BGC) properties are needed over a range of ecosystem states. Here we introduce the first EXPORTS field deployment to Ocean Station Papa in the Northeast Pacific Ocean during summer of 2018, providing context for other papers in this special collection. The experiment was conducted with two ships: a Process Ship, focused on ecological rates, BGC fluxes, temporal changes in food web, and BGC and optical properties, that followed an instrumented Lagrangian float; and a Survey Ship that sampled BGC and optical properties in spatial patterns around the Process Ship. An array of autonomous underwater assets provided measurements over a range of spatial and temporal scales, and partnering programs and remote sensing observations provided additional observational context. The oceanographic setting was typical of late-summer conditions at Ocean Station Papa: a shallow mixed layer, strong vertical and weak horizontal gradients in hydrographic properties, sluggish sub-inertial currents, elevated macronutrient concentrations and low phytoplankton abundances. Although nutrient concentrations were consistent with previous observations, mixed layer chlorophyll was lower than typically observed, resulting in a deeper euphotic zone. Analyses of surface layer temperature and salinity found three distinct surface water types, allowing for diagnosis of whether observed changes were spatial or temporal.The 2018 EXPORTS field deployment is among the most comprehensive biological pump studies ever conducted. A second deployment to the North Atlantic Ocean occurred in spring 2021, which will be followed by focused work on data synthesis and modeling using the entire EXPORTS data set.

Biological pump↗
NASA NTRSDate not supplied

Minimum-Violation Traffic Management for Urban Air Mobility

Urban air mobility (UAM) refers to air transportation services in and over an urban area and has the potential to revolutionize mobility solutions. However, due to the projected scale of operations, current air traffic management (ATM) techniques are not viable. Increasingly autonomous systems are a pathway to accelerate the realization of UAM operations but must be fielded safely and efficiently. The heavily regulated, safety critical nature of aviation may lead to multiple, competing safety constraints that can be traded off based on the operational context. In this paper, we design a framework which allows for the scalable planning of a UAM ATM system. We formalize safety oriented constraints derived from FAA regulations by encoding them as temporal logic formulae. We then propose a method for UAM ATM that is both scalable and minimally violates the temporal logic constraints. Numerical results show that the runtime for our proposed algorithm is suitable for very large problems and is backed by theoretical guarantees of correctness with respect to given temporal logic constraints.

Urban Air Mobility↗