Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Kr”

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.

629 records · Page 35

How Much Reserve Fuel: Quantifying the Maximal Energy Cost of System Disturbances

Motivated by the design question of additional fuel needed to complete a task in an uncertain environment, this paper introduces metrics to quantify the maximal additional energy used by a control system in the presence of bounded disturbances, compared to a nominal, disturbance-free system. In particular, we consider the task of finite-time stabilization for a linear, time-invariant system. We compare the nominal energy required to achieve this task in the disturbance-free system to the worst-case energy over all feasible disturbances. Solving for the worst-case energy over all disturbances first leads to an optimal control problem with a least-squares solution, and then an infinite-dimensional optimization problem where we derive an upper bound on the solution. The comparison of energies is accomplished using additive and multiplicative metrics, for which we derive bounds. Simulation examples on an ADMIRE fighter jet model demonstrate the practicability of these metrics, and their variation with the distance of the initial condition from the origin and the task completion time.

koopman operator, resilience↗

The Koopman Operator: Capabilities and Recent Advances

In this paper, we provide an introduction to the Koopman Operator (KO) designed to be accessible to those not already familiar with the field. Our aim is to expose domain experts and controls practitioners to the concept and the capabilities the KO provides in the interest of promoting wider KO use; as such, we deliberately focus more on the uses and computational aspects of the KO than on the wealth of analytical results in the literature. Those researchers may then be able to pose new applications-based research questions for the KO community. We begin by defining the KO and describing its key components. Secondly, we discuss computational methods used to calculate the KO in practice. Thirdly, we provide an overview of different uses for the KO and its associated capabilities. Finally, we discuss some open areas of research for future KO work.

koopman operator, dynamical systems, optimal contr↗

Power system resilience through defender-attacker-defender models with uncertainty: an overview

Protecting and fortifying a power system to make it resilient is an important and hard problem to solve. The interaction between defenders and attackers, the availability of information and the complexity of power system require carefully selecting models and presenting the underlying assumptions. Trilevel defender-attacker-defender models have been developed to investigate the resilience of power systems. In this paper, we review trilevel models in power system application, with the aim of demonstrating the accessibility and applicability of these complex optimization formulations and discussing the underlying assumptions from these models. In particular, we highlight modeling choices, algorithmic details, and how operational and information uncertainty affects resilience versus the traditional complete-knowledge-based optimal solutions. We also describe other similar relevant models which lack such uncertainty and discuss insights on how to address operational, attacker, and defender related uncertainties in future research efforts.

multi-level optimization, defender-attacker-defend↗

Deception-Based Cyber Attacks on Hierarchical Control Systems using Domain-Aware Koopman Learning

Industrial control systems are subject to cyber attacks that produce physical consequences. These attacks can be both hard to detect and protracted. Here, we focus on deception-based sensor bias attacks made against a hierarchical control system where the attacker attempts to be stealthy. We develop a a data-driven, optimization-based attacker model and use the Koopman operator to represent the system dynamics in a domain-aware and computationally efficient manner. Using this model, we compute several different attacks against a high-fidelity commercial building emulator and compare the impacts of those attacks to each other. Finally, we discuss some computational considerations and identify avenues for future research.

koopman operator, Cyber-Physical Security, machine↗

Sensor and Actuator Attacks on Hierarchical Control Systems with Domain-Aware Operator Theory

Cyber-Physical Systems (CPSs) provide opportunities for cyber attacks to have physical impacts. Advanced Persistent Threats (APTs) are a subclass of cyber threats that act stealthily to avoid detection and enable long-term attacks. Here, we build on our past work in APT modelling to combine deception-based sensor bias attacks and direct actuator manipulations in attacks against a hierarchical control system. That past work used the Koopman operator to develop a data-driven, domain-aware, optimization-based attacker model. Using an expansion of this model, we compute several different attacks, including multiple simultaneous attacks, against a high-fidelity commercial building emulator and compare the impacts of those attacks to each other. One next step of interest is to construct a defender system, built on the same modelling approach, designed to detect and mitigate such attacks.

koopman operator, Cyber-Physical Security, machine↗

Metagames and Hypergames for Deception-Robust Control

Cyber-physical systems (CPSs) consist of computing and communication devices integrated with physical components such as sensors and actuators. Increasing connectivity to the Internet for remote monitoring and control has made CPSs more vulnerable to deliberate attacks, which are distinctly different from random perturbations in the system. This provides a way for purely cyber attacks to have physical consequences. Stuxnet is a prominent example of such an attack, one in which the malware acted over an extended period of time while deliberately remaining undetected. Such attacks can be described as Advanced Persistent Threats (APTs) -- long-term, stealthy attacks. Here, we extend our previous work on hypergames to develop defender strategies that are robust to deception and do not rely on attack detection. We prove that the defender can bound the attacker payoff with these strategies even when the attacker can choose between different attack modes, and we numerically demonstrate our approach on a realistic building control system. Finally, we discuss next steps in extending this approach towards an operational capability.

hypergames, cyber-physical systems, robust control↗

Kryptonate Hydrogen Detection System (Final Report)

A prototype model of a multipurpose instrument which demonstrates the applicability of the Kryptonate® technique for detecting hydrogen gas was developed. This report describes the construction of the instrument and presents a laboratory evaluation of its performance. Performance was excellent. The instrument was designed to detect hydrogen in air at concentrations of 0-3% by volume, and to detect hydrogen in nitrogen or other inert gas at concentrations of 0-10% by volume. Other detection levels (both higher and lower) could be set if required. Ultimate response times can be made of the order of 0.5 seconds. The instrument is an all solid state device operating from 120V 60 Hz power source. The instrument has been designed to enable modifications to be made with a minimum amount of difficulty.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Koopman-based Differentiable Predictive Control for the Dynamics-Aware Economic Dispatch Problem

The dynamics-aware economic dispatch (DED) problem embeds low-level generator dynamics and operational constraints to enable near real-time scheduling of generation units in a power network. DED produces a more dynamic supervisory control policy than traditional economic dispatch (T-ED) that reduces overall generation costs. However, the incorporation of differential equations that govern the system dynamics makes DED an optimization problem that is computationally prohibitive to solve. In this work, we present a new data-driven approach based on differentiable programming to efficiently obtain offline parametric solutions to the underlying DED problem. In particular, we employ the recently proposed differentiable predictive control (DPC) for offline learning of explicit neural control policies based on identified Koopman operator (KO) model of the system dynamics. We demonstrate the high solution quality and five orders of magnitude computational-time savings of the DPC method over the original optimization-based DED approach on a 9-bus test power grid network.

King, Ethan↗

Data-driven Resilience Characterization of Control Dynamical Systems

In this paper, we define and quantify resiliency of a power network and propose data-driven algorithms for computing the same for the power grid. To do this, we use the Koopman operator framework to lift the controlled dynamical system to an abstract (possibly higher) dimensional space, where the evolution is linear. The linear system representation allows us to relate small time local controllability and observability of a general nonlinear control system to the controllability and observability of the lifted linear system. Finally, we define the resiliency of the underlying power grid in terms of the controllability and observability gramians of the lifted linear system. We illustrate the proposed approach to compute the resiliency metrics on time-series data obtained from a microgrid.

koopman operator, resilience, control↗

The Short-Baseline Near Detector at Fermilab: Input to the European Strategy for Particle Physics 2026 Update

SBND is a 112 ton liquid argon time projection chamber (LArTPC) neutrino detector located 110 meters from the Booster Neutrino Beam (BNB) target at Fermilab. Its main goals include searches for eV-scale sterile neutrinos as part of the Short-Baseline Neutrino (SBN) program, other searches for physics beyond the Standard Model, and precision studies of neutrino-argon interactions. In addition, SBND is providing a platform for LArTPC neutrino detector technology development and is an excellent training ground for the international group of scientists and engineers working towards the upcoming flagship Deep Underground Neutrino Experiment (DUNE). SBND began operation in July 2024, and started collecting stable neutrino beam data in December 2024 with an unprecedented rate of ~7,000 neutrino events per day. During its currently approved operation plans (2024-2027), SBND is expected to accumulate nearly 10 million neutrino interactions. The near detector dataset will be instrumental in testing the sterile neutrino hypothesis with unprecedented sensitivity in SBN and in probing signals of beyond the Standard Model physics. It will also be used to significantly advance our understanding of the physics of neutrino-argon interactions ahead of DUNE. After the planned accelerator restart at Fermilab (2029+), opportunities are being explored to operate SBND in antineutrino mode in order to address the scarcity of antineutrino-argon scattering data, or in a dedicated beam-dump mode to significantly enhance sensitivity to searches for new physics. SBND is an international effort, with approximately 40% of institutions from Europe, contributing to detector construction, commissioning, software development, and data analysis. Continued European involvement and leadership are essential during SBND's operations and analysis phase for both the success of SBND, SBN and its role leading up to DUNE.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Short-period circumnutations found in sunflower hypocotyls in satellite orbit. A reappraisal of data from Spacelab-1

We have further analysed data from an experiment performed in satellite orbit, in Spacelab-1. In micro-gravity the hypocotyls of Helianthus annuus, cv. "Teddy Bear", showed short period circumnutations (periods around 30 minutes) as well as the already reported long period nutations (with an average period of about 115 minutes). We applied various types of signal analysis (Fourier and wavelet analysis) to the data series. The long period circumnutations have a larger amplitude than the short term circumnutations. Both short and long period circumnutations exist in one and the same hypocotyl. (This is in contrast to our ground control experiments, where were found only the long-period nutations.) The period of the nutations changed throughout the experiment. These results are extending the conclusions drawn after the Spacelab experiment (Brown et al. 1990). In particular they emphasize the existence of both short- and long-period circumnutations in micro-gravity.

short duration↗

Solvability, Operability, and Security for Cyber-Physical Systems: New Computational Methods with Revised Assumptions

In this paper discusses the use and integration of disparate but complementary tools for dealing with solvability, operability, and security challenges in Cyber-Physical Systems (CPSs): the Koopman Operator (KO) for solvability, Disjunctive Programming (DP) for operability, and Multi-Level Optimisation (MLO) for security. These methods can obviate the need for some of the traditional assumptions used in modelling CPSs. This paper demonstrates the methods' capabilities and considers ways to advance each method individually. It concludes by discussing how to integrate the different methods and identify useful synergies generated by doing so.

koopman operator, disjunctive programming, multi-l↗

Solving the Dynamics-Aware Economic Dispatch Problem with the Koopman Operator

The dynamics-aware economic dispatch (DED) problem embeds low-level generator dynamics and operational constraints to enable near real-time scheduling of generation units in a power network. DED produces a more dynamic supervisory control policy than traditional economic dispatch (T-ED) that reduces overall generation costs. However, in contrast to T-ED, DED is a nonlinear, non-convex optimization problem that is computationally prohibitive to solve. We introduce a machine learning-based operator-theoretic approach for solving the DED problem efficiently. Specifically, we develop a novel discrete-time Koopman Operator (KO) formulation that embeds domain information into the structure of the KO to learn high-fidelity approximations of the generator dynamics. Using the KO approximation, the DED problem can be reformulated as a computationally tractable linear program (abbreviated DED-KO). We demonstrate the high solution quality and computational-time savings of the DED-KO model over the original DED formulation on a 9-bus test system.

King, Ethan↗

MeVPrtl: An Event Generator for Dark Sector Particles in the Short-Baseline Neutrino Program

MeVPrtl is a modular event generator of beyond the Standard Model (BSM) physics particles developed for use in the Short-Baseline Neutrino (SBN) Program. A large class of BSM physics models predict that new particles could be produced in the intense Booster Neutrino Beam (BNB) and Neutrinos at the Main Injector (NuMI) beams at Fermilab, travel to the SBN Program detectors, and decay into Standard Model (SM) particles. These new physics models are motivated by dark matter, the neutrino mass scale, and a solution to the strong CP problem. MeVPrtl provides an interface to implement the overlapping phenomenology of these models, and to connect them with meson flux inputs and object outputs used by the SBN Program's LArSoft-based detector simulation. Implementations for the Higgs portal, heavy neutral lepton, and heavy QCD axion models exist within MeVPrtl. In this paper these implementations and their validation, as well as details of the MeVPrtl interface, are specified.

Abratenko Ao, P.↗

Enhanced Ionization Charge Identification in the Short-Baseline Neutrino Program Neutrino Detectors with Deep Neural Networks

We present a deep neural net-based region of interest detection method (DNN ROI) for signal processing in the liquid argon time projection chambers of the Short-Baseline Neutrino (SBN) Program, SBND and ICARUS. DNN ROI addresses limitations of the traditional wire-by-wire thresholding algorithm by leveraging the full two-dimensional detector readout and cross-plane matching information. To account for detector performance variations, we explore training with augmented samples. We find that DNN ROI outperforms the traditional method in both low-level ROI identification performance and high-level reconstruction metrics for high-energy cosmic and accelerator neutrino interaction products, while also being more robust against detector variations, with or without sample augmentation.

Abratenko, P. [Tufts U.]↗

Production and installation of wavelength-shifting reflective light enhancers for the Short-Baseline Near Detector

We report on the design, production, and installation of a wavelength-shifting reflective system on the cathode of the Short-Baseline Near Detector (SBND), a liquid argon time projection chamber located along the Fermilab Booster Neutrino Beam. To increase and homogenize scintillation-light collection, 64 double-sided plates were fabricated from FR4, laminated with specular reflector film and coated with 300 $μ$g/cm$^2$ of tetraphenyl butadiene (TPB) wavelength shifter using controlled physical vapor deposition. The coating uniformity was validated through dedicated measurements of deposited mass and profilometry studies. Because exposure to ambient blue/UV light could degrade the TPB, protective filtering and controlled storage conditions were implemented during handling and installation. The coated plates were assembled between conductive meshes for high-voltage compatibility and installed in situ during detector integration. This system constitutes the largest TPB-coated area deployed in a neutrino detector. It operates in conjunction with SBND's photon detection system, which consists of photomultiplier tubes and X-ARAPUCAs. Early light-collection measurements show high uniformity and light response across the detector, supporting improved triggering, calorimetry, and position reconstruction in SBND.

Acciarri, R. [Fermilab]↗