Search NASA⌕ Search

SEARCH · Search NASA

Results for “barrier function”

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
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Machine‐learning‐based construction of barrier functions and models for safe model predictive control

Abstract In this paper, we propose a control Lyapunov‐barrier function‐based model predictive control method utilizing a feed‐forward neural network specified control barrier function (CBF) and a recurrent neural network (RNN) predictive model to stabilize nonlinear processes with input constraints, and to guarantee that safety requirements are met for all times. The nonlinear system is first modeled using RNN techniques, and a CBF is characterized by constructing a feed‐forward neural network (FNN) model with unique structures and properties. The FNN model for the CBF is trained based on data samples collected from safe and unsafe operating regions, and the resulting FNN model is verified to demonstrate that the safety properties of the CBF are satisfied. Given sufficiently small bounded modeling errors for both the FNN and the RNN models, the proposed control system is able to guarantee closed‐loop stability while preventing the closed‐loop states from entering unsafe regions in state‐space under sample‐and‐hold control action implementation. We provide the theoretical analysis for bounded unsafe sets in state‐space, and demonstrate the effectiveness of the proposed control strategy using a nonlinear chemical process example with a bounded unsafe region.

Chen, Scarlett↗
DOE OSTI2022

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↗
DOE OSTI2023

Certifiably Robust Neural ODE With Learning-Based Barrier Function

Neural Ordinary Differential Equations (ODEs) have gained traction in many applications. While recent studies have focused on empirically increasing the robustness of neural ODEs against natural or adversarial attacks, certified robustness is still lacking. In this work, we propose a framework for training a neural ODE using barrier functions and demonstrate improved robustness for classification problems. Finally, we further provide the first generalization guarantee of robustness against adversarial attacks using a wait-and-judge scenario approach.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

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.↗
DOE OSTI2022

Impact of Surface Chemistry of Ultrasmall Superparamagnetic Iron Oxide Nanoparticles on Protein Corona Formation and Endothelial Cell Uptake, Toxicity, and Barrier Function

Ultrasmall superparamagnetic iron oxide nanoparticles (USPIONs) have been investigated for biomedical applications, including novel contrast agents, magnetic tracers for tumor imaging, targeted drug delivery vehicles, and magneto-mechanical actuators for hyperthermia and thrombolysis. Despite significant progress, recent clinical reports have raised concerns regarding USPION safety related to endothelial cell dysfunction; however, there is limited information on factors contributing to these clinical responses. The influence of USPION surface chemistry on nanoparticle interactions with proteins may impact endothelial cell function leading to adverse responses. Therefore, the goal of this study was to assess the effects of carboxyl-functionalized USPION (CU) or amine-functionalized USPION (AU) (approximately 30 nm diameter) on biological responses in human coronary artery endothelial cells. Increased protein adsorption was observed for AU compared with CU after exposure to serum proteins. Exposure to CU, but not AU, resulted in a concentration-dependent decrease in cell viability and perinuclear accumulation inside cytoplasmic vesicles. Internalization of CU was correlated with endothelial cell functional changes under non-cytotoxic conditions, as evidenced by a marked decreased expression of endothelial-specific adhesion proteins (eg, vascular endothelial-cadherin and platelet endothelial cell adhesion molecule-1) and increased endothelial permeability. Evaluation of downstream signaling indicated endothelial permeability is associated with actin cytoskeleton remodeling, possibly elicited by intracellular events involving reactive oxygen species, calcium ions, and the nanoparticle cellular uptake pathway. This study demonstrated that USPION surface chemistry significantly impacts protein adsorption and endothelial cell uptake, viability, and barrier function. This information will advance the current toxicological profile of USPION and improve development, safety assessment, and clinical outcomes of USPION-enabled medical products.

Toxicology↗
DOE OSTI2023

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↗
DOE OSTI2021

Barrier Function-based Reinforcement Learning for Emergency Control of Power Systems

Under voltage load shedding has been considered as a standard and effective measure to recover the voltage stability of the electric power grid under emergency and severe conditions. However, this scheme usually trips a massive amount of load which can be unnecessary and harmful to customers. Recently, deep reinforcement learning (RL) has been regarded and adopted as a promising approach that can significantly reduce the amount of load shedding. However, like most existing machine learning (ML)-based control techniques, RL control usually cannot guarantee the safety of the systems under control. In this paper, we introduce a novel safe RL method for load shedding of power systems, that can enhance the safe voltage recovery of the electric power grid after experiencing faults. Unlike standard RL method, the safe RL method integrates a Barrier function into the reward function. Consequently, the optimal control policy can render the power system to avoid the safety bounds. This method is general and can be applied to other safety-critical control problems. Numerical simulations on the 39-bus IEEE benchmark is performed to demonstrate the effectiveness of the proposed safe RL emergency control, as well as its adaptive capability to faults not seen in the training.

Vu, Thanh Long↗
DOE OSTI2022

Using molecular simulation to understand the skin barrier

Skin's effectiveness as a barrier to permeation of water and other chemicals rests almost entirely in the outermost layer of the epidermis, the stratum corneum (SC), which consists of layers of corneocytes surrounded by highly organized lipid lamellae. As the only continuous path through the SC, transdermal permeation necessarily involves diffusion through these lipid layers. The role of the SC as a protective barrier is supported by its exceptional lipid composition consisting of ceramides (CERs), cholesterol (CHOL), and free fatty acids (FFAs) and the complete absence of phospholipids, which are present in most biological membranes. Molecular simulation, which provides molecular level detail of lipid configurations that can be connected with barrier function, has become a popular tool for studying SC lipid systems. We review this ever-increasing body of literature with the goals of (1) enabling the experimental skin community to understand, interpret and use the information generated from the simulations, (2) providing simulation experts with a solid background in the chemistry of SC lipids including the composition, structure and organization, and barrier function, and (3) presenting a state of the art picture of the field of SC lipid simulations, highlighting the difficulties and best practices for studying these systems, to encourage the generation of robust reproducible studies in the future. This review describes molecular simulation methodology and then critically examines results derived from simulations using atomistic and then coarse-grained models.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2024

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↗
DOE OSTI2023

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↗
DOE OSTI2025

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↗
DOE OSTI2021

Role of sphingosine‐1‐phosphate receptors in vascular injury of inflammatory bowel disease

Abstract Sphingosine‐1‐phosphate receptors (S1PRs) have an impact on the intestinal inflammation of inflammatory bowel disease (IBD) by regulating lymphocyte migration and differentiation. S1PR modulators as an emerging therapeutic approach are being investigated for the treatment of IBD. However, the role of S1PRs in intestinal vessels has not drawn much attention. Intestinal vascular damage is one of the major pathophysiological features of IBD, characterized by increased vascular density and impaired barrier function. S1PRs have pleiotropic effects on vascular endothelial cells, including proliferation, migration, angiogenesis and barrier homeostasis. Mounting evidence shows that S1PRs are abnormally expressed on intestinal vascular endothelial cells in IBD. Unexpectedly, S1PR modulators may damage intestinal vasculature, for example increase intestinal bleeding; therefore, S1PRs are thought to be involved in the regulation of intestinal vascular function in IBD. However, little is understood about how S1PRs regulate intestinal vascular function and participate in the initiation and progression of IBD. In this review, we summarize the pathogenic role of S1PRs in and the underlying mechanisms behind the intestinal vascular injury in IBD in order for improving IBD practice including S1PR‐targeted therapies.

Wang, Xuewen↗
DOE OSTI2024

Cellular response of keratinocytes to the entry and accumulation of nanoplastic particles

Plastic accumulation in the environment is rapidly increasing, and nanoplastics (NP), byproducts of environmental weathering of bulk plastic waste, pose a significant public health risk. Particles may enter the human body through many possible routes such as ingestion, inhalation, and skin absorption. However, studies on NP penetration and accumulation in human skin are limited. Loss or reduction of the keratinized skin barrier may enhance the skin penetration of NPs. The present study investigated the entry of NPs into a human skin system modeling skin with compromised barrier functions and cellular responses to the intracellular accumulations of NPs. Two in vitro models were employed to simulate human skin lacking keratinized barriers. The first model was an ex vivo human skin culture with the keratinized dermal layer (stratum corneum) removed. The second model was a 3D keratinocyte/dermal fibroblast cell co-culture model with stratified keratinocytes on the top and a monolayer of skin fibroblast cells co-cultured at the bottom. The penetration and accumulation of the NPs in different cell types were observed using fluorescent microscopy, confocal microscopy, and cryogenic electron microscopy (cryo-EM). The cellular responses of keratinocytes and dermal fibroblast cells to stress induced by NPs stress were measured. The genetic regulatory pathway of keratinocytes to the intracellular NPs was identified using transcript analyses and KEGG pathway analysis. The cellular uptake of NPs by skin cells was confirmed by imaging analyses. Transepidermal transport and penetration of NPs through the skin epidermis were observed. According to the gene expression and pathway analyses, an IL-17 signaling pathway was identified as the trigger for cellular responses to internal NP accumulation in the keratinocytes. The transepidermal NPs were also found in co-cultured dermal fibroblast cells and resulted in a large-scale transition from fibroblast cells to myofibroblast cells with enhanced production of α-smooth muscle actin and pro-Collagen Ia. The upregulation of inflammatory factors and cell activation may result in skin inflammation and ultimately trigger immune responses.

36 MATERIALS SCIENCE↗
DOE OSTI2023

Fecal microbiota transplantation ameliorates type 2 diabetes via metabolic remodeling of the gut microbiota in db/db mice

Gut microbiome (GM) deregulation has been implicated in major conditions such as obesity and type 2 diabetes (T2DM). Our previous prospective study indicated that fecal microbiota transplantation (FMT) successfully improved patients with T2DM. We hypothesized that FMT may be a potential therapeutic method for T2DM, but its precise mechanisms in T2DM remains to be elucidated. Eight db/m mice were FMT donors and control mice, and 16 genetically diabetic db/db mice were equally divided into two groups (db/db+phosphate-buffered saline (PBS) group, db/db+FMT group). The db/db+FMT group was administered fresh fecal suspension (0.2 mL/mice) daily for 4 weeks. Analysis of the GM and serum metabolome was carried out by 16S ribosomal RNA sequencing and liquid chromatogram-mass spectrometry, respectively. Effects of FMT on the gut barrier and pancreas were assessed using protein assays, messenger RNA, immunohistology and clinical indicators testing. Our results showed that FMT treatment of db/db mice relieves a series of clinical indicators, including fasting plasma glucose, serum insulin and oral glucose tolerance test among others. Compared with non-diabetic control mice, db/db+PBS mice exhibited decreased abundance of Ruminococaceae, Porphyromonadaceae and increased abundance of Rikenellaceae and Lactobacillaceae. FMT treatment reversed this effect on the microbiome. Eleven metabolites were changed between the db/db+PBS and db/db+FMT groups. Correlation analysis showed that the structural changes of the GM were correlated with host metabolite levels. We further showed that FMT treatment of db/db mice improved intestinal barrier function, reduced inflammation and caused an alteration in the number of circulating immune cells. FMT-mediated changes in the GM, serum metabolites, intestinal epithelial barrier, inflammation and circulating immune cells play an important role in the efficacy of FMT on T2DM disease progression.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2024

Multifunctional textured graphene-based coatings on elastomeric gloves for chemical protection

Nanotechnology offers a variety of new tools for the design of next-generation personal protective equipment (PPE). One example is the use of two-dimensional materials as coatings that enhance the performance and ergonomics of elastomeric gloves designed to protect users from hazardous chemicals. Desirable features in such coatings may include molecular barrier function, liquid droplet repellency, stretchability for compatibility with the elastomer, breathability, and an ultrathin profile that preserves the user's manual dexterity and tactile sensation. The present work explores the potential of engineered graphene-based films with out-of-plane texturing as a novel platform to meet these multifold requirements. Graphene-based films in different formulations were fabricated from water-borne inks by vacuum filtration and solution casting methods on glove-derived nitrile rubber substrates. The various coatings were then subjected to tests of molecular permeation by model volatile organic compounds, droplet contact angle, breathability, and mechanical stability during stretching and solvent immersion. The films dramatically improve the barrier properties of glove-derived nitrile. The out-of-plane graphene texturing imparts stretchability through microscale folding/unfolding, while also enhancing droplet repellency in some cases through a lotus-like roughening effect. The combined results suggest that engineered textured graphene-based films are a promising platform for creating multifunctional coatings for a next generation of chemically protective gloves and other elastomer-based PPE.

36 MATERIALS SCIENCE↗
DOE OSTI2023

Differentiated mouse kidney tubuloids as a novel in vitro model to study collecting duct physiology

Kidney tubuloids are cell models that are derived from human or mouse renal epithelial cells and show high similarities with their in vivo counterparts. Tubuloids grow polarized in 3D, allow for long-term expansion, and represent multiple segments of the nephron, as shown by their gene expression pattern. In addition, human tubuloids form tight, functional barriers and have been succesfully used for drug testing. Our knowledge of mouse tubuloids, on the other hand, is only minimal. In this study, we further characterized mouse tubuloids and differentiated them towards the collecting duct, which led to a significant upregulation of collecting duct-specific mRNAs of genes and protein expression, including the water channel AQP2 and the sodium channel ENaC. Differentiation resulted in polarized expression of collecting duct water channels AQP2 and AQP3. Also, a physiological response to desmopressin and forskolin stimulation by translocation of AQP2 to the apical membrane was demonstrated. Furthermore, amiloride-sensitive ENaC-mediated sodium uptake was shown in differentiated tubuloids using radioactive tracer sodium. This study demonstrates that mouse tubuloids can be differentiated towards the collecting duct and exhibit collecting duct-specific function. This illustrates the potential use of mouse kidney tubuloids as novel in vitro models to study (patho)physiology of kidney diseases.

59 BASIC BIOLOGICAL SCIENCES↗