Results for “applications development system design” — Page 37

DOE OSTI2024

MFANS 2024 - Formally Proving Characteristics of Cyber-Physical Systems

Cyber-physical systems (CPS) are engineered systems that rely on the smooth integration of computational algorithms and physical elements. This integration presents new challenges for verifying that systems will behave as expected. The goal of this presentation is to present current challenges and potential solutions for the formal verification of cyber-physical systems. For cyber systems, formal methods refer to systematically rigorous mathematical techniques employed in the specification, development, analysis, and verification of both software and hardware systems. Recent advancements in computer science have yielded sophisticated tools specifically designed to address challenges associated with formal methods in complex systems. These tools leverage various foundational concepts such as logic, formal languages, program semantics, type systems, type theory, and automata theory. A notable achievement in the application of formal methods is the seL4 microkernel, claimed to be the first general-purpose operating-system kernel to be verified. Its proof implies the absence of bugs and guarantees that the kernel meets specifications. For physical systems, dynamic and control theory has a history of using rigorous analytic techniques to prove functional correctness. Lyapunov, optimal, classical, modern, and robust control theories all provide rigorous mathematical methods both to analyze system performance and to design controller that can be guaranteed to meet certain objectives. Recent computational techniques like level set theory and reachability analysis provide assertions that a system's state will avoid unsafe regions. Even though success has been independently achieved for cyber systems and physical systems, the integration of such systems creates new challenges. In particular, there is an obvious discrepancy between finite-state machines and infinite-state systems, resulting in different approaches for modeling and analyzing these system. While it is possible to simulate hybrid systems, this provides only a demonstration of a performance and not proof. For hybrid systems, current formal methods and system analysis approaches typically require a workarounds to work on hybrid systems like CPS. This paper will outline the state of the art and limits of current practice for formally verifying CPS and will identify possible research directions that require attention.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2024

GLIMPSE of Future Power Grid Models

Power grid is one of the critical national infrastructures with social, economics, and national security impacts. Particularly, power distribution systems represent part of the infrastructure between power distribution substations and customers such as residential, commercial, and industrial. To address various grid modernization challenges, state-of-the-art algorithms and methodologies have been developed to deploy, operate, and expand a secure and resilient power grid. At the same time, there is a need to develop capabilities to assist power grid stakeholders to quickly get insight into the design and structure of the grid. Data visualization is a key approach to comprehend and understand complex systems such as the power grid. We present GLIMPSE Grid Layout Interface for Model Preview and System Exploration), a graph-based semantic-aware application to visualize and update distribution power grid models. The GLIMPSE can be used with standard IEEE models to search and highlight power grid objects such as generators, loads, overhead lines, etc. Additionally, it supports updating attributes and model export to integrate with GridLAB-D simulations.

Cybersecurity, power grid, visualization↗

DOE OSTI2025

BESS Digital Assurance, Supply Chain Risk Management, and Emerging Regulation Session One - Abridged

The TADA BESS Supply Chain Workshops are designed to equip participants with the knowledge and tools necessary to address the evolving challenges at the intersection of battery energy storage systems (BESS), cybersecurity, and supply chain vulnerabilities. The workshops emphasize the application of Cyber-Informed Engineering (CIE) principles using INL’s procurement guide and the CIE-BAT tool. Attendees will develop risk-based security strategies and actionable compliance roadmaps tailored to their BESS projects. Additionally, the program fosters a collaborative network of practitioners and provides guidance on navigating emerging regulatory requirements, including FEOC rules under the OBBB framework, to assess and enhance organizational readiness. This is Session 1 of 3.

25 - ENERGY STORAGE↗

DOE OSTI2025

BESS Digital Assurance, Supply Chain Risk Management, and Emerging Regulation Session Two

The TADA BESS Supply Chain Workshops are designed to equip participants with the knowledge and tools necessary to address the evolving challenges at the intersection of battery energy storage systems (BESS), cybersecurity, and supply chain vulnerabilities. The workshops emphasize the application of Cyber-Informed Engineering (CIE) principles using INL’s procurement guide and the CIE-BAT tool. Attendees will develop risk-based security strategies and actionable compliance roadmaps tailored to their BESS projects. Additionally, the program fosters a collaborative network of practitioners and provides guidance on navigating emerging regulatory requirements, including FEOC rules under the OBBB framework, to assess and enhance organizational readiness. A comprehensive exploration of BESS cybersecurity supply chain risks, systematic vendor risk assessment through the BESS Procurement Guide, and practical application of the INL SCRM Chatbot for enhanced supply chain resilience. This is Session 2 of 3. (Full Version)

25 - ENERGY STORAGE↗

DOE OSTI2025

BESS Digital Assurance, Supply Chain Risk Management, and Emerging Regulation Session One

The TADA BESS Supply Chain Workshops are designed to equip participants with the knowledge and tools necessary to address the evolving challenges at the intersection of battery energy storage systems (BESS), cybersecurity, and supply chain vulnerabilities. The workshops emphasize the application of Cyber-Informed Engineering (CIE) principles using INL’s procurement guide and the CIE-BAT tool. Attendees will develop risk-based security strategies and actionable compliance roadmaps tailored to their BESS projects. Additionally, the program fosters a collaborative network of practitioners and provides guidance on navigating emerging regulatory requirements, including FEOC rules under the OBBB framework, to assess and enhance organizational readiness. This is Session 1 of 3. (Full Version)

25 - ENERGY STORAGE↗

DOE OSTI2024

Paper #50 Preliminary Sizing of Active Magnetic Bearings for sCO2 Waste-Heat Recovery Application

The team of Southwest Research Institute (SwRI) and GE Vernova (GE) is executing a project developing conceptual designs of high-temperature active magnetic bearings (AMBs) for sCO2 machinery applications. The goals of the project are to develop conceptual designs for radial and thrust AMBs capable of operating in sCO2 environments up to 1000°F. A waste-heat recovery (WHR) application with hermetic machinery is used as a reference case to apply AMBs. This application was previously investigated to compare hermetic machinery enabled by process-lubricated bearings and high-speed motors/generators with traditional machinery configurations using oil-lubricated bearings, gearboxes, and grid-frequency electric machines. In this paper, AMBs are sized for the WHR application machinery. Load capacity estimates are made using first-principle-derived formulas that consider operation at elevated temperatures. Estimates of linearized AMB system coefficients are also made to aid future controller development. Rotor models are developed that account for AMB rotor geometry and housing space requirements. Rotordynamics studies are performed to identify reasonable target values for closed-loop AMB stiffness and closed-loop AMB damping. These target values will be used in future control studies.

Lipham, Robert↗

DOE OSTI2023

Flexible Gasification of Coal and Biomass to Generate Carbon Free Electric Power and Hydrogen

This paper describes the development of a coal and biomass-fed plant concept to co-produce electric power and hydrogen with net-negative CO2 emissions under the aegis of the 21st Century Power Plant initiative of the U.S. Department of Energy (DOE), whose goal is to advance innovative power plant concepts that are capable of flexible, net-zero carbon emission operations while producing cost-effective “blue” hydrogen to support economy-wide decarbonization goals. The proposed standalone plant will be in Nebraska, USA. The specified design feedstock is a hybrid blend of Powder River Basin (PRB) subbituminous coal from Wyoming and local Nebraska biomass (corn stover), 50 wt.% each (dry basis). Other potential feedstocks, including woody biomass (eastern red cedar) and waste plastic (auto shredder residue) were evaluated or reviewed as alternates. The proposed process block comprises a high-pressure, oxygen-blown fluidized bed gasifier (GTI Energy U-GAS® process) coupled with water gas shift, the Selexol process for acid gas (H2S and CO2) removal, and pressure-swing adsorption (PSA) to yield 8,500 kg/h of high-purity hydrogen. The off gas from the PSA unit is used in the power block (gas turbine combined cycle) to generate electric power to support the gasification process, hydrogen production, and 50 MWe net electric power to the grid. All major plant equipment including the gasifier, gas cleanup system, and power generation are commercially available and proven in other applications and considered at TRL 8-9. However, gasification of corn stover biomass is considered at TRL 6. Overall thermal efficiency of the plant is 50% (net HHV) with net atmospheric CO2 removal at a rate of 250-300,000 tpa. Design activities necessary to provide input to a FEED study (Phase II of the project), including the development of the Environmental Information Volume (EIV) for the host site, and an investment case, based on a pro-forma pre-FEED level cost estimate, have been completed and are described in detail in this paper.

Gülen, S. Can↗

DOE OSTI2023

Development, Characterization, and Testing of Solid-State Electrolytes for Batteries

Traditional liquid electrolytes used in lithium (Li) metal batteries (LMBs) have severe safety issues, poor power density, as well as thermal and electrochemical instability that prevents their scaling to newer applications, such as electric vehicles. Using sulfide-based solid-state electrolytes (SSEs) is a viable method to address many of the issues that plague LMBs. However, the key issue preventing the expansion of sulfide-based SSEs is an interplay between poor interfacial stability with the electrodes and massive external stack pressure required to maintain electrode-electrolyte contact. The need for extensive pressure requires large system-level (i.e., battery pack used in an electric vehicle) housing that causes a disconnect between performance at a smaller scale and actual application. Secondary prevention to sulfide-based SSE adoption are difficulties in manufacturing, as toxic deterioration occurs when these materials are exposed to humidity, as well as drastic reduction in SSE performance at low temperature. This work hypothesizes that unique interfacial designs of electrodes and the modification of the sulfide-based SSE will enable reduction of necessary external cell pressure, and therefore support the design of practical LMBs. This will be done through collaboration within Idaho National Laboratory (INL), where manufacturing practices will be parameterized to produce low defect, low porosity SSEs with slight modifications. Next, artificial interfaces will be produced on electrodes to observe the conformality and mass transport properties between the modified SSE and pre-treated anode. External pressure on Li-metal cells will also be parameterized to reduce interfacial impedance while a reduction in the pressure will allot reasonable housing design for larger scale applications. Focus on novelty in this work occurs by modifications to the solid-solid interfaces between electrolyte and electrode, done through doping of the electrolyte and production of artificial interfaces on the Li-metal anode. The modifications at these interfaces, in addition to modified external pressure could identify and address the poor interfacial impedance that hinders high performance SSEs. Fundamental understanding on how to reduce the key hindrances of all-solid-state batteries (ASSBs) will support the advancement for larger scale production and performance, of which will be held in perspective for future works. Beyond battery development, the knowledge gained from process control and defect analysis is applicable to other ceramic systems, such as nuclear fuel coatings and high temperature electrolyzers.

25 ENERGY STORAGE↗

DOE OSTI2023

Development, Characterization, and Testing of Solid-State Electrolytes for Batteries

Traditional liquid electrolytes used in lithium (Li) metal batteries (LMBs) have severe safety issues, poor power density, as well as thermal and electrochemical instability that prevents their scaling to newer applications, such as electric vehicles. Using sulfide-based solid-state electrolytes (SSEs) is a viable method to address many of the issues that plague LMBs. However, the key issue preventing the expansion of sulfide-based SSEs is an interplay between poor interfacial stability with the electrodes and massive external stack pressure required to maintain electrode-electrolyte contact. The need for extensive pressure requires large system-level (i.e., battery pack used in an electric vehicle) housing that causes a disconnect between performance at a smaller scale and actual application. Secondary prevention to sulfide-based SSE adoption are difficulties in manufacturing, as toxic deterioration occurs when these materials are exposed to humidity, as well as drastic reduction in SSE performance at low temperature. This work hypothesizes that unique interfacial designs of electrodes and the modification of the sulfide-based SSE will enable reduction of necessary external cell pressure, and therefore support the design of practical LMBs. This will be done through collaboration within Idaho National Laboratory (INL), where manufacturing practices will be parameterized to produce low defect, low porosity SSEs with slight modifications. Next, artificial interfaces will be produced on electrodes to observe the conformality and mass transport properties between the modified SSE and pre-treated anode. External pressure on Li-metal cells will also be parameterized to reduce interfacial impedance while a reduction in the pressure will allot reasonable housing design for larger scale applications. Focus on novelty in this work occurs by modifications to the solid-solid interfaces between electrolyte and electrode, done through doping of the electrolyte and production of artificial interfaces on the Li-metal anode. The modifications at these interfaces, in addition to modified external pressure could identify and address the poor interfacial impedance that hinders high performance SSEs. Fundamental understanding on how to reduce the key hindrances of all-solid-state batteries (ASSBs) will support the advancement for larger scale production and performance, of which will be held in perspective for future works. Beyond battery development, the knowledge gained from process control and defect analysis is applicable to other ceramic systems, such as nuclear fuel coatings and high temperature electrolyzers.

25 ENERGY STORAGE↗

DOE OSTI2021

Technoeconomic Design of a Geothermal-Enabled Cold Climate Zero Energy Community

Development of a zero energy community is more costly in northern cold climates than in moderate regions. Building energy loads are higher, thanks to the colder weather, and site solar photovoltaics (PV) are less productive due to lower solar incidence and misalignment with the buildings’ energy needs (summer production, winter demands). Geothermal energy production can support a zero energy community through application of energy efficiency (demand design), geothermal production (supply design), and asset dispatch as an integrated techno-economic package. This article presents the process used to explore geothermal system integration, our findings, and technical challenges for community-scale adoption of geothermal as an electric and thermal resource. We show that under a wide range of conditions, community-scale geothermal electric power and direct-use thermal energy is economically competitive with “business-as-usual” design and construction practices for zero energy communities. Furthermore, geothermal-produced energy will be self-consumed to a much greater extent than PV, resulting in significant reductions in site energy import and export. We conclude that under appropriate conditions, community-scale geothermal can be the most economically favorable energy resource for northern-climate zero energy community developments. Ongoing geothermal research and development to improve performance and reduce costs will further enhance the value proposition for community-scale geothermal technologies. We expect that including geothermal power and thermal energy in zero energy community design can improve its cost-effectiveness and therefore enhance the benefits of zero energy in more northern climates.

15 GEOTHERMAL ENERGY↗

DOE OSTI2022

A Comprehensive Approach towards Multi-Objective EMI Filter Design Optimization in High-Frequency SiC-Based Motor Drives

With rapid penetration of high-frequency, highdensity power electronics into the industry, controlling the system generated EMI becomes one of the major design challenges. Designing practical optimized EMI filters require simultaneous consideration of multiple aspects - including electromagnetic couplings, magnetic materials, practical component parasitics and their impacts at high-frequencies, and also the overall manufacturing costs. The multi-dimensional nature of the problem often results in overcompensated designs that hurt the system efficiency and power density. This paper focuses on a comprehensive design platform (developed in MATLAB) towards designing high-density, optimized, highly efficient EMI filters by analyzing the generated noise spectrum and evaluating a vast array of potential solutions before outputting an optimized filter solution. The proposed tool includes database-based component selection, optimal topology selection, multistage filter design, overall optimization for volume, mass, cost and total loss. The proposed filter has been thoroughly evaluated in a PSIM simulation environment emulating the hardware in CRD300DA12EXM3, a 300kW three-phase inverter from Wolfspeed with an RL load representing a motor drive application. Furthermore, a 20kHz switching frequency is chosen and impacts of the motor high-frequency characteristics on the generated EMI noise spectrum of the overall system have been analyzed.

42 ENGINEERING↗

DOE OSTI2025

Designing reinforcement learning algorithms for building HVAC control: From experimental observation to simulation comparisons

Advanced supervisory-level control with reinforcement learning (RL) is regarded as a promising solution for HVAC systems to minimize energy consumption while maintaining thermal comfort and indoor air quality. However, most RL applications were conducted in the simulation environment rather than real-world HVAC systems. This paper developed a value-based RL controller termed Deep Q-Network (DQN) for a typical central HVAC system and evaluated its performance in a building test facility. By comparing DQN with a rule-based controller, the study not only demonstrated the cases where DQN could properly maintain indoor comfort but also discussed possible reasons why DQN failed in some other situations. Recognizing the limitations of value-based RL algorithms from the experimental tests, a simulation study was conducted to compare DQN with an alternative RL approach, an actor–critic algorithm termed Deep Deterministic Policy Gradient (DDPG). In scenarios with a relatively large action space, DDPG outperformed DQN by requiring fewer computational resources and achieving better thermal comfort, lower energy consumption, and more stable control actions. The findings suggest that the ability of DDPG to handle continuous control variables more effectively allows for faster convergence in training and more precise control in practice, which enhances the overall efficiency and reliability of the HVAC system.

Guo, Fangzhou↗

DOE OSTI2026

Surface Segregation of Liquid Metal Plasma-Facing Component Alloys: A ReaxFF Investigation

Engineering liquid metal alloys offers a transformative pathway for plasma-facing components by enabling chemically tailored surfaces that can simultaneously optimize plasma-material interactions, reduce divertor heat flux, and enhance core plasma confinement, thereby advancing the commercial viability of nuclear fusion power plants. This study, employing an atomistic simulation approach, provides direct evidence that incorporating nonmetal surface-active agents (such as O and H, or their combination) enables strong surface segregation. This capability makes tin−aluminum (Sn−Al) and tin−lithium (Sn−Li) alloys, with suitable compositions, good candidates for PFC applications. Specifically, the presence of low-Z solutes (Li, Al) leads to preferential surface enrichment, which imparts low-Z sputtering characteristics, while the Sn solvent maintains thermophysical stability. To systematically examine this behavior, we developed a ReaxFF force field spanning the full Sn/Al/Li/O/H chemistry, validated it against formation energies and elastic constants, and applied it in reactive molecular dynamics simulations at fusion-relevant temperatures. We also introduced an overlapbased segregation index that captures interfacial compositional separation directly from atomistic density distributions. Here, this metric reveals a clear hierarchy of segregation regimes and provides a unified view across all systems studied. Together, these findings establish a mechanistic link between nonmetal chemistry and interfacial structure, providing a predictive framework for designing self-adaptive, low-sputtering liquid metal alloys for fusion applications.

Alloys↗

DOE OSTI2026

Methods development towards automated, physics-informed, quantitative quality control of TRISO-SiC

Tristructural-isotropic (TRISO) fuel particles have been developed as a high-performance fuel for use in high-temperature gas-cooled reactor (HTGR) systems due to their high efficiency and stability under both normal and off-normal conditions. Broader deployment of this technology in advanced nuclear applications may benefit from quantitative quality assurance and quality control (QA/QC) methods that directly link TRISO properties to downstream performance. A key TRISO property is the SiC layer microstructure, which influences fission product retention during irradiation. However, existing QA/QC for the TRISO-SiC microstructure comprises only a qualitative visual inspection; therefore, there is a clear opportunity for the development of quantitative methods for TRISO QA/QC. Here, to this end, previous work has demonstrated an image processing approach to grain boundary (GB) identification and subsequent extraction of microstructural metrics; however, extensive twinning within the SiC layer complicates such analyses because twin GBs significantly influence microstructural metrics but are not expected to contribute to fission product transport. This study presents the initial development, training, and testing of an ML-based image segmentation algorithm designed to identify and remove twin GBs from standard backscattered electron micrographs, providing an industrially applicable, quantitative, and physically meaningful QA/QC approach for the TRISO-SiC microstructure. Although pixel-wise performance metrics for the twin predictions are low, the change in grain area and the number of GB pixels after twin removal predicted by the ML workflow are within 1% of the true values calculated using crystallographic data. This suggests that the model is well capable of predicting overall twin boundary structures and grain morphology, and continued advancement of this approach could enable automated, scalable, and physics-informed QA/QC for TRISO-SiC microstructures, supporting the reliable qualification of coated particle fuels for next-generation reactor systems.

Computer vision↗

DOE OSTI2022

GOOML - Finding Optimization Opportunities for Geothermal Operations: Preprint

Geothermal Operational Optimization with Machine Learning (GOOML) is a transferable and extensible component-based geothermal asset modeling framework that considers complex steamfield relationships and identifies optimization prospects using a data-driven approach. We have used this framework to develop digital twins that provide steamfield operators with an operational environment to analyze and understand historical and forecasted power production, explore new steamfield configuration possibilities, and seek optimal asset management for real world applications. The GOOML modeling software is built on a generic component-based systems framework that allows for both historical and forecast analysis. A GOOML model can perform historical data-assimilation using first-principal thermodynamics to create a meaningful data model. Historical production data can then be coupled with a forecast framework to train machine-learning models of steamfield components to predict future outputs. This modeling environment enables digital exploration of steamfield design configurations and operational scenarios. GOOML digital twins have been developed for steamfields in New Zealand and the United States representing differing power generation and field conditions. These digital twins have been validated by comparing hindcast predictions against historical production data. Reinforcement learning experiments were conducted to demonstrate the ability to programmatically explore the operations space using machine learning agents. Our initial results are compelling; two to five percent increases in annual energy production were demonstrated by the GOOML models with no additional infrastructure build required. GOOML offers a new approach to geothermal operations by applying state-of-the-art machine learning algorithms, comprehensive data analytics, and interaction with digital twins. Through application of these tools, operators will realize greater availability and higher net generation which will increase the cost effectiveness of geothermal energy projects.

access↗

DOE OSTI2025

Flexible Pilot Jobs Framework for Distributed High Throughput Computing

Experimental particle physics has been at the forefront of analyzing the world’s largest datasets for decades. The high-energy physics (HEP) community was among the first to develop suitable software and computing tools for this purpose. GlideinWMS is a Glidein-based workload management system whose purpose is to provide experiments like CMS at CERN, DUNE at Fermilab, and others, a way to access and efficiently use vast amounts of computing resources. This system wants to provide a simple way to submit jobs to a set of computing resources, that will be provided to users behind the scenes. Glideins are the pilot jobs executed on the worker nodes at the grid sites, performing operations such as hardware detection, environment setup, and error handling. After all these operations, they will launch the actual user job. Many grid sites are supported, such as shared clusters, Google CE, and AWS. My internship aimed to design and code a flexible pilot jobs framework that will replace the one used by GlideinWMS, developing a modular and flexible skeleton of the Glidein and adding further functionalities. My project also focused on the application of machine learning techniques as support to this management system.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

DOE OSTI2026

Cummins PEM Fuel Cell System for Heavy Duty Applications

The motivation for this project was to develop a high-pressure 100+ kW fuel cell stack that can be used in a modular fashion to power HD applications up to 1 MW. One of the issues that was identified during fuel cell system integration was the need for extra space for heat rejection systems(radiators) as well as additional fans and associated energy consumption to compensate for lower operating temperatures of fuel cells compared to internal combustion (IC) engines. To maximize the heat rejection capability of existing water-based coolant systems that are prevalent on IC engine-based systems, fuel cell stack design was developed to withstand and operate at IC engine coolant temperatures or higher, which in turn helps to reduce the radiator size requirement.

08 HYDROGEN↗

DOE OSTI2022

Considerations for Developing a Regulatory Roadmap for Distributed Energy Resource (DER) Integration in Colombia

The USAID-NREL Partnership in Colombia, in conjunction with SURE and USEA, selected four action plan teams from the Young Professionals Leadership Program to receive tailored NREL technical assistance to support action plan implementation. The four plans selected represent various aspects associated with planning for the efficient integration of DERs, including electric mobility, residential and commercial energy applications, distributed generation modeling, and regulatory considerations. In response to national grid modernization, decentralization, digitalization, and electrification trends, CREG is looking to update Colombia's electric distribution code, with an emphasis on the integration of electric vehicles and charging stations, but also energy storage systems, non-conventional sources of renewable energy, and other distributed energy resources (DERs). CREG aims to establish the general steps that must be carried out to update the distribution code for the integration of DERs, with a view to the design and development of new markets. The objective of the TA provided to CREG was to support them in identifying and outlining the general processes and approaches to consider when updating Colombia's distribution code for the integration of electric vehicles, distributed renewable energy systems, and energy storage systems, with a view to the design and development of new markets.

24 POWER TRANSMISSION AND DISTRIBUTION↗