Search NASA⌕ Search

SEARCH · Search NASA

Results for “boundedness”

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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS1972

Boundedness regions of discrete-time dynamic systems

Techniques for obtaining quantitative information about boundedness properties are developed and applied to the sampled-data control of satellite attitude with quantization. Relevant stability concepts are introduced as a series of definitions, and interrelationships between various definitions are discussed. The boundedness regions are estimated by means of quadratic Liapunov functions, and a sufficient condition for the existence of a boundedness region is given for a certain class of systems. A quadratic Liapunov function is applied to the Lur'e-Postinkov class of systems, where the linear part of the system is not asymptotically stable and the quantizer represents the nonlinear characteristic. A numerical calculation of the region of boundedness estimates is performed for satellite attitude control and is compared with simulation results. It is tentatively concluded that the Liapunov results may be good and that simulation results may be difficult to interpret and time-consuming to generate. The Lur'e-based technique yields estimates of regions of absolute boundedness, but at the cost of greater analytical complexity.

Siljak, D.↗
NASA NTRS1979

Ultimate boundedness stability and controllability of hereditary systems

By generalizing the Liapunov-Yoshizawa techniques, necessary and sufficient conditions are given for uniform boundedness and uniform ultimate boundedness of a rather general class of nonlinear differential equations of neutral type. Among the applications treated by the methods are the Lienard equation of neutral type and hereditary systems of Lurie type. The absolute stability of this later equation is also investigated. A certain existence result of a solution of a neutral functional differential inclusion with two point boundary values is applied to study the exact function space controllability of a nonlinear neutral functional differential control system. A geometric growth condition is used to characterize both the function space and Euclidean controllability of another nonlinear delay system which has a compact and convex control set. This yields conditions under which perturbed nonlinear delay controllable systems are controllable.

Chukwu, E. N.↗
NASA NTRS1984

Gyro motion boundedness under uncertain vehicle spin and acceleration

Using a quadratic Liapunov function, a condition is obtained for the boundedness of the motion of the gyro mounted in a vehicle which has a time-varying uncertain angular acceleration and deceleration omega-x(t) about the output axis, and is spinning with uncertain angular velocity omega-z(t) about the spin axis of the gyro. A region of ultimate boundedness in the theta-theta plane is obtained which the motion of the gyro eventually enters and in which it remains after a finite interval of time for any uncertain omega-x(t) and omega-z(t). The gyro motion is shown to be bounded if the uncertainty in the spin velocity does not exceed a certain threshold value. This condition disappears if omega-z(t) = 0.

Singh, S. N.↗
NASA NTRS1972

Regions of absolute ultimate boundedness for discrete-time systems.

This paper considers discrete-time systems of the Lur'e-Postnikov class where the linear part is not asymptotically stable and the nonlinear characteristic satisfies only partially the usual sector condition. Estimates of the resulting finite regions of absolute ultimate boundedness are calculated by means of a quadratic Liapunov function.

Siljak, D. D.↗
NASA NTRS1984

Regions of attraction and ultimate boundedness for linear quadratic regulators with nonlinearities

The closed-loop stability of multivariable linear time-invariant systems controlled by optimal linear quadratic (LQ) regulators is investigated for the case when the feedback loops have nonlinearities N(sigma) that violate the standard stability condition, sigma N(sigma) or = 0.5 sigma(2). The violations of the condition are assumed to occur either (1) for values of sigma away from the origin (sigma = 0) or (2) for values of sigma in a neighborhood of the origin. It is proved that there exists a region of attraction for case (1) and a region of ultimate boundedness for case (2), and estimates are obtained for these regions. The results provide methods for selecting the performance function parameters to design LQ regulators with better tolerance to nonlinearities. The results are demonstrated by application to the problem of attitude and vibration control of a large, flexible space antenna in the presence of actuator nonlinearities.

Joshi, S. M.↗
NASA NTRS1984

Estimation of regions of attraction and ultimate boundedness for multiloop LQ regulators

Closed-loop stability is investigated for multivariable linear time-invariant systems controlled by optimal full state feedback linear quadratic (LQ) regulators, with nonlinear gains present in the feedback channels. Estimates are obtained for the region of attraction when the nonlinearities escape the (0.5, infinity) sector in regions away from the origin and for the region of ultimate boundedness when the nonlinearities escape the sector near the origin. The expressions for these regions also provide methods for selecting the performance function parameters in order to obtain LQ designs with better tolerance for nonlinearities. The analytical results are illustrated by applying them to the problem of controlling the rigid-body pitch angle and elastic motion of a large, flexible space antenna.

Joshi, S. M.↗
NASA NTRS1986

Stability of multiloop LQ regulators with nonlinearities. I - Regions of attraction. II - Regions of ultimate boundedness

An investigation is conducted for the closed loop stability of linear time-invariant systems controlled by linear quadratic (LQ) regulators, in cases where nonlinearities exist in the control channels lying outside the stability sector in regions away from the origin. The estimate of the region of attraction thus obtained furnishes methods for the selection of performance function weights for more robust LQ designs. Attention is then given to the closed loop stability of linear time-invariant systems controlled by the LQ regulators when the nonlinearities in the loops escape the stability sector in a bounded region containing the origin.

Joshi, S. M.↗
NASA NTRS1971

Stability of uncertain systems

The asymptotic properties of feedback systems are discussed, containing uncertain parameters and subjected to stochastic perturbations. The approach is functional analytic in flavor and thereby avoids the use of Markov techniques and auxiliary Lyapunov functionals characteristic of the existing work in this area. The results are given for the probability distributions of the accessible signals in the system and are proved using the Prohorov theory of the convergence of measures. For general nonlinear systems, a result similar to the small loop-gain theorem of deterministic stability theory is given. Boundedness is a property of the induced distributions of the signals and not the usual notion of boundedness in norm. For the special class of feedback systems formed by the cascade of a white noise, a sector nonlinearity and convolution operator conditions are given to insure the total boundedness of the overall feedback system.

Blankenship, G. L.↗
NASA NTRS2011

Accommodating Sensor Bias in MRAC for State Tracking

The problem of accommodating unknown sensor bias is considered in a direct model reference adaptive control (MRAC) setting for state tracking using state feedback. Sensor faults can occur during operation, and if the biased state measurements are directly used with a standard MRAC control law, neither closed-loop signal boundedness, nor asymptotic tracking can be guaranteed and the resulting tracking errors may be unbounded or unacceptably large. A modified MRAC law is proposed, which combines a bias estimator with control gain adaptation, and it is shown that signal boundedness can be accomplished, although the tracking error may not go to zero. Further, for the case wherein an asymptotically stable sensor bias estimator is available, an MRAC control law is proposed to accomplish asymptotic tracking and signal boundedness. Such a sensor bias estimator can be designed if additional sensor measurements are available, as illustrated for the case wherein bias is present in the rate gyro and airspeed measurements. Numerical example results are presented to illustrate each of the schemes.

Patre, Parag↗
NASA NTRS2012

Adaptive Control in the Presence of Simultaneous Sensor Bias and Actuator Failures

The problem of simultaneously accommodating unknown sensor biases and unknown actuator failures in uncertain systems is considered in a direct model reference adaptive control (MRAC) setting for state tracking using state feedback. Sensor biases and actuator faults may be present at the outset or may occur at unknown instants of time during operation. A modified MRAC law is proposed, which combines sensor bias estimation with control gain adaptation for accommodation of sensor biases and actuator failures. This control law is shown to provide signal boundedness in the resulting system. For the case when an external asymptotically stable sensor bias estimator is available, an MRAC law is developed to accomplish asymptotic state tracking and signal boundedness. For a special case wherein biases are only present in the rate measurements and bias-free position measurements are available, an MRAC law is developed using a model-independent bias estimator, and is shown to provide asymptotic state tracking with signal boundedness.

Joshi, Suresh M.↗
NASA NTRS1972

Perturbed nonlinear differential equations

The existence of a solution defined for all t and possessing a type of boundedness property is established for the perturbed nonlinear system y = f(t,y) + F(t,y). The unperturbed system x = f(t,x) has a dichotomy in which some solutions exist and are well behaved as t increases to infinity, and some solution exists and are well behaved as t decreases to minus infinity. A similar study is made for a perturbed nonlinear differential equation defined on a half line, R+, and the existence of a family of solutions with special boundedness properties is established. The ideas are applied to integral manifolds.

Proctor, T. G.↗
NASA NTRS2003

Match-bounded String Rewriting Systems

We introduce a new class of automated proof methods for the termination of rewriting systems on strings. The basis of all these methods is to show that rewriting preserves regular languages. To this end, letters are annotated with natural numbers, called match heights. If the minimal height of all positions in a redex is h+1 then every position in the reduct will get height h+1. In a match-bounded system, match heights are globally bounded. Using recent results on deleting systems, we prove that rewriting by a match-bounded system preserves regular languages. Hence it is decidable whether a given rewriting system has a given match bound. We also provide a sufficient criterion for the abence of a match-bound. The problem of existence of a match-bound is still open. Match-boundedness for all strings can be used as an automated criterion for termination, for match-bounded systems are terminating. This criterion can be strengthened by requiring match-boundedness only for a restricted set of strings, for instance the set of right hand sides of forward closures.

Geser, Alfons↗
NASA NTRS2005

Deciding Termination for Ancestor Match- Bounded String Rewriting Systems

Termination of a string rewriting system can be characterized by termination on suitable recursively defined languages. This kind of termination criteria has been criticized for its lack of automation. In an earlier paper we have shown how to construct an automated termination criterion if the recursion is aligned with the rewrite relation. We have demonstrated the technique with Dershowitz's forward closure criterion. In this paper we show that a different approach is suitable when the recursion is aligned with the inverse of the rewrite relation. We apply this idea to Kurth's ancestor graphs and obtain ancestor match-bounded string rewriting systems. Termination is shown to be decidable for this class. The resulting method improves upon those based on match-boundedness or inverse match-boundedness.

Geser, Alfons↗