Search NASA⌕ Search

SEARCH · Search NASA

Results for “quadratic optimization”

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 937 records · Page 52

Digital program for solving the linear stochastic optimal control and estimation problem

A computer program is described which solves the linear stochastic optimal control and estimation (LSOCE) problem by using a time-domain formulation. The LSOCE problem is defined as that of designing controls for a linear time-invariant system which is disturbed by white noise in such a way as to minimize a performance index which is quadratic in state and control variables. The LSOCE problem and solution are outlined; brief descriptions are given of the solution algorithms, and complete descriptions of each subroutine, including usage information and digital listings, are provided. A test case is included, as well as information on the IBM 7090-7094 DCS time and storage requirements.

Geyser, L. C.↗

An optimal momentum management controller for the Space Station

This paper presents a new sequential design procedure for determining an optimal CMG (control moment gyro) momentum management and attitude control system for the Space Station Freedom. First, the Space Station equations of motion are linearized and uncoupled, and the associated state space equations are defined. Next, a new sequential procedure is used for the development of a continuous quadratic regulator with eigenvalue placement in a specified region of the complex plane. The regional pole assignment method is utilized since it is best suited for tradeoffs between eigenvalue locations and robustness with respect to parameter variations, sensor failures, implementation accuracies and gain reductions. The matrix sign function is used for solving the Riccati equations which appear in the design procedure. Simulation results are given which show that the resultant design provides desired system performance.

Sunkel, J. W.↗

Model-based and Model-free Designs for an Extended Continuous-time LQR with Exogenous Inputs

We present an extended linear quadratic regulator (LQR) design for continuous-time linear time-invariant (LTI) systems in the presence of exogenous inputs. We first propose a model-based solution with cost minimization guarantees for states and inputs using dynamic programming (DP). The control law consists of a combination of the optimal state feedback and an additional optimal term dependent on the exogenous inputs. The control gains for the two components are obtained by solving a set of matrix differential equations. We provide these solutions for both finite horizons and steady-state cases. In the second part of the paper, we formulate a reinforcement learning (RL) based algorithm which does not need any model information except the input matrix, and can compute an approximate steady-state LQR gain using measurements of the states, the control inputs, and the exogenous inputs. Both model-based and data-driven optimal control algorithms are tested with a numerical example under different exogenous inputs showcasing the effectiveness of the designs.

Mukherjee, Sayak↗

A Secure Learning Control Strategy via Dynamic Camouflaging for Unknown Dynamical Systems under Attacks

This paper presents a secure reinforcement learning (RL) based control method for unknown linear time-invariant cyber-physical systems (CPSs) that are subjected to compositional attacks such as eavesdropping and covert attack. We consider the attack scenario where the attacker learns about the dynamic model during the exploration phase of the learning conducted by the designer to learn a linear quadratic regulator (LQR), and thereafter, use such information to conduct a covert attack on the dynamic system, which we refer to as doubly learning-based control and attack (DLCA) framework. We propose a dynamic camouflaging based attack-resilient reinforcement learning (ARRL) algorithm which can learn the desired optimal controller for the dynamic system, and at the same time, can inject sufficient misinformation in the estimation of system dynamics by the attacker. The algorithm is accompanied by theoretical guarantees and extensive numerical experiments on a consensus multi-agent system and on a benchmark power grid model.

Mukherjee, Sayak↗

Optimized generation of high resolution breast anthropomorphic software phantoms

Purpose: The authors present an efficient method for generating anthropomorphic software breast phantoms with high spatial resolution. Employing the same region growing principles as in their previous algorithm for breast anatomy simulation, the present method has been optimized for computational complexity to allow for fast generation of the large number of phantoms required in virtual clinical trials of breast imaging. Methods: The new breast anatomy simulation method performs a direct calculation of the Cooper's ligaments (i.e., the borders between simulated adipose compartments). The calculation corresponds to quadratic decision boundaries of a maximum a posteriori classifier. The method is multiscale due to the use of octree-based recursive partitioning of the phantom volume. The method also provides user-control of the thickness of the simulated Cooper's ligaments and skin. Results: Using the proposed method, the authors have generated phantoms with voxel size in the range of (25-1000 {mu}m){sup 3}/voxel. The power regression of the simulation time as a function of the reciprocal voxel size yielded a log-log slope of 1.95 (compared to a slope of 4.53 of our previous region growing algorithm). Conclusions: A new algorithm for computer simulation of breast anatomy has been proposed that allows for fast generation of high resolution anthropomorphic software phantoms.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

Using Filter Methods to Guide Convergence for ADMM, with Applications to Nonnegative Matrix Factorization Problems

Nonconvex, nonlinear optimization problems arise naturally in parameter fitting and machine learning. While augmented Lagrangian methods have demonstrated robust convergence for classes of these problems, their convergence for block updates has been relatively unexplored outside of the context of the alternating direction method of multipliers (ADMM). ADMM has seen extensive use in these applications, but may exhibit uncertain convergence behavior in many practical nonconvex settings, and struggles with general nonlinear constraints. In contrast, filter methods have proved effective in enforcing convergence for sequential quadratic programming methods and interior point methods with feasibility criteria. We develop an ADMM-filter method for highly nonlinear and nonconvex problems. Here, we show convergence under mild assumptions for several types of coordinate descent schemes, and demonstrate our algorithm on nonnegative matrix factorization and completion problems in imaging and chemical spectrum analysis.

Nonconvex optimization↗

Responses of Marginal and Intrinsic Water-Use Efficiency to Changing Aridity Using FLUXNET Observations

According to classic stomatal optimization theory, plant stomata are regulated to maximize carbon assimilation for a given water loss. A key component of stomatal optimization models is marginal water-use efficiency (mWUE), the ratio of the change of transpiration to the change in carbon assimilation. Although the mWUE is often assumed to be constant, variability of mWUE under changing hydrologic conditions has been reported. However, there has yet to be a consensus on the patterns of mWUE variabilities and their relations with atmospheric aridity. We investigate the dynamics of mWUE in response to vapor pressure deficit (VPD) and aridity index using carbon and water fluxes from 115 eddy covariance towers available from the global database FLUXNET. We demonstrate a non-linear mWUE-VPD relationship at a sub-daily scale in general; mWUE varies substantially at both low and high VPD levels. However, mWUE remains relatively constant within the mid-range of VPD. Despite the highly non-linear relationship between mWUE and VPD, the relationship can be informed by the strong linear relationship between ecosystem-level inherent water-use efficiency (IWUE) and mWUE using the slope, m *. We further identify site-specific m * and its variability with changing site-level aridity across six vegetation types. We suggest accurately representing the relationship between IWUE and VPD using Michaelis–Menten or quadratic functions to ensure precise estimation of mWUE variability for individual sites.

54 ENVIRONMENTAL SCIENCES↗

Quantum fisher information reveals UV-IR mixing in the strange metal

The density-density response in optimally doped Bi 2 Sr 2 CaCu 2 O 8+$x$ has recently been shown to exhibit conformal symmetry. Using, the experimentally inferred conformal dynamic susceptibility, we compute the resultant quantum Fisher information (QFI), a witness to multi-partite entanglement. For a Fermi liquid, we find that the QFI grows quadratically as the temperature increases, consistent then with the phase space available for scattering in the standard theory of metals. By contrast, the QFI in a strange metal increases as a power law at as the temperature decreases, but ultimately extrapolates to a constant at T=0. The constant is of the form, ω$^{2Δ}_g$, where Δ is the conformal dimension and ω g is the UV cutoff which is on the order of the pseudogap. As this constant depends on both UV and IR properties, it illustrates that multipartite entanglement in a strange metal exhibits UV-IR mixing, a benchmark feature of doped Mott insulators as exemplified by dynamical spectral weight transfer. We conclude with a discussion of the implication of our results for low-energy reductions of the Hubbard model.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

A Logarithmic Bayesian Approach to Quantum Error Detection

We consider the problem of continuous quantum error correction from a Bayesian perspective, proposing a pair of digital filters using logarithmic probabilities that are able to achieve near-optimal performance on a three-qubit bit-flip code, while still being reasonable to implement on low-latency hardware. These practical filters are approximations of an optimal filter that we derive explicitly for finite time steps, in contrast with previous work that has relied on stochastic differential equations such as the Wonham filter. By utilizing logarithmic probabilities, we are able to eliminate the need for explicit normalization and can reduce the Gaussian noise distribution to a simple quadratic expression. The state transitions induced by the bit-flip errors are modeled using a Markov chain, which for log-probabilities must be evaluated using a LogSumExp function. We develop the two versions of our filter by constraining this LogSumExp to have either one or two inputs, which favors either simplicity or accuracy, respectively. Using simulated data, we demonstrate that the single-term and two-term filters are able to significantly outperform both a double threshold scheme and a linearized version of the Wonham filter in tests of error detection under a wide variety of error rates and time steps.

97 MATHEMATICS AND COMPUTING↗

Frequency Domain Control Design of Large Space Structures: A Practical Approach

Requirements indicate the need for much larger, more accurate, and in some cases, very dynamic satellites. Large control system bandwidths are needed to meet accuracy and response requirements while maintaining tight control over appendage oscillations. Studies in recent years have shown that linear quadratic Gaussian (LQG) controllers can achieve the desired performance if the system is linearized and if the system model is accurate. Results of an LQG controller applied to a single axis satellite with large solar arrays, are given. A reduced order model (ROM) comprises rigid body motion with dominant structural modes. Optimal control and estimation gains are calculated based on an extremely conservative 0.0005 critical damping ratio. In order to examine stability characteristics, single-input single-output (SISO) frequency response concepts are generalized to develop a method of displaying open loop frequency response of multi-input multi-output (MIMO) control system.

Harding, R.↗

Stochastic model of the NASA/MSFC ground facility for large space structures with uncertain parameters: The maximum entropy approach, part 2

A validated technology data base is being developed in the areas of control/structures interaction, deployment dynamics, and system performance for Large Space Structures (LSS). A Ground Facility (GF), in which the dynamics and control systems being considered for LSS applications can be verified, was designed and built. One of the important aspects of the GF is to verify the analytical model for the control system design. The procedure is to describe the control system mathematically as well as possible, then to perform tests on the control system, and finally to factor those results into the mathematical model. The reduction of the order of a higher order control plant was addressed. The computer program was improved for the maximum entropy principle adopted in Hyland's MEOP method. The program was tested against the testing problem. It resulted in a very close match. Two methods of model reduction were examined: Wilson's model reduction method and Hyland's optimal projection (OP) method. Design of a computer program for Hyland's OP method was attempted. Due to the difficulty encountered at the stage where a special matrix factorization technique is needed in order to obtain the required projection matrix, the program was successful up to the finding of the Linear Quadratic Gaussian solution but not beyond. Numerical results along with computer programs which employed ORACLS are presented.

Hsia, Wei Shen↗

Route Monopolie and Optimal Nonlinear Pricing

To cope with air traffic growth and congested airports, two solutions are apparent on the supply side: 1) use larger aircraft in the hub and spoke system; or 2) develop new routes through secondary airports. An enlarged route system through secondary airports may increase the proportion of route monopolies in the air transport market.The monopoly optimal non linear pricing policy is well known in the case of one dimension (one instrument, one characteristic) but not in the case of several dimensions. This paper explores the robustness of the one dimensional screening model with respect to increasing the number of instruments and the number of characteristics. The objective of this paper is then to link and fill the gap in both literatures. One of the merits of the screening model has been to show that a great varieD" of economic questions (non linear pricing, product line choice, auction design, income taxation, regulation...) could be handled within the same framework.VCe study a case of non linear pricing (2 instruments (2 routes on which the airline pro_ddes customers with services), 2 characteristics (demand of services on these routes) and two values per characteristic (low and high demand of services on these routes)) and we show that none of the conclusions of the one dimensional analysis remain valid. In particular, upward incentive compatibility constraint may be binding at the optimum. As a consequence, they may be distortion at the top of the distribution. In addition to this, we show that the optimal solution often requires a kind of form of bundling, we explain explicitly distortions and show that it is sometimes optimal for the monopolist to only produce one good (instead of two) or to exclude some buyers from the market. Actually, this means that the monopolist cannot fully apply his monopoly power and is better off selling both goods independently.We then define all the possible solutions in the case of a quadratic cost function for a uniform distribution of agent types and explain the implications for airlines in terms of service differentiation.

Tournut, Jacques↗

Joint Optimization Scheme for the Planning and Operations of Shared Autonomous Electric Vehicle Fleets Serving Mobility on Demand

As the transportation sector undergoes three major transformations—electrification, shared/on-demand mobility, and automation—there are new challenges to analyzing the impacts of these trends on both the transportation system and the power sector. Most models that analyze the requirements of fleets of shared autonomous electric vehicles (SAEVs) operate at the scale of an urban region, or smaller. A quadratically constrained, quadratic programming problem is formulated, designed to model the requirements of SAEVs at a national scale. The size of the SAEV fleet, the necessary charging infrastructure, the fleet charging schedule, and the dispatch required to serve demand for trips in a region are treated as decision variables. By minimizing both the amortized cost of the fleet and chargers as well as the operational costs of charging, it is possible to explore the coupled interactions between system design and operation. To apply the model at a national scale, key complications about fleet operations are simplified; but a detailed agent-based regional simulation model to parameterize those simplifications is leveraged. Preliminary results are presented, finding that all mobility in the United States (U.S.) currently served by 276 million personally owned vehicles could be served by 12.5 million SAEVs at a cost of $\$ 0.27$/vehicle-mile or $ 0.18/passenger-mile. In conclusion, the energy requirements for this fleet would be 1142 GWh/day (8.5% of 2017 U.S. electricity demand) and the peak charging load 76.7 GW (11% of U.S. power peak). Several model sensitivities are explored, and it is found that sharing is a key factor in the analysis.

33 ADVANCED PROPULSION SYSTEMS↗

Optimal output feedback design of systems with ill-conditioned dynamics

Singular perturbation concepts are exploited to develop a procedure for designing a constant gain, output feedback control system. It is assumed that the original system is ill-conditioned in the sense that the plant contains widely separated dynamics, and that an accurate description for the high frequency behavior may not be available. The design procedure attempts to stabilize the system by minimizing a quadratic cost function made up of the control and states associated with a reduced order (low frequency) model for the plant, and a measure of stability for the neglected fast dynamics. The resulting design procedure does not require knowledge of the fast dynamics.

Calise, A. J.↗

Model-independent Exoplanet Transit Spectroscopy

We propose a new data analysis method for obtaining transmission spectra of exoplanet atmospheres and brightness variation across the stellar disk from transit observations. The new method is capable of recovering exoplanet atmosphere absorption spectra and stellar specific intensities without relying on theoretical models of stars and planets. We simultaneously fit both stellar specific intensity and planetary radius directly to transit light curves. This allows stellar models to be removed from the data analysis. Furthermore, we use a data quality weighted filtering technique to achieve an optimal trade-off between spectral resolution and reconstruction fidelity homogenizing the signal-to-noise ratio across the wavelength range. Such an approach is more efficient than conventional data binning onto a low-resolution wavelength grid. We demonstrate that our analysis is capable of reproducing results achieved by using an explicit quadratic limb-darkening equation and that the filtering technique helps eliminate spurious spectral features in regions with strong telluric absorption. The method is applied to the VLT FORS2 observations of the exoplanets GJ 1214 b and WASP-49 b, and our results are in agreement with previous studies. Comparisons between obtained stellar specific intensity and numerical models indicates that the method is capable of accurately reconstructing the specific intensity. The proposed method enables more robust characterization of exoplanetary atmospheres by separating derivation of planetary transmission and stellar specific intensity spectra (that is model-independent) from chemical and physical interpretation.

79 ASTRONOMY AND ASTROPHYSICS↗

Optimization for efficient structure-control systems

The efficiency of a structure-control system is a nondimensional parameter which indicates the fraction of the total control power expended usefully in controlling a finite-dimensional system. The balance of control power is wasted on the truncated dynamics serving no useful purpose towards the control objectives. Recently, it has been demonstrated that the concept of efficiency can be used to address a number of control issues encountered in the control of dynamic systems such as the spillover effects, selection of a good input configuration and obtaining reduced order control models. Reference (1) introduced the concept and presented analyses of several Linear Quadratic Regulator designs on the basis of their efficiencies. Encouraged by the results of Ref. (1), Ref. (2) introduces an efficiency modal analysis of a structure-control system which gives an internal characterization of the controller design and establishes the link between the control design and the initial disturbances to affect efficient structure-control system designs. The efficiency modal analysis leads to identification of principal controller directions (or controller modes) distinct from the structural natural modes. Thus ultimately, many issues of the structure-control system revolve around the idea of insuring compatibility of the structural modes and the controller modes with each other, the better the match the higher the efficiency. A key feature in controlling a reduced order model of a high dimensional (or infinity-dimensional distributed parameter system) structural dynamic system must be to achieve high efficiency of the control system while satisfying the control objectives and/or constraints. Formally, this can be achieved by designing the control system and structural parameters simultaneously within an optimization framework. The subject of this paper is to present such a design procedure.

Oz, Hayrani↗

Extended Decentralized Linear-Quadratic-Gaussian Control

A straightforward extension of a solution to the decentralized linear-Quadratic-Gaussian problem is proposed that allows its use for commonly encountered classes of problems that are currently solved with the extended Kalman filter. This extension allows the system to be partitioned in such a way as to exclude the nonlinearities from the essential algebraic relationships that allow the estimation and control to be optimally decentralized.

Carpenter, J. Russell↗

Optimal controllers for finite wordlength implementation

There exist realizations of a given controller transfer function yielding arbitrarily large effects from computational errors. Since, in general, there is no upper bound, it is important to have a systematic way of reducing these effects. Optimum controller designs are developed which take into account the digital round-off errors in the controller implementation and in the A/D and D/A converters. These results provide a natural extension to the LQG (linear quadratic Gaussian) theory since they reduce to the standard LQG controller when infinite-precision computation is used, but for finite precision the separation principle does not hold.

Liu, K.↗