Search NASA⌕ Search

SEARCH · Search NASA

Results for “Control barrier functions”

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 19 records

Experimental testing of a control barrier function on an automated vehicle in live multi-lane traffic

This paper experimentally tests an implementation of a control barrier function (CBF) designed to guarantee a minimum time-gap in car following on an automated vehicle (AV) in live traffic, with a majority occurring on freeways. The CBF supervises a nominal unsafe PID controller on the AV’s velocity. The experimental testing spans two months of driving, of which 1.9 hours of data is collected in which the CBF and nominal controller are active. We find that violations of the guaranteed minimum time-gap are observed, as measured by the vehicle’s on-board radar unit. There are two distinct causes of the violations. First, in multi-lane traffic, Cut-ins from other vehicles represent external disturbances that can immediately violate the minimum guaranteed time gap provided by the CBF. When cut-ins occur, the CBF does eventually return the vehicle to a safe time gap. Second, even when cut-ins do not occur, system model inaccuracies (e.g., sensor error and delay, actuator error and delay) can lead to violations of the minimum time-gap. These violations are small relative to the violations that would have occurred using only the unsafe nominal control law.

99 GENERAL AND MISCELLANEOUS↗

Differentiable Predictive Control with Safety Guarantees: A Control Barrier Function Approach

In this paper, we develop a novel form of differentiable predictive control (DPC) with safety and robustness guarantees. DPC is a form of approximate model predictive control (MPC), wherein the control policy is a neural network that learns a receding horizon, optimal control law. The proposed approach exploits a new form of sampled-data barrier function to enforce safety, while only interrupting the neural network-based controller near the boundary of the safe set. The effectiveness of the proposed approach is demonstrated in simulation.

Shaw Cortez, Wenceslao E.↗

Safe Physics-Informed Machine Learning for Dynamics and Control

This tutorial paper focuses on safe physics-informed machine learning in the context of dynamics and control, providing a comprehensive overview of how to integrate physical models and safety guarantees. As machine learning techniques enhance the modeling and control of complex dynamical systems, ensuring safety and stability remains a critical challenge, especially in safety-critical applications like autonomous vehicles, robotics, medical decision-making, and energy systems. We explore various approaches for embedding and ensuring safety constraints, including structural priors, Lyapunov and Control Barrier Functions, predictive control, projections, and robust optimization techniques. Additionally, we delve into methods for uncertainty quantification and safety verification, including reachability analysis and neural network verification tools, which help validate that control policies remain within safe operating bounds even in uncertain environments. The paper includes illustrative examples demonstrating the implementation aspects of safe learning frameworks that combine the strengths of data-driven approaches with the rigor of physical principles, offering a path toward the safe control of complex dynamical systems.

Drgona, Jan↗

A Barrier-Certificated Reinforcement Learning Approach for Enhancing Power System Transient Stability

Increasing integration of renewable resources brings more flexibility and poses new challenges to modern power systems, leading to highly nonlinear and complex dynamics. Here, this paper aims to provide a general solution framework to traditional control problems, such as frequency control and voltage control, which attempt to maintain the stability of either synchronous generators-governed or inverter-governed systems when subjected to a disturbance and simultaneously guarantee operational constraints, providing a complete complement to existing works on control design. Building on reinforcement learning (RL) and control barrier functions, the framework includes two subsystems, i.e., a model-free controller and a barrier-certification system, which discover RL-based control actions and sequentially filter them using a barrier certificate to satisfy operational constraints. Calculating a barrier function is generally challenging for a complex power system. This is addressed by representing the barrier function using neural networks (NNs) and data-based approaches. An adaptive method is introduced to certify the neural barrier function that perseveres barrier conditions, which is more compatible with online implementation. The proposed framework synthesizes a stabilizing controller that satisfies predefined safety regions. The effectiveness of the proposed framework is demonstrated via several comparative case studies.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Semiglobal Safety-Filtered Extremum Seeking With Unknown CBFs

We introduce a safe extremum-seeking (Safe ES) algorithm which achieves the minimization of an unknown objective function while ensuring that an unknown, yet measured, control barrier function (CBF) remains above an arbitrarily small negative value for all time. In other words, “practical safety” is maintained during the entire period of convergence to the constrained extremum. Our design is based on quadratic program (QP) CBF style filters for safety, which is applied in an average and estimated sense. Using nonsmooth analysis tools, we guarantee semiglobal practical asymptotic (SPA) stability of the global constrained optimum, practical convergence to the safe set if starting in a condition violating the CBF, and practical safety for all time—semiglobally—if starting in safe set. The safety result of the paper is analogous with modern notions of SPA stability, guaranteeing that, for any small violation of safety, there exist design coefficients which guarantee that such a small violation is not exceeded. The paper outlines a set of sufficient conditions on the barrier and objective functions, and by way of a Lyapunov argument, we demonstrate that nonconvex constrained optimization problems can be solved. We present these results in the setting of a static map and a dynamical system. A simulation example illustrates the results.

97 MATHEMATICS AND COMPUTING↗

Local practically safe extremum seeking with assignable rate of attractivity to the safe set

We present Assignably Safe Extremum Seeking (ASfES), an algorithm designed to minimize a measured, static objective function while maintaining a measured, static metric of safety (a control barrier function or CBF) to be positive in a practical sense. We ensure that for trajectories with safe initial conditions, the violation of safety can be made arbitrarily small through appropriately chosen design constants. We also guarantee an assignable “attractivity” rate: from unsafe initial conditions, the trajectories approach the safe set, in the sense of the measured CBF, at a rate no slower than a user-assigned rate. Similarly, from safe initial conditions, the trajectories approach the unsafe set, in the sense of the CBF, no faster than the assigned attractivity rate. The feature of assignable attractivity is not present in the semiglobal version of safe extremum seeking, where the semiglobality of convergence is achieved by slowing the adaptation. We also demonstrate local convergence of the parameter to a neighborhood of the minimum of a quadratic objective function constrained to the safe set with a linear CBF. The ASfES algorithm and analysis are multivariable, but we also extend the algorithm to a Newton-Based ASfES scheme which we show is only useful in the scalar case. The proven properties of the designs are illustrated through simulation examples.

42 ENGINEERING↗

Experimental Safe Extremum Seeking for Accelerators

Here, we demonstrate the recent designs of safe extremum seeking (Safe ES) on the 1-km-long charged particle accelerator at the Los Alamos Neutron Science Center (LANSCE). Safe ES is a modification of extremum seeking (ES) which, in addition to minimizing an analytically unknown cost, also employs a safety filter based on an analytically unknown control barrier function (CBF) safety metric. Tuning is necessitated by accelerators being large complex systems, with many drifting parameters due to thermal effects and degradation. At the same time, safe operation (the maintenance of state constraints) is crucial, as damage brings astronomical costs, both financially and in operation downtime. Our measured (but analytically unknown) safety metric is the beam current. We perform multivariable Safe ES on three accelerator applications, in which we adapt 4, 6, and 3 magnet strength parameters, respectively. Two of the three applications are for validated simulation models of beamlines at LANSCE: the first for the proton radiography (pRad) beamline of 800-MeV protons for spot size tuning; the second on a high-performance code, HPSim, for tuning the low-energy beam transport (LEBT) region that contains a beam of 750-keV protons. The third is an experimental tuning of the steering magnets in the LEBT at LANSCE.

43 PARTICLE ACCELERATORS↗

Unconventional Error Cancellation Explains the Success of Hartree–Fock Density Functional Theory for Barrier Heights

Energy barriers, which control the rates of chemical reactions, are seriously underestimated by computationally efficient semilocal approximations for the exchange-correlation energy. The accuracy of a semilocal density functional approximation is strongly boosted for reaction barrier heights by evaluating that approximation non-self-consistently on Hartree–Fock electron densities, which has been known for ~30 years. Here, the conventional explanation is that the Hartree–Fock theory yields the more accurate density. This work presents a benchmark Kohn–Sham inversion of accurate coupled-cluster densities for the reaction H 2 + F → HHF → H + HF and finds a strong, understandable cancellation between positive (excessively overcorrected) density-driven and large negative functional-driven errors (expected from stretched radical bonds in the transition state) within this Hartree–Fock density functional theory. This confirms earlier conclusions (Kaplan, A. D., et al. J. Chem. Theory Comput. 2023, 19, 532–543) based on 76 barrier heights and three less reliable, but less expensive, fully nonlocal density functional proxies for the exact density.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Temperature Evolution of the Activation Barriers Leads to Meyer−Neldel Rules for Structural Relaxation and Transport in Polymers

Understanding activation barriers controlling structural relaxation in glass-forming liquids, molecular transport, and ionic conductivity in amorphous polymers is a grand challenge of fundamental scientific and materials engineering interest across disciplines. Over decades, intriguing but puzzling empirical correlations between the elementary time scale of activated barrier crossing and the apparent Arrhenius activation energy, the so-called Meyer−Neldel (MN) rules, have been discovered in diverse liquids and glasses. Here, in this study, we formulate and successfully apply a new experimental analysis and an explicitly dynamical theoretical framework which provides an understanding of the origin, validity, and failure of such correlations, that bridge and unify the three fields of structural relaxation, molecular transport, and ionic conductivity in liquids and quenched glasses. Distinct quasi-universal laws are predicted in equilibrated liquids and nonequilibrium glasses, consistent with experiments. Our analysis reveals that even if the relaxation appears Arrhenius over a limited temperature range, the physical activation barrier is generally temperature-dependent in polymeric systems even below glass transition temperature. In addition, we show that the approximate validity of classical MN rules hinges on a linear temperature dependence of this barrier and the temperature range probed in experiments. Our findings are relevant for controlling the activation barrier in functional soft polymeric materials relevant to molecular separations, barrier coatings, and charge transport, and also provide new constraints on the theoretical understanding of the mechanism underlying slow activated dynamics in glass-forming condensed matter.

Meyer-Neldel rules↗

First-Principles Assessment of ZnTe and CdSe as Prospective Tunnel Barriers at the InAs/Al Interface

Majorana zero modes are predicted to emerge in semiconductor/ superconductor interfaces, such as InAs/Al. Majorana modes could be utilized for fault tolerant topological qubits. However, their realization is hindered by materials challenges. The coupling between the superconductor and the semiconductor may be too strong for Majorana modes to emerge, due to effective doping of the semiconductor by the metallic contact. This could be mediated by adding a tunnel barrier of controlled thickness. We use density functional theory (DFT) with Hubbard U corrections, whose values are machine-learned via Bayesian optimization (BO), to assess ZnTe and CdSe as prospective tunnel barriers for the InAs/Al interface. The results of DFT +U(BO) for ZnTe are validated by comparison to angle resolved photoemission spectroscopy (ARPES). We then study bilayer interfaces of the three semiconductors with each other and with Al, as well as trilayer interfaces with a varying number of ZnTe or CdSe layers inserted between InAs and Al. We find that 16 atomic layers of either material completely insulate the InAs from metal induced gap states (MIGS). However, ZnTe and CdSe differ significantly in their band alignment, such that ZnTe forms an effective barrier for electrons, whereas CdSe forms a barrier for holes. Because of Fermi level pinning in the conduction band at the interface, only electron transport is relevant for InAs-based Majorana devices. Therefore, ZnTe is the better choice. Based on the results of our simulations, we suggest conducting experiments with ZnTe barriers in the thickness range of 6–18 atomic layers.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Reinforcement Learning‐Based Adaptation of Grid Following Inverter's Internal Controller to Networked Microgrids' Strengths

The varying topological configurations, generator commitments and dispatches, and dynamic load demand lead to changing system's strengths during the operations of networked microgrids. When the system's strengths significantly change, the fixed control gains at large devices may result in unsatisfactory system performance; this necessitates the tuning of the control gains at large devices to adapt to the changing system's strengths. In this paper, observer-based reinforcement learning (RL) is utilised to automatically tune the proportional-integral (PI) gains of phase lock loop (PLL) controller of grid-following (GFL) inverters to adapt to the changing strengths of microgrids and networked microgrids. The RL agent in this framework augments an observer predicting system's strengths, from which the RL control policy will adjust accordingly to tune the PLL controller's gains towards the system's strengths. Also, to enhance the control performance, the recently introduced Barrier function-based RL framework is leveraged for the design of reward function to prevent the high frequency nadir. An operational 26 kV electric distribution system, which is modelled as networked microgrids, is used to illustrate the need and effectiveness of the proposed RL-tuned control.

frequency response↗

α-Quartz Phase Stabilization, Surface Texturing, and Tunable Optical Properties of Nanocrystalline GeO 2 Films Made by Pulsed-Laser Deposition: Implications for Optical and Optoelectronic Applications

Germanium oxide (GeO 2 ) has great potential in multifunctional devices and next-generation power electronics due to its high thermal conductivity and ambipolar doping capability. However, the complexity of synthesizing the desirable polymorph with a controlled phase, surface/interface quality, microstructure, and functional properties is the main barrier to GeO 2 utilization in advanced applications. Here, in this regard, we present a method to realize the hexagonal (h) or a-quartz type GeO 2 with nano-textured surface morphology on sapphire substrates using a hybrid synthesis strategy that comprises pulsed laser deposition (PLD) and post-deposition thermal annealing. We performed a comprehensive study to investigate the effect of annealing temperature, which was varied in a wide range (600-1100 °C), on the crystal structure, phase, surface morphology, chemical stoichiometry, defect states, and optical properties of PLD-grown GeO 2 films. As-deposited GeO 2 films at 500 °C were amorphous. Upon annealing, the GeO 2 films induced an amorphous-to-crystalline phase transformation; GeO 2 films annealed at higher annealing temperatures (≥900 °C) stabilized in the hexagonal phase and demonstrated excellent crystal quality and chemical stability. Thermally activated growth process showed increased average crystallite size, which was varied in the range of 20-130 (±2) nm, while the surface roughness followed a similar trend. The spectral transmittance and band gap also increased with increasing annealing temperature. The resulting h-GeO 2 films, particularly those obtained at annealing temperatures in the 900-1100 °C range, had a higher band gap of 6.2-6.3 eV and displayed excellent optical transmittance in the visible region. Moreover, the absence of extended valence band maxima and reduced optical defect density support the quality improvement upon annealing. When considering phase-pure bulk and nanostructured GeO 2 as a possible candidate for ultra wide band gap semiconductors in cutting-edge technological applications, the results of the current work can be beneficial to realize high structural and optical quality a-quartz structured GeO 2 films.

GeO2↗

Facets control charge separation during photoelectrochemical water oxidation with strontium titanate (SrTiO 3 ) single crystals

The photocatalytic overall water splitting reaction provides a pathway to hydrogen fuel from sunlight. Photocatalysts must achieve the reaction without the application of an external bias, which requires an effective charge separation mechanism. Photolabeling studies and electrostatic simulations for the well-known CoOOH/Al:SrTiO 3 /Rh/Cr 2 O 3 photocatalyst suggest that charge separation is driven by work function differences at the (100) and (110) facets of SrTiO 3 , which are electron and hole selective, respectively. Here we use hydrogen annealed SrTiO 3–x single crystals to obtain the first quantitative assessment of the charge separation ability of the (100), or (110), or (111) facets during oxygen evolution. Under UV illumination (60 mW cm –2 ), the crystals exhibit variable water oxidation photocurrents (0.34, 0.82, 1.36 mA cm –2 at 1.23 V versus RHE) and photovoltage values of 1.40, 1.52 and 1.52 V for (100), (110), and (111) SrTiO 3–x , respectively. A surface photovoltage increase in that same order (0.31 V < 0.57 V < 0.67 V) is confirmed independently with vibrating Kelvin probe surface photovoltage spectroscopy (VKP-SPV) under 375 nm (1.91 mW cm –2 ) illumination. Mott Schottky measurements in aqueous K 3/4 [Fe(CN) 6 ] reveal facet-dependent flatband positions of –0.58, –0.71, and –0.74 V RHE for the (100), (110), and (111) crystals respectively. This confirms that the photoelectrochemical water oxidation performance of SrTiO 3–x crystals is controlled by the work function of each facet, which determines the electron transfer barrier height of the respective solid–liquid junctions. After correcting for differences in electron donor concentrations, barriers are found to increase in the order (100) < (111) < (110) and differ by as much as 0.16 eV, similar to an earlier prediction. Altogehter, these results explain the charge separation mechanism in SrTiO 3 photocatalysts and highlight the need for faceted semiconductor crystals as light absorbers in particle-based photocatalysts.

08 HYDROGEN↗

Chitosan as a Canvas for Studies of Macromolecular Controls on CaCO 3 Biological Crystallization

A mechanistic understanding of how macromolecules, typically as an organic matrix, nucleate and grow crystals to produce functional biomineral structures remains elusive. Advances in structural biology indicate that polysaccharides (e.g., chitin) and negatively charged proteoglycans (due to carboxyl, sulfate, and phosphate groups) are ubiquitous in biocrystallization settings and play greater roles than currently recognized. This review highlights studies of CaCO 3 crystallization onto chitinous materials and demonstrates that a broader understanding of macromolecular controls on mineralization has not emerged. With recent advances in biopolymer chemistry, it is now possible to prepare chitosan-based hydrogels with tailored functional group compositions. By deploying these characterized compounds in hypothesis-based studies of nucleation rate, quantitative relationships between energy barrier to crystallization, macromolecule composition, and solvent structuring can be determined. Finally, this foundational knowledge will help researchers understand composition-structure-function controls on mineralization in living systems and tune the designs of new materials for advanced applications.

15 GEOTHERMAL ENERGY↗

Real-Space Local Dynamics in 1,2,3-Triazole Using Inelastic Neutron Scattering

Enhancing proton transport in polymer electrolytes is crucial for advancing next-generation solid-state batteries, yet our understanding of proton conductivity in nonaqueous environments remains limited due to a lack of atomic-scale insights. Here, in this study, we investigated the atomic-scale dynamics of 1,2,3-triazole, a small molecule capable of dynamic hydrogen bonding, as a model system for proton hopping in nonaqueous environments. Using the real-space correlation function determined by the double Fourier transformation of inelastic neutron scattering spectra, we identified that the self-motion of protons and intermolecular dynamics occur on comparable time scales. Furthermore, we observed that the activation energy associated with the intermolecular dynamics matches the energy barrier for molecular rotations determined through Density Functional Theory calculations. These findings underscore the importance of controlling molecular dynamics at the atomic scale to control proton transport. Additionally, we demonstrated that intermolecular dynamics in systems involving protons can be studied using inelastic neutron scattering even without deuteration, thereby providing a broader avenue for studying atomic-scale dynamics in soft matter systems.

Shinohara, Yuya [Oak Ridge National Laboratory (OR↗

Immediate effects of acute Mars mission equivalent doses of SEP and GCR radiation on the murine gastrointestinal system-protective effects of curcumin-loaded nanolipoprotein particles (cNLPs)

Introduction: Missions beyond low Earth orbit (LEO) will expose astronauts to ionizing radiation (IR) in the form of solar energetic particles (SEP) and galactic cosmic rays (GCR) including high atomic number and energy (HZE) nuclei. The gastrointestinal (GI) system is documented to be highly radiosensitive with even relatively low dose IR exposures capable of inducing mucosal lesions and disrupting epithelial barrier function. IR is also an established risk factor for colorectal cancer (CRC) with several studies examining long-term GI effects of SEP/GCR exposure using tumor-prone APC mouse models. Studies of acute short-term effects of modeled space radiation exposures in wildtype mouse models are more limited and necessary to better define charged particle- induced GI pathologies and test novel medical countermeasures (MCMs) to promote astronaut safety. Methods: In this study, we performed ground-based studies where male and female C57BL/6J mice were exposed to γ-rays, 50 MeV protons, or 1 GeV/n Fe-56 ions at the NASA Space Radiation Laboratory (NSRL) with histology and immunohistochemistry endpoints measured in the first 24 h post-irradiation to define immediate SEP/GCR-induced GI alterations. Results: Our data show that unlike matched γ-ray controls, acute exposures to protons and iron ions disrupts intestinal function and induces mucosal lesions, vascular congestion, epithelial barrier breakdown, and marked enlargement of mucosa-associated lymphoid tissue. We also measured kinetics of DNA double-strand break (DSB) repair using gamma-H2AX- specific antibodies and apoptosis via TUNEL labeling, noting the induction and disappearance of extranuclear cytoplasmic DNA marked by gamma-H2AX only in the charged particle-irradiated samples. We show that 18 h pre-treatment with curcumin-loaded nanolipoprotein particles (cNLPs) delivered via IV injection reduces DSB-associated foci levels and apoptosis and restore crypt villi lengths. Discussion: These data improve our understanding of physiological alterations in the GI tract immediately following exposures to modeled space radiations and demonstrates effectiveness of a promising space radiation MCM.

59 BASIC BIOLOGICAL SCIENCES↗