Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “infinite-dimensional”

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 37 records · Page 2

Control of large spaceborne antenna systems with flexible booms by mechanical decoupling

A simple practical method for designing antenna-feed attitude control systems for large deployable spaceborne antenna systems with long flexible booms is proposed. The basic idea is to mechanically decouple the antenna-feed from the boom so that the feed-attitude control system can be designed without taking the boom dynamics into consideration, thus avoiding a complex control problem involving an infinite-dimensional distributed parameter system. The validity of the proposed method is substantiated by analytical and numerical studies using a mathematical model for the flexible boom which could undergo both bending and torsional vibrations. This approach leads to simple antenna-feed attitude control systems which are amenable to physical implementation.

Wang, P. K. C.↗

Finite-dimensional discrete-time control of linear distributed parameter systems

Systems described by partial differential equations have an infinite-dimensional state space. Feedback control of such distributed parameter systems must be accomplished by finite-dimensional controllers to be implemented by on-line digital computers. A further practical constraint is that the controller must operate in discrete (rather than continuous) time. This paper investigates the stability of such distributed parameter feedback controllers in closed-loop with the actual system.

Balas, M. J.↗

Optimal quasi-static shape control for large aerospace antennae

In this paper, an on-line control approach which will adjust the steady-state shape of a large antenna arbitarily close to any achievable desired profile is proposed. The method makes use of distributed parameter system theory and allows refocusing using a limited number of control actuators and sensors. The controller gains are calculated by approximating the solution to an infinite-dimensional optimal quasi-static control problem. A very general convergence result for such quasi-static controllers is proved and applied to the antenna controller to show convergence, using any Galerkin (finite-element) approximation method.

Balas, M. J.↗

Fault-tolerant control of large space structures using the stable factorization approach

Large space structures are characterized by the following features: they are in general infinite-dimensional systems, and have large numbers of undamped or lightly damped poles. Any attempt to apply linear control theory to large space structures must therefore take into account these features. Phase I consisted of an attempt to apply the recently developed Stable Factorization (SF) design philosophy to problems of large space structures, with particular attention to the aspects of robustness and fault tolerance. The final report on the Phase I effort consists of four sections, each devoted to one task. The first three sections report theoretical results, while the last consists of a design example. Significant results were obtained in all four tasks of the project. More specifically, an innovative approach to order reduction was obtained, stabilizing controller structures for plants with an infinite number of unstable poles were determined under some conditions, conditions for simultaneous stabilizability of an infinite number of plants were explored, and a fault tolerance controller design that stabilizes a flexible structure model was obtained which is robust against one failure condition.

Razavi, H. C.↗

Selection principles and pattern formation in fluid mechanics and nonlinear shell theory

Wave theories of vortex breakdown were studied. A setting which involved dynamical systems and bifurcations of homoclinic and heteroclinic orbits in infinite-dimensional spaces was investigated. The determination of axisymmetric inviscid flows bifurcating from the primary flow lead to the study of a system of ordinary differential equations. The problem of rotating plane Couette flow was solved by means of the structure parameter approach.

Sather, Duane P.↗

A method for designing robust multivariable feedback systems

A new methodology is developed for the synthesis of linear, time-invariant (LTI) controllers for multivariable LTI systems. The aim is to achieve stability and performance robustness of the feedback system in the presence of multiple unstructured uncertainty blocks; i.e., to satisfy a frequency-domain inequality in terms of the structured singular value. The design technique is referred to as the Causality Recovery Methodology (CRM). Starting with an initial (nominally) stabilizing compensator, the CRM produces a closed-loop system whose performance-robustness is at least as good as, and hopefully superior to, that of the original design. The robustness improvement is obtained by solving an infinite-dimensional, convex optimization program. A finite-dimensional implementation of the CRM was developed, and it was applied to a multivariate design example.

Milich, David Albert↗

A methodology for the synthesis of robust feedback systems

A new methodology is developed for the synthesis of linear, time-variant (LTI) controllers for multivariable LTI systems. The resulting closed-loop system is nominally stable and exhibits a known level of performance. In addition, robustness of the feedback system is guaranteed, i.e., stability and performance are retained in the presence of multiple unstructured uncertainty blocks located at various points in the feedback loop. The design technique is referred to as the Causality Recovery Methodology (CRM). The CRM relies on the Youla parameterization of all stabilizing compensators to ensure nominal stability of the feedback system. A frequency-domain inequality in terms of the structured singular value mu defines the robustness specification. The optimal compensator, with respect to the mu condition, is shown to be noncausal in general. The aim of the CRM is to find a stable, causal transfer function matrix that approximates the robustness characteristics of the optimal solution. The CRM, via a series of infinite-dimensional convex programs, produces a closed-loop system whose performance robustness is at least as good as that of any initial design. The algorithm is approximated by a finite dimensional process for the purposes of implementation. Two numerical examples confirm the potential viability of the CRM concept; however, the robustness improvement comes at the expense of increased computational burden and compensator complexity.

Milich, David Albert↗

Finite-dimensional approximation for optimal fixed-order compensation of distributed parameter systems

In controlling distributed parameter systems it is often desirable to obtain low-order, finite-dimensional controllers in order to minimize real-time computational requirements. Standard approaches to this problem employ model/controller reduction techniques in conjunction with LQG theory. In this paper we consider the finite-dimensional approximation of the infinite-dimensional Bernstein/Hyland optimal projection theory. This approach yields fixed-finite-order controllers which are optimal with respect to high-order, approximating, finite-dimensional plant models. The technique is illustrated by computing a sequence of first-order controllers for one-dimensional, single-input/single-output, parabolic (heat/diffusion) and hereditary systems using spline-based, Ritz-Galerkin, finite element approximation. Numerical studies indicate convergence of the feedback gains with less than 2 percent performance degradation over full-order LQG controllers for the parabolic system and 10 percent degradation for the hereditary system.

Bernstein, Dennis S.↗

Suboptimal shape control for quasi-static distributed-parameter systems

An on-line control approach which will adjust the steady-state shape of a large antenna arbitrarily close to any achievable desired profile is approached. The method makes use of distributed-parameter system theory and allows refocusing using a limited number of control actuators and sensors. The controller gains are calculated by approximating the solution to an infinite-dimensional optimal quasi-static control problem. The controller gain calculation is computationally simpler than that previously proposed. The Galerkin (finite element) approximation method is used for model reduction. It is proved that both gain and state convergence can be achieved by using the proposed approximation scheme.

Balas, M. J.↗

Time-dependent approximation schemes for some problems of parameter estimation in distributed systems

A parameter estimation method that can be used to estimate functional parameters in delay differential equations and moving boundary problems is discussed. In either problem, the original model equation (which is infinite-dimensional) is approximated by a system of ordinary differential equations that can be solved numerically in an efficient way. The approximation scheme is based on time-dependent spline elements. For the delay equation with time-varying delay, convergence results are presented that indicate the estimates obtained using the approximating system. Numerical test examples converge in some sense to a best-fit parameter for the original system are included by means of which time-varying and state-dependent delays and a time-varying diffusion coefficient in a one-phase, one-dimensional Stefan problem are estimated.

Murphy, K. A.↗

Stochastic control of infinite dimensional systems in Hilbert space: A factorization perspective

A factorization perspective on problems of optimal causal estimation and optimal causal control of linear stochastic systems defined on an infinite-dimensional Hilbert space is presented. A separation principle is derived for the case in which the system input/output map is generated by an abstract evolution operator. The factorization formalism allows for an essentially algebraic approach to these problems.

Milman, Mark M.↗

Performance of lightweight manipulators under joint variable feedback control - Analytical study of limitations

The performance limitations of joint-variable-feedback-controlled manipulators due to manipulator flexibility are studied in fine and gross motions. A finite-dimensional time-domain manipulator model is used in the study. Fine-motion analysis results agree very well with the previously reported results of infinite-dimensional frequency-domain models. The limitations of a class of adaptive controllers in high-speed gross motion control are studied. Manipulation speeds are quantified as low, medium, or high with reference to the arm flexibility and dynamic nonlinearities.

Cetinkunt, Sabri↗

A Mathematical Formulation of the SCOLE Control Problem. Part 2: Optimal Compensator Design

The study initiated in Part 1 of this report is concluded and optimal feedback control (compensator) design for stability augmentation is considered, following the mathematical formulation developed in Part 1. Co-located (rate) sensors and (force and moment) actuators are assumed, and allowing for both sensor and actuator noise, stabilization is formulated as a stochastic regulator problem. Specializing the general theory developed by the author, a complete, closed form solution (believed to be new with this report) is obtained, taking advantage of the fact that the inherent structural damping is light. In particular, it is possible to solve in closed form the associated infinite-dimensional steady-state Riccati equations. The SCOLE model involves associated partial differential equations in a single space variable, but the compensator design theory developed is far more general since it is given in the abstract wave equation formulation. The results thus hold for any multibody system so long as the basic model is linear.

Balakrishnan, A. V.↗

Confidence set inference with a prior quadratic bound

In the uniqueness part of a geophysical inverse problem, the observer wants to predict all likely values of P unknown numerical properties z = (z sub 1,...,z sub p) of the earth from measurement of D other numerical properties y(0)=(y sub 1(0),...,y sub D(0)) knowledge of the statistical distribution of the random errors in y(0). The data space Y containing y(0) is D-dimensional, so when the model space X is infinite-dimensional the linear uniqueness problem usually is insoluble without prior information about the correct earth model x. If that information is a quadratic bound on x (e.g., energy or dissipation rate), Bayesian inference (BI) and stochastic inversion (SI) inject spurious structure into x, implied by neither the data nor the quadratic bound. Confidence set inference (CSI) provides an alternative inversion technique free of this objection. CSI is illustrated in the problem of estimating the geomagnetic field B at the core-mantle boundary (CMB) from components of B measured on or above the earth's surface. Neither the heat flow nor the energy bound is strong enough to permit estimation of B(r) at single points on the CMB, but the heat flow bound permits estimation of uniform averages of B(r) over discs on the CMB, and both bounds permit weighted disc-averages with continous weighting kernels. Both bounds also permit estimation of low-degree Gauss coefficients at the CMB. The heat flow bound resolves them up to degree 8 if the crustal field at satellite altitudes must be treated as a systematic error, but can resolve to degree 11 under the most favorable statistical treatment of the crust. These two limits produce circles of confusion on the CMB with diameters of 25 deg and 19 deg respectively.

Backus, George E.↗

Vector fields and nilpotent Lie algebras

An infinite-dimensional family of flows E is described with the property that the associated dynamical system: x(t) = E(x(t)), where x(0) is a member of the set R to the Nth power, is explicitly integrable in closed form. These flows E are of the form E = E1 + E2, where E1 and E2 are the generators of a nilpotent Lie algebra, which is either free, or satisfies some relations at a point. These flows can then be used to approximate the flows of more general types of dynamical systems.

Grayson, Matthew↗

A novel approach to the modelling and control of flexible robot arms

A general dynamic model of a two-link Euler-Bernoulli beam flexible robot arm is presented in the form of partial-differential-integral equations. Observations are made on important properties of the dynamic model. The resulting infinite-dimensional system is then input-output decoupled and partially linearized by a diffeomorphic state transformation and nonlinear state feedback. The local stability issue is addressed for a one-link flexible robot arm.

Ding, Xuru↗

Controller synthesis for infinite dimensional systems based on a passivity approach

The author discusses a generalization of hyperstability to systems in Hilbert space and its application to finite-dimensional stabilizing compensator design. The basic idea is to characterize tolerable perturbations in terms of the passivity of the nominal closed-loop system. Controllers achieving the required closed-loop passivity property can then be designed using H(infinity)-optimization. In particular, the author presents a design procedure for a stabilizing a finite-dimensional compensator for a given infinite-dimensional system.

Wen, John T.↗

A method for designing robust multivariable feedback systems

A new methodology is developed for the synthesis of linear, time-invariant (LTI) controllers for multivariable LTI systems. The aim is to achieve stability and performance robustness of the feedback system in the presence of multiple unstructured uncertainty blocks; i.e., to satisfy a frequency-domain inequality in terms of the structured singular value. The design technique is referred to as the causality recovery methodology (CRM). Starting with an initial (nominally) stabilizing compensator, the CRM produces a closed-loop system whose performance-robustness is at least as good as, and hopefully superior to, that of the original design. The robustness improvement is obtained by solving an infinite-dimensional, convex optimization program. A finite-dimensional implementation of the CRM was developed, and it was applied to a multivariate design example.

Milich, David A.↗