Continuous parameter dependence in linear systems of differential equations.
General convergence theorem for linear differential equation systems solution sequence, discussing continuous parameter dependence
SEARCH · Engineering Papers
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.
General convergence theorem for linear differential equation systems solution sequence, discussing continuous parameter dependence
The goal of the ExaWind project is to enable predictive simulations of wind farms composed of many MW-scale turbines situated in complex terrain. Predictive simulations will require computational fluid dynamics (CFD) simulations for which the mesh resolves the geometry of the turbines, and captures the rotation and large deflections of blades. Whereas such simulations for a single turbine are arguably petascale class, multi-turbine wind farm simulations will require exascale-class resources. The primary code in the ExaWind project is Nalu, which is an unstructured-grid solver for the acoustically-incompressible Navier-Stokes equations, and mass continuity is maintained through pressure projection. The model consists of the mass-continuity Poisson-type equation for pressure and a momentum equation for the velocity. For such modeling approaches, simulation times are dominated by linear-system setup and solution for the continuity and momentum systems. For the ExaWind challenge problem, the moving meshes greatly affect overall solver costs as re-initialization of matrices and re-computation of preconditioners is required at every time step We describe in this report our efforts to decrease the setup and solution time for the mass-continuity Poisson system with respect to the benchmark timing results reported in FY18 Q1. In particular, we investigate improving and evaluating two types of algebraic multigrid (AMG) preconditioners: Classical Ruge-Stfiben AMG (C-AMG) and smoothed-aggregation AMG (SA-AMG), which are implemented in the Hypre and Trilinos/MueLu software stacks, respectively. Preconditioner performance was optimized through existing capabilities and settings.
The aim of this book is to provide a systematic and rigorous access to the main topics of linear state-space system theory in both the continuous-time case and the discrete-time case; and the I/O description of linear systems. The main thrusts of the work are the analysis of system descriptions and derivations of their properties, LQ-optimal control, state feedback and state estimation, and MIMO unity-feedback systems.
Self-reorganization methods for complex linear dynamic systems to compensate for component failures
The purpose of this paper is to summarize results for linear multivariable systems that are analogous to those single input single output systems which are 'type l', i.e., that contain l integrators. Both frequency domain and time-domain properties are given. Appropriate conditions that guarantee zero steady state error in tracking vector polynomial inputs are presented.
State variable feedback method for calculating linear automatic control systems
Nonlinearities in piecewise linear automatic control systems, using integral equations
The design and usage of two main subprograms using direct methods to solve large linear complex systems, of the form Ax = b, whose coeffficient matrices are too large to be stored in core are described. The first main subprogram is for systems whose coefficient matrices are of a particular sparse structure, namely, the matrix A can be written in the form B + D, where B is a block-banded system, and D has only a few columns of nonzeros. Key elements of the algorithms used in the subprograms include: the data structure, the strategy for preserving numerical stability, the adaptability of the algorithms for dense systems as well as for block-profile systems.
This paper presents a formulation for identification of linear multivariable systems from single or multiple sets of input-output data. The system input-output relationship is expressed in terms of an observer, which is made asymptotically stable by an embedded eigenvalue assignment procedure. The prescribed eigenvalues for the observer may be real, complex, mixed real and complex, or zero. In this formulation, the Markov parameters of the observer are identified from input-output data. The Markov parameters of the actual system are then recovered from those of the observer, and used to obtain a state space model of the system by standard realization techniques. The basic mathematical formulation is derived, and numerical examples using simulated noise-free data are presented to illustrate the proposed method.
A formulation is presented for the identification of a linear multivariable system from single or multiple sets of input-output data. The system input-output relationship is expressed in terms of an observer, which is made asymptotically stable by an embedded eigenvalue assignment procedure. The prescribed eigenvalues for the observer may be real, complex, mixed real and complex, or zero. In this formulation, the Markov parameters of the observer are identified from input-output data. The Markov parameters of the actual system are then recovered from those of the observer and used to obtain a state space model of the system by standard realization techniques. The basic mathematical formulation is derived, and extensive numerical examples using simulated noise-free data are presented to illustrate the proposed method.
The concept of reliability in systems theory is discussed. Emphasis is placed on identifying failed or degraded systems and constructing a strategy to control the system in the failed mode. Systems are assumed to be linear and transformations into the failed mode occur smoothly. The family into which a nominal system is embedded is examined along with the relations within the family. The class of systems into which a given system can be algebraically transformed is investigated.
The dependence of the Bode response upon digital sample rate for first and second order linear continuous systems driven by a digital computer is derived. Open loop lead compensation introduced within the digital computer in order to increase the system bandwidth is also examined in terms of derived Bode responses. This introduction of lead terms within the digital computer is shown to be effective at operating frequencies below the Nyquist frequency. In most practical applications, empirical determination of these lead coefficients appears to be a sufficient compensation method.
An analysis is made of the maximum response of discrete, linear mechanical systems to arbitrary forcing functions which lie within specified bounds. Primary attention is focused on the complete determination of the forcing function which will engender maximum displacement to any particular mass element of a multi-degree-of-freedom system. In general, the desired forcing function is found to be a bang-bang type function, i.e., a function which switches from the maximum to the minimum bound and vice-versa at certain instants of time. Examples of two-degree-of-freedom systems, with and without damping, are presented in detail. Conclusions are drawn concerning the effect of damping on the switching times and the general procedure for finding these times is discussed.
This paper considers the suboptimal stochastic control of linear discrete-time dynamical systems with unknown or stochastically varying parameters. The suboptimal scheme is based upon the use of the open-loop-feedback-optimal method. The state and parameter estimates are generated by an extended Kalman filter algorithm. Numerical results for first-order systems are presented.
It is shown that the full order adaptive observer for single input, single output, observable, continuous, stable, linear differential systems in the absence of a deterministic or random disturbance vector guarantees the vanishing of observation error, regardless of the size of the constant or slowly varying parameter ignorance. The observer parameters are directly changed in a Liapunov adaptive way so as to eventually yield the unknown full order Luenberger observer. The observer poles throughout may be placed freely in the stable region and no derivatives are required in the adaptive law.
We carry out a classification of two-parameter linear autonomous differential systems with delay with respect to the type of boundaries of domains of a D-partition.
This paper presents a decentralized observer with a consensus filter for the state observation of a discrete-time linear distributed systems. In this setup, each agent in the distributed system has an observer with a model of the plant that utilizes the set of locally available measurements, which may not make the full plant state detectable. This lack of detectability is overcome by utilizing a consensus filter that blends the state estimate of each agent with its neighbors' estimates. We assume that the communication graph is connected for all times as well as the sensing graph. It is proven that the state estimates of the proposed observer asymptotically converge to the actual plant states under arbitrarily changing, but connected, communication and sensing topologies. As a byproduct of this research, we also obtained a result on the location of eigenvalues, the spectrum, of the Laplacian for a family of graphs with self-loops.
Based on a differential geometric feedback linearization technique for nonlinear time-varying systems, a dynamic force control method for robot arms is developed. It uses active force-moment measurements at the robot wrist. The controller design fully incorporate the robot-arm dynamics and is so general that it can be reduced to pure position control, hybrid position/force control, pure force control. The controller design is independent of the tasks to be performed. Computer simulations show that the controller improves the position error by a factor of ten in cases in which position errors generate force measurements. A theorem on linearization of time-varying system is also presented.