Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Differential Dynamic Programming”

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 109 records · Page 6

Shape-dependent control of cell growth, differentiation, and apoptosis: switching between attractors in cell regulatory networks

Development of characteristic tissue patterns requires that individual cells be switched locally between different phenotypes or "fates;" while one cell may proliferate, its neighbors may differentiate or die. Recent studies have revealed that local switching between these different gene programs is controlled through interplay between soluble growth factors, insoluble extracellular matrix molecules, and mechanical forces which produce cell shape distortion. Although the precise molecular basis remains unknown, shape-dependent control of cell growth and function appears to be mediated by tension-dependent changes in the actin cytoskeleton. However, the question remains: how can a generalized physical stimulus, such as cell distortion, activate the same set of genes and signaling proteins that are triggered by molecules which bind to specific cell surface receptors. In this article, we use computer simulations based on dynamic Boolean networks to show that the different cell fates that a particular cell can exhibit may represent a preprogrammed set of common end programs or "attractors" which self-organize within the cell's regulatory networks. In this type of dynamic network model of information processing, generalized stimuli (e.g., mechanical forces) and specific molecular cues elicit signals which follow different trajectories, but eventually converge onto one of a small set of common end programs (growth, quiescence, differentiation, apoptosis, etc.). In other words, if cells use this type of information processing system, then control of cell function would involve selection of preexisting (latent) behavioral modes of the cell, rather than instruction by specific binding molecules. Importantly, the results of the computer simulation closely mimic experimental data obtained with living endothelial cells. The major implication of this finding is that current methods used for analysis of cell function that rely on characterization of linear signaling pathways or clusters of genes with common activity profiles may overlook the most critical features of cellular information processing which normally determine how signal specificity is established and maintained in living cells. Copyright 2000 Academic Press.

Review↗

A Comparison of the Automated Meteorological Profiling System High Resolution Flight Element to the Kennedy Space Center 50 MHz Doppler Wind Profiler

Wind profile measurement and the simulation of aerodynamic loads on a launch vehicle play an important role in determining launch capability and post launch assessment of the vehicle's performance. To date, all United States range certified wind profile measurement systems have been based on balloon tracking. Since the 1960's, the standard used by the National Aeronautics and Space Administration and the Air Force at the Cape Canaveral Air Station (CCAS) for detailed wind profile measurements has been the radar tracked, aerodynamically stabilized Jimsphere balloon system. Currently, the Air Force is nearing certification and operational implementation of the Automated Meteorological Profiling System (AMPS) at CCAS and Vandenburg Air Force Base (VAFB). AMPS uses the Global Positioning System for tracking the Jimsphere balloon. It is anticipated that the AMPS/Jimsphere, named the High Resolution Flight Element (HRFE), will have equivalent, or better resolution than the radar tracked Jimsphere, especially when the balloon is far downrange, at a low elevation angle. By the 1980's, the development of Doppler Wind Profilers (DWP) had become sufficiently advanced to justify an experimental measurement program at Kennedy Space Center (KSC). In 1989 a 50 MHz DWP was installed at KSC. In principal, the 50 MHz DWP has the capability to track the evolution of wind profile dynamics within 5 minutes of a launch. Because of fundamental differences in the measurement technique, there is a significant time and space differential between 50 MHz DWP and HRFE wind profiles. This paper describes a study to quantify these differences from a sample of 50 MHz DWP/HRFE pairs obtained during the AMPS certification test program.

Roberts, Barry C.↗

A Formal Verification Framework for Runtime Assurance

The simplex architecture is an instance of Runtime Assurance (RTA) where a trusted component takes control of a safety-critical system when an untrusted component violates a safety property. This paper presents a formalization of the simplex RTA framework in the language of hybrid programs. A feature of this formal verification framework is that, for a given system, a specific instantiation can be created and its safety properties are guaranteed by construction. Instantiations may be kept at varying levels of generality, allowing for black box components, such as ML/AI-based controllers, to be modeled. The framework is written in the Prototype Verification System (PVS) using Plaidypvs, an embedding of differential dynamic logic in PVS. As a proof of concept, the framework is illustrated on an automatic vehicle braking system.

Runtime assurance↗

A Formal Verification Framework for Runtime Assurance

The simplex architecture is an instance of Runtime Assurance (RTA) where a trusted component takes control of a safety-critical system when an untrusted component violates a safety property. This paper presents a formalization of the simplex RTA framework in the language of hybrid programs. A feature of this formal verification framework is that, for a given system, a specific instantiation can be created and its safety properties are guaranteed by construction. Instantiations may be kept at varying levels of generality, allowing for black box components, such as ML/AI-based controllers, to be modeled. The framework is written in the Prototype Verification System (PVS) using Plaidypvs, an embedding of differential dynamic logic in PVS. As a proof of concept, the framework is illustrated on an automatic vehicle braking system.

Runtime assurance↗

Simulation requirements for the Large Deployable Reflector (LDR)

Simulation tools for the large deployable reflector (LDR) are discussed. These tools are often the transfer function variety equations. However, transfer functions are inadequate to represent time-varying systems for multiple control systems with overlapping bandwidths characterized by multi-input, multi-output features. Frequency domain approaches are the useful design tools, but a full-up simulation is needed. Because of the need for a dedicated computer for high frequency multi degree of freedom components encountered, non-real time smulation is preferred. Large numerical analysis software programs are useful only to receive inputs and provide output to the next block, and should be kept out of the direct loop of simulation. The following blocks make up the simulation. The thermal model block is a classical heat transfer program. It is a non-steady state program. The quasistatic block deals with problems associated with rigid body control of reflector segments. The steady state block assembles data into equations of motion and dynamics. A differential raytrace is obtained to establish a change in wave aberrations. The observation scene is described. The focal plane module converts the photon intensity impinging on it into electron streams or into permanent film records.

Soosaar, K.↗

DEAN - A program for Dynamic Engine ANalysis

The Dynamic Engine Analysis Program, DEAN, is a FORTRAN code implemented on the IBM/370 mainframe at NASA Lewis Research Center for digital simulation of turbofan engine dynamics. DEAN is an interactive program which allows the user to simulate engine subsystems as well as full engine systems with relative ease. The nonlinear first order ordinary differential equations which define the engine model may be solved by one of four integration schemes, a second order Runge-Kutta, a fourth order Runge-Kutta, an Adams Predictor-Corrector, or Gear's method for still systems. The numerical data generated by the model equations are displayed a specified intervals between which the user may choose to modify various parameters affecting the model equations and transient execution. Following the transient run, versatile graphics capabilities allow close examination of the data. DEAN's modeling procedure and capabilities are demonstrated by generating a model of simple compressor rig.

Sadler, G. G.↗

DEAN: A program for dynamic engine analysis

The Dynamic Engine Analysis program, DEAN, is a FORTRAN code implemented on the IBM/370 mainframe at NASA Lewis Research Center for digital simulation of turbofan engine dynamics. DEAN is an interactive program which allows the user to simulate engine subsystems as well as a full engine systems with relative ease. The nonlinear first order ordinary differential equations which define the engine model may be solved by one of four integration schemes, a second order Runge-Kutta, a fourth order Runge-Kutta, an Adams Predictor-Corrector, or Gear's method for still systems. The numerical data generated by the model equations are displayed at specified intervals between which the user may choose to modify various parameters affecting the model equations and transient execution. Following the transient run, versatile graphics capabilities allow close examination of the data. DEAN's modeling procedure and capabilities are demonstrated by generating a model of simple compressor rig.

Sadler, G. G.↗

THERMAL ANNEALING OF IRRADIATED PREHYDRIDED ZIRCALOY-4 MATERIALS

Hydrogen-assisted irradiation growth is an important issue for reliability and performance of nuclear materials in nuclear fuel cladding and fuel assembly components. The mechanisms of irradiation growth are not entirely clear and the role of hydrogen and hydrides are less so. There is evidence that breakaway irradiation growth is strongly influenced by the formation and dynamics of dislocation loops that vary with alloy composition, heat treatment and hydrogen content. Thermal annealing of eight Zircaloy-4 specimens irradiated in the Advanced Test Reactor (ATR) at the Idaho National Laboratory as part of the joint EPRI Nuclear Fuels Industry Research (NFIR) and Fuel Reliability Program (FRP) AsTeR irradiation growth study were performed by hot-stage transmission electron microscopy (TEM), differential scanning calorimetry (DSC), and dilatometry via NSUF RTE 17-1093. Two fluence levels (6.7 and 12.3 dpa) and three hydrogen contents (~10, 40, 120 ppm) were investigated. TEM with a hot stage was used for the quantification of "a" and "c" dislocation loop population densities and size distributions at a range of temperatures from 25 to 800oC. DSC and dilatometry were performed by dynamically heating and cooling from 30 to 750ºC at rates of 5, 10, and 20 oC/min to determine the behavior of dislocation loop annealing. Dynamic temperature DSC tests were able to detect the temperature ranges and enthalpies of "a" and "c" loop annihilation, hydride dissolution and precipitation, secondary particle precipitation, and a?a + ß phase transformations upon heating and cooling. Dilatometry tests showed that all of the test showed initial linear expansion followed by a decrease in expansion rate from about 400 to 600 ºC associated with annihilation of "a" and "c" loops and showed evidence for the thermal stabilizing effect of hydrogen on dislocation loops. The results are discussed in the context of the larger AsTeR program that will include higher exposure (~20 dpa) and different alloys when they become available in 2021.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Modeling the growth dynamics of four candidate crops for Controlled Ecological Life Support Systems (CELSS)

The production of food for human life support for advanced space missions will require the management of many different crops. The research to design these food production capabilities along with the waste management to recycle human metabolic wastes and inedible plant components are parts of Controlled Ecological Life Support Systems (CELSS). Since complete operating CELSS were not yet built, a useful adjunct to the research developing the various pieces of a CELSS are system simulation models that can examine what is currently known about the possible assembly of subsystems into a full CELSS. The growth dynamics of four crops (wheat, soybeans, potatoes, and lettuce) are examined for their general similarities and differences within the context of their important effects upon the dynamics of the gases, liquids, and solids in the CELSS. Data for the four crops currently under active research in the CELSS program using high-production hydroponics are presented. Two differential equations are developed and applied to the general characteristics of each crop growth pattern. Model parameters are determined by closely approximating each crop's data.

Volk, Tyler↗

Deep Learning Explicit Differentiable Predictive Control Laws for Buildings

We present a differentiable predictive control (DPC) methodology for learning constrained control laws for unknown nonlinear systems. DPC poses an approximate solution to multiparametric programming problems emerging from explicit nonlinear model predictive control (MPC). Contrary to approximate MPC, DPC does not require supervision by an expert controller. Instead, a system dynamics model is learned from a small dataset of recorded observations of the perturbed system's dynamics and the control law is optimized offline by interaction with the learned system model. The DPC method is based on two sequential steps, i) system identification using a constrained neural state-space model, and ii) optimization of an explicit control law parametrized by another neural network in closed-loop simulation with the identified neural state-space model. The combination of a differentiable closed-loop system and penalty methods for constraint handling of system outputs and inputs allows us to optimize the control law's parameters directly by backpropagating economic MPC loss through the learned system model. By incorporating domain knowledge and leveraging established techniques from optimal control, our method leverages deep neural networks as nonlinear function approximators for system identification and control while avoiding concomitant costs of intractably large datasets, and computationally expensive over-parametrized models. The scalability, data efficiency, and constrained optimal control capability of the proposed DPC method are demonstrated in simulation using a multi-zone building emulator.

Drgona, Jan↗

Neural network error correction for solving coupled ordinary differential equations

A neural network is presented to learn errors generated by a numerical algorithm for solving coupled nonlinear differential equations. The method is based on using a neural network to correctly learn the error generated by, for example, Runge-Kutta on a model molecular dynamics (MD) problem. The neural network programs used in this study were developed by NASA. Comparisons are made for training the neural network using backpropagation and a new method which was found to converge with fewer iterations. The neural net programs, the MD model and the calculations are discussed.

Shelton, R. O.↗

Discrete Control of a Dynamical System with Delay Under Conditions of Uncertainty

In this paper, we present a numerical solution of the discrete control problem for the immune response in an infectious disease under conditions of uncertainty. This problem is described by a nonlinear system of ordinary differential equation with delay. Conditions of uncertainty mean that values of the parameters of the model are unknown and their estimates are corrected by new experimental data. We propose an algorithm that allows one, within the framework of the mathematical model of an infectious disease, to construct the control and to identify parameters. By using the algorithm proposed, we develop treatment programs based on immunotherapy. We show that immunotherapy is an effective treatment for all main forms of disease: acute, chronic, and lethal.

60 APPLIED LIFE SCIENCES↗

THERMAL DIAGNOSTICS WITH THE ATMOSPHERIC IMAGING ASSEMBLY ON BOARD THE SOLAR DYNAMICS OBSERVATORY: A VALIDATED METHOD FOR DIFFERENTIAL EMISSION MEASURE INVERSIONS

We present a new method for performing differential emission measure (DEM) inversions on narrow-band EUV images from the Atmospheric Imaging Assembly (AIA) on board the Solar Dynamics Observatory. The method yields positive definite DEM solutions by solving a linear program. This method has been validated against a diverse set of thermal models of varying complexity and realism. These include (1) idealized Gaussian DEM distributions, (2) 3D models of NOAA Active Region 11158 comprising quasi-steady loop atmospheres in a nonlinear force-free field, and (3) thermodynamic models from a fully compressible, 3D MHD simulation of active region (AR) corona formation following magnetic flux emergence. We then present results from the application of the method to AIA observations of Active Region 11158, comparing the region's thermal structure on two successive solar rotations. Additionally, we show how the DEM inversion method can be adapted to simultaneously invert AIA and Hinode X-ray Telescope data, and how supplementing AIA data with the latter improves the inversion result. The speed of the method allows for routine production of DEM maps, thus facilitating science studies that require tracking of the thermal structure of the solar corona in time and space.

79 ASTRONOMY AND ASTROPHYSICS↗

Use of piloted simulation for studies of fighter departure/spin susceptibility

The NASA-Langley Research Center has incorporated into its stall/spin research program on military airplanes the use of piloted, fixed-base simulation to complement the existing matrix of unique research testing techniques. The piloted simulations of fighter stall/departure flight dynamics are conducted on the Langley Differential Maneuvering Simulator (DMS). The paper reviews the objectives of the simulation research, presents the rationale underlying the simulation methods and procedures used in the evaluation of airplane characteristics, and discuss in detail the evaluation steps used to assess fighter stall/departure characteristics. Simulation results are presented to illustrate the flight-dynamics phenomena dealt with. The use of the piloted simulation methods and procedures described has been found very effective in identifying stability and control problem areas and in developing automatic control concepts to alleviate many of these problems. A good level of correlation between simulated flight dynamics and flight-test results has been obtained over the many fighter configurations studied in the simulator.

Gilbert, W. P.↗

Use of piloted simulation for studies of fighter departure/spin susceptibility

The NASA-Langley Research Center has incorporated into its stall/spin research program on military airplanes the use of piloted, fixed-base simulation to complement the existing matrix of unique research testing techniques. The piloted simulations of fighter stall/departure flight dynamics are conducted on the Langley Differential Maneuvering Simulator (DMS). The objectives of the simulation research are reviewed. The rationale underlying the simulation methods and procedures used in the evaluation of airplane characteristics is presented. The evaluation steps used to assess fighter stall/departure characteristics are discussed. Simulation results are presented to illustrate the flight dynamics phenomena dealt with. The considerable experience accumulated in the conduct of piloted stall/departure simulation indicates that simulation provides a realistic evaluation of an airplane's maneuverability at high angles of attack and an assessment of the departure and spin susceptibility of the airplane. This realism is obtained by providing the pilot a complete simulation of the airplane and control system which can be flown using a realistic cockpit and visual display in simulations of demanding air combat maneuvering tasks. The use of the piloted simulation methods and procedures described were found very effective in identifying stability and control problem areas and in developing automatic control concepts to alleviate many of these problems. A good level of correlation between simulated flight dynamics and flight test results were obtained over the many fighter configurations studied in the simulator.

Gilbert, W. P.↗

Modal forced vibration analysis of aerodynamically excited turbosystems

Theoretical aspects of a new capability to determine the vibratory response of turbosystems subjected to aerodynamic excitation are presented. Turbosystems such as advanced turbopropellers with highly swept blades, and axial-flow compressors and turbines can be analyzed using this capability. The capability has been developed and implemented in the April 1984 release of the general purpose finite element program NASTRAN. The dynamic response problem is addressed in terms of the normal modal coordinates of these tuned rotating cyclic structures. Both rigid and flexible hubs/disks are considered. Coriolis and centripetal accelerations, as well as differential stiffness effects are included. Generally non-uniform steady inflow fields and uniform flow fields arbitrarily inclined at small angles with respect to the axis of rotation of the turbosystem are considered sources of aerodynamic excitation. The spatial non-uniformities are considered to be small deviations from a principally uniform inflow. Subsonic and supersonic relative inflows are addressed, with provision for linearly interpolating transonic airloads.

Elchuri, V.↗

NASTRAN supplemental documentation for modal forced vibration analysis of aerodynamically excited turbosystems

This report is a supplemental NASTRAN document for a new capability to determine the vibratory response of turbosystems subjected to aerodynamic excitation. Supplements of NASTRAN Theoretical, User's, Programmer's, and Demonstration Manuals are included. Turbosystems such as advanced turbopropellers with highly swept blades, and axial-flow compressors and turbines can be analyzed using this capability, which has been developed and implemented in the April 1984 release of the general purpose finite element program NASTRAN. The dynamic response problem is addressed in terms of the normal modal coordinates of these tuned rotating cyclic structures. Both rigid and flexible hubs/disks are considered. Coriolis and centripetal accelerations, as well as differential stiffness effects are included. Generally nonuniform steady inflow fields and uniform flow fields arbitrarily inclined at small angles with respect to the axis of rotation of the turbosystem are considered as the sources of aerodynamic excitation. The spatial nonuniformities are considered to be small deviations from a principally uniform inflow. Subsonic relative inflows are addressed, with provision for linearly interpolating transonic airloads.

Elchuri, V.↗