Search NASA⌕ Search

SEARCH · Search NASA

Results for “state-space”

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.

409 records · Page 23
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.

Formal verification↗
NASA NTRSDate not supplied

In-flight System Identification of the Ingenuity Mars Helicopter

The 68th and 69th flights of NASA’s Ingenuity Mars Helicopter marked the first dedicated system identification flights of an aerial vehicle on another planet. Chirp signals were injected into the swashplate cyclic controls for both legs of the two out-and-back flights. Frequency responses were computed from the flight data, using both the Direct Method (DM) and the Joint-Input-Output (JIO) approach, for the identification of stability and control derivatives in forward flight conditions. The resulting identified state-space models were compared against existing flight dynamics simulation models, showing excellent correlation in the higher frequency range. External disturbances were seen to introduce a bias in the identified lower frequency responses, which was partially mitigated using the JIO method. These findings will inform future modeling and flight testing efforts of Mars rotorcraft.

Ingenuity↗
DOE OSTI2020

A Mathematical Framework for Representing Cyber-Physical System Interdependencies and Resilience

U.S. critical infrastructure is increasingly composed of integrated cyber-physical systems (CPS) whose components are operationally interdependent. These interdependencies can create additional vulnerabilities beyond those that are typically evaluated through independent physical and cyber risk assessments. These additional vulnerabilities, previously undetected at the sub-system and/or component level, could cause cascading effects across both the physical and cyber domains that could lead to infrastructure disruption or failure. This paper will review an initial mathematical framework developed to help understand the dynamics of these interfacing physical and cyber components at a holistic system level. The resulting framework also provides a method for modeling and assessing the resilience of CPS in complex and adaptive systems. It frames the system in terms of mission performance and the potential effects to performance caused by attacks that are cyber, physical, or blended in nature. The framework utilizes a systems-based, state-space modeling approach to reason about risk, resilience, and interdependencies in CPS. Probabilities are applied to each CPS component regarding a threat (both man-made and natural) and the likelihood of that particular component being impacted, along with indirect impact to other interdependent components. These component-level impacts from threats then translate into mission-level impact and systemic state change.

Brigantic, Robert T.↗
DOE OSTI2020

System and method for modeling and forecasting cyclical demand systems with dynamic controls and dynamic incentives

Systems and methods for modeling and forecasting cyclical demand systems in the presence of dynamic control or dynamic incentives. A method for modeling a cyclical demand system comprises obtaining historical data on one or more demand measurements over a plurality of demand cycles, obtaining historical data on incentive signals over the plurality of demand cycles, constructing a model using the obtained historical data on the one or more demand measurements and the incentive signals, wherein constructing the model comprises specifying a state-space model, specifying variance parameters in the model, and estimating unknown variance parameters.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2020

Control of Vibration Systems with Mechanical Motion Rectifier and their Applications to Vehicle Suspension and Ocean Energy Harvester

Vibration control is a large branch in control research, because all moving systems may induce desired or undesired vibration. Due to the limitation of passive system’s adaptability and changing excitation input, vibration control brings the solution to change system dynamic with desired behavior to fulfill control targets. According to preference, vibration control can be separated into two categories: vibration reduction and vibration amplification. Lots of research papers only examine one aspect in vibration control. The thesis investigates the control development for both control targets with two different control applications: vehicle suspension and ocean wave energy converter. It develops control methods for both systems with simplified modeling setup, then followed by the application of a novel mechanical motion rectifier (MMR) gearbox that uses mechanical one-way clutches in both systems. The flow is from the control for common system to the control design for a specifically designed system. In the thesis, active (model predictive control: MPC), semi-active (Skyhook, skyhook-power driven damper: SHPDD, hybrid model predictive control: HMPC), and passive control (Latching Control) methods are developed for different applications or control performance comparison on single system. The thesis also studies about new type of system with switching mechanism, in which other papers do not talk too much and possible control research direction to deal with such complicated system in vibration control. The state-space modeling for both systems are provided in the thesis with detailed model of the MMR gearbox. From the simulation, it can be shown that in the vehicle suspension application, the controlled MMR gearbox can be effective in improving vehicle ride comfort by 29.2% compared to that of the traditional hydraulic suspension. In the ocean wave energy converter, the controlled MMR WEC with simple latching control can improve the power generation by 57% compared to the passive MMR WEC. Besides, the passive MMR WEC also shows its advantage on the passive direct drive WEC in power generation improvement. From the control development flow for the MMR system, the limitation of the MMR gearbox is also identified, which introduces the future work in developing active-MMR gearbox by using an electromagnetic clutch. Some possible control development directions on the active-MMR is also mentioned at the end of the thesis to provide reference for future works.

16 TIDAL AND WAVE POWER↗
DOE OSTI2022

Analysis of Inter Converter Interactions using Harmonic State Space Modeling

Power converters have become a key participant within the modern grid, facilitating the grid's interaction with renewable energy sources and various loads, among others. These converters can also interact with each other, creating harmonics that were previously absent in the grid. While some previous research studies have focused on inter-converter interactions, not much focus has been on the role of pulse width modulators in these inter-converter interactions. This paper focuses on the issue and builds upon harmonic state-space modeling (HSS) to observe inter-converter harmonic interactions. A new modulator model is developed, and its implementation within HSS modeling to observe harmonic coupling between multiple inverters is highlighted. A simulation testbench is developed, and to verify the advantages and limitations of the proposed modeling approach, it is compared with two other traditional modeling methods: namely, average and switching models. The proposed method is shown to be significantly more accurate and informative than conventional average modeling methods and has considerably lower computation costs and simulation time than detailed switching models. The results are verified using extensive simulations on MATLAB.

Xue, Yaosuo↗
DOE OSTI2022

Development of a Control Co-Design Modeling Tool for Marine Hydrokinetic Turbines: Preprint

This report describes the ongoing and planned development of the software package CT-Opt (Current/Tidal Optimization), a control co-design modeling tool for marine hydrokinetic turbines. The commercialization of these turbines has faced significant challenges due to the complex, multidisciplinary nature of their design and the extreme environmental conditions of their operation. This project aims to create a modeling tool that will enable the efficient design of robust, cost-competitive hydrokinetic turbine systems. Rather than using traditional optimization methods, CT-Opt combines multiple models across a range of fidelities to enable coupled optimization of the system design and system controller via a control co-design approach. With this method, the parameters that affect system performance are considered more comprehensively at every stage of the design process. The lowest-fidelity, frequency-domain model called by CT-Opt is RAFT (Response Amplitudes of Floating Turbines), which was originally developed by the National Renewable Energy Laboratory (NREL) to model response amplitudes of floating offshore wind turbines. The highest-fidelity, time-domain model is OpenFAST, which was developed by NREL for land-based and offshore wind turbines. As part of the CT-Opt project, new functionalities will be added to RAFT and OpenFAST to enable the accurate simulation of fixed and floating marine hydrokinetic turbines. In addition to expanding the capabilities of RAFT and OpenFAST, new midfidelity models will be developed. These models will be based on RAFT and OpenFAST and will consist of linearized, state-space models derived from the fully coupled, nonlinear OpenFAST equations and derivative function surrogate models that approximate the nonlinear system behavior. Each model will be coupled with controllers to allow control co-design methods to be applied both within models and across fidelity levels, enabling efficient system optimization.

control co-design↗
DOE OSTI2023

Data-Driven Model Predictive Control for Temperature Management of Heat Pipe Microreactor

To enable the self-regulating capability of heat pipe (HP) microreactors, an anticipatory control strategy through model predictive control (MPC) could proactively respond to potential disturbances and deviations in operating setpoints. However, a key factor prohibiting the widespread adoption of MPCs in nuclear applications is the effort and computational costs associated with learning and calibrating first-principles-based process models when the target system is complex and when there are gaps between modeled and target reactor systems. In this paper, we demonstrate data-driven MPC using three approaches for modeling the system dynamics, including a linear state-space model, feedforward neural network, and recurrent neural networks long short-term memory. We present the development and validation process of each model and compare the performance of data-driven MPCs in controlling the temperatures of selected HPs at the evaporator and condenser regions in a 37-HP-monolith system. Our results show that, qualitatively, all data-driven MPCs are producing similar control actions, while quantitatively, with artificial neural nets (especially feedforward neural nets), MPC can better follow drastic changes in setpoints with smallest errors.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2024

Accelerating Thermochemical Equilibrium Calculations for Nuclear Reactor Applications

Thermochemical properties play a key role in modeling and simulation of several key phenomena in nuclear reactors. There has been an increasing interest in incorporating CALPHAD-based formulations in multiphysics simulations including for Molten Salt Reactors where knowledge of phase evolution of the salt and the chemical potentials of various elements are of utmost importance in source term analyses and redox control. However, the size of such simulations is often limited by the high computational cost of full thermodynamic equilibrium calculations. This work discusses the current efforts aimed at accelerating thermochemical equilibrium calculations for multiphysics simulations performed using the open-source finite element / finite volume code Multiphysics Object Oriented Simulation Environment (MOOSE) [1]. While several methods have been proposed for accelerating phase equilibrium calculations [2], most focus on relatively small systems and often rely on a- priori knowledge of the state-space of the system. Nuclear materials, however, are often multi-component systems owing to the evolution of composition under irradiation and an approach based on a-priori mapping of phase diagram is often not enough. This work is aimed at demonstrating an on-the-fly surrogate modeling framework that uses active learning to reduce the number of full equilibrium calculations that must be performed. By combining with efficient coupling approaches, the surrogate framework helps in reducing the computational cost of thermodynamic equilibrium informed multiphysics simulations of nuclear materials. The performance is benchmarked against full coupling with the thermochemistry library Thermochimica [3]. This work uses a machine learning based approach for constructing surrogate models to predict the stable phases in a multicomponent system. The surrogates were constructed using neural networks and Gaussian process classification. In this work, we compare the relative performance of the two methods. We also demonstrate the use of caching previous calculations by interpolating the values from nearest neighbors. References [1] Lindsay, A.D., et al. "2.0 – MOOSE: Enabling massively parallel multiphysics simulation", SoftwareX, 20 (2022): 101202. [2] Roos, W.A. and Zietsman J.H. "Accelerating complex chemical equilibrium calculations – A Review", Calphad, 77 (2022): 102380. [3] Piro, M.H.A., et al. "The thermochemistry library Thermochimica", Computational Materials Science, 67 (2013): 266-272.

36 MATERIALS SCIENCE↗
DOE OSTI2026

A Physics-Based Digital Twin for Wave Elevation and Seabed Moment Estimation of Offshore Monopiles: Preprint

In this work, we present a proof of concept of a physics-based digital twin for a monopile structure (with overhead inertia) subjected to wave loading. The digital twin is formulated using reduced-order models derived from first principles and combined with a Kalman filter for state estimation. The proposed framework estimates the monopile top motion, the wave elevation, and the section forces and moments along the pile using primarily acceleration measurements at the monopile top. Key innovations include the use of a hydrodynamic shape function to represent distributed wave loading in a compact and computationally efficient manner, and the introduction of a shaping filter to augment the state-space with wave kinematics. Synthetic measurement data are generated using OpenFAST and used as a reference to assess the performance of the digital twin. Results demonstrate that the wave elevation can be accurately reconstructed without direct sea-state measurements as long as the wave regime is inertia-dominated. Under the ideal tested conditions, the total hydrodynamic force and sea-bed bending moment are estimated with relative errors on the order of 1% and correlation coefficients exceeding 96%. Future work will evaluate the estimator's performance under operational uncertainties and more complex loading conditions.

17 WIND ENERGY↗
DOE OSTI2024

Experimental validation of a Kalman observer using linearized OpenFAST and a fully instrumented 1:70 model

Abstract To enable real‐time monitoring and control strategies for floating offshore wind turbines, accurate information about the state of the system is needed. This paper details the application of a Kalman filter to the UMaine VolturnUS‐S floating wind platform to provide accurate state estimates in real time using minimal system measurements. The midfidelity nonlinear simulation tool OpenFAST was used to generate the underlying linear state‐space model for the Kalman filter. This linear model and its limitations are demonstrated through comparison with experimental data collected on a 1:70 froude‐scaled model of the floating platform and tower. Using a selection of five measurements from the real system, a Kalman filter was developed to provide estimates for the remaining system states and measurements. These estimates were then validated against the experimental values collected from testing of the scale model. Validation of the Kalman filter produced accurate estimates of surge, heave, and tower base bending moment, measurements of which were not available to the Kalman filter. Performance of the Kalman filter was tested and validated over a range of sea conditions from rated wind speed to storm events and demonstrated robustness in the Kalman filter to maintain accuracy across all operating conditions despite significant error in the underlying linear model for extreme conditions.

17 WIND ENERGY↗
DOE OSTI2025

Enhancing operational safety: The NSTX-U Shorted Turn Protection (STP) system

The NSTX-U Shorted Turn Protection (STP) system is a vital safety feature designed to protect the tokamak’s coils during operations. It employs a Kalman filter-based algorithm to monitor coil currents and detect faults in real-time. If an anomaly is detected, the system swiftly terminates the tokamak pulse to prevent damage. Developed with Matlab and Simulink, the STP system has been validated through real-time simulations, ensuring its effectiveness for the upcoming upgrades of the NSTX-U facility. In conclusion, this article presents the theory for implementation of the STP algorithm and the results from simulation and real-time implementation.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗