Engineering topics
Publications and source records attributed to Su, R..
The conceptions of transformation and canonical form have been much used to analyze the structure of linear systems. A coordinate system and a corresponding canonical form are developed for general nonlinear control systems. Their usefulness is demonstrated by showing that every feedback linearizable system becomes a system with only feedback paths in the canonical form.
For a nonlinear system with output derivative x = f(x) and y = h(x), two types of linearizations about a point x(0) in state space are considered. One is the usual Taylor series approximation, and the other is defined by linearizing the appropriate Lie derivatives of the output with respect to f about x(0). The latter is called the obvservation model and appears to be quite natural for observation. It is noted that there is a coordinate system in which these two kinds of linearizations agree. In this coordinate system, a technique to construct an observer is introduced.
The theory of transformations of nonlinear systems to linear ones is applied to the design of an automatic flight controller for the UH-1H helicopter. The helicopter mathematical model is described and it is shown to satisfy the necessary and sufficient conditions for transformability. The mapping is constructed, taking the nonlinear model to canonical form. The performance of the automatic control system in a detailed simulation on the flight computer is summarized.
Transformations of nonlinear systems were used to design automatic flight controllers for vertical and short takeoff aircraft. Under the assumption that a nonlinear system can be mapped to a controllable linear system, a method using partial differential equations was constructed to approximate transformations in cases where exact ones cannot be found. An application of the design theory to a rotorcraft, the UH-1H helicopter, was presented.
Sufficient conditions that a two-dimensinal system with output is locally observable are presented. Known results depend on time derivatives of the output and the inverse function theorem. In some cases, no information is provided by these theories, and one must study observability by other methods. The observability problem is dualized to the controllability problems, and the deep results of Hermes on local controllability are applied to prove a theorem concerning local observability.
Necessary and sufficient conditions for transforming a nonlinear system to a controllable linear system have been established, and this theory has been applied to the automatic flight control of aircraft. These transformations show that the nonlinearities in a system are often not intrinsic, but are the result of unfortunate choices of coordinates in both state and control variables. Given a nonlinear system (that may not be transformable to a linear system), we construct a canonical form in which much of the nonlinearity is removed from the system. If a system is not transformable to a linear one, then the obstructions to the transformation are obvious in canonical form. If the system can be transformed (it is called a linear equivalent), then the canonical form is a usual one for a controllable linear system. Thus our theory of canonical forms generalizes the earlier transformation (to linear systems) results. Our canonical form is not unique, except up to solutions of certain partial differential equations we discuss. In fact, the important aspect of this paper is the constructive procedure we introduce to reach the canonical form. As is the case in many areas of mathematics, it is often easier to work with the canonical form than in arbitrary coordinate variables.
The development of a method for designing an automatic flight controller for short and vertical take off aircraft is discussed. This technique involves transformations of nonlinear systems to controllable linear systems and takes into account the nonlinearities of the aircraft. In general, the transformations cannot always be given in closed form. Using partial differential equations, an approximate linear system called the modified tangent model was introduced. A linear transformation of this tangent model to Brunovsky canonical form can be constructed, and from this the linear part (about a state space point x sub 0) of an exact transformation for the nonlinear system can be found. It is shown that a canonical expansion in Lie brackets about the point x sub 0 yields the same modified tangent model.
Necessary and sufficient conditions for a nonlinear system of equations to be locally equivalent, in a neighborhood of the origin in the real number system, to a controllable linear system are combined with several versions of the global inverse function theorem to define sufficient conditions for transforming the nonlinear system into a linear system. Additionally, a technique is introduced for developing a transformation under the assumptions that the columns of a controllability matrix span an n-dimensional space. Finally, the n-l form of the controllability matrix columns is demonstrated to be involutive
A technique for designing automatic flight controllers for aircraft which utilizes the transformation theory of nonlinear systems to linear systems is presently being developed at NASA Ames Research Center. A method is considered in which a given nonlinear is transformed to a controllable linear system in Brunovsky canonical form. A linear approximation is introduced to the nonlinear system called the modified tangent model. This model is easily computed. Constructing the transformation for this model enables the designer to find an approximate transformation for the nonlinear system.
A method for designing an automatic flight controller for short and vertical takeoff aircraft is presently being developed at NASA Ames Research Center. This technique involves transformations of nonlinear systems to controllable linear systems and takes into account the nonlinearities of the aircraft. In general, the transformations cannot always be given in closed form. Using partial differential equations, an approximate linear system, called the modified tangent model, was recently introduced. A linear transformation of this tangent model to Brunovsky canonical form can be constructed, and from this an approximation of an exact transformation for the nonlinear system can be found. It is shown that a canonical expansion in Lie brackets about the point x(0) yields the same modified tangent model.
A natural coordinate system for nonlinear systems of the form x = f(x) + g(x)u is discussed where x is a element of R(N), u is an element of R, and f and g are analytic, vector-valued functions on R(N). It is shown that in these coordinates the equation becomes a system with only feedback paths (no feedforwards), if feedback linearizability conditions are satisfied.
An automatic flight control systems design methods for aircraft that have complex characteristics and operational requirements, such as the powered lift STOL and V/STOL configurations are discussed. The method is effective for a large class of dynamic systems that require multiaxis control and that have highly coupled nonlinearities, redundant controls, and complex multidimensional operational envelopes. The method exploits the possibility of linearizing the system over its operational envelope by transforming the state and control. The linear canonical forms used in the design are described, and necessary and sufficient conditions for linearizability are stated. The control logic has the structure of an exact model follower with linear decoupled model dynamics and possibly nonlinear plant dynamics. The design method is illustrated with an application to a helicopter autopilot design.
The development of the transformation theory is discussed. Results and applications concerning the use of this design technique for automatic flight control of aircraft are presented. The theory examines the transformation of nonlinear systems to linear systems. The tracking of linear models by nonlinear plants is discussed. Results of manned simulation are also presented.
This paper is presenting an overview of the theory of transformations from nonlinear systems to linear systems. Topics covered include (1) necessary and sufficient conditions for transformations to exist, (2) a method of constructing transformations (3) robustness in design (based on transformations theory) and Liapunov functions, (4) estimation theory, and (5) the relationship between transformation theory and 'nonlinear zeros'. Application of these results to automatic flight control is presented in another paper at this session.
In this paper Brockett's feedback invariants of nonlinear systems are generalized to a larger class of transformations. In terms of these invariants, the recent results on linear equivalents of nonlinear systems to the multiple-input case have also been extended.
A theorem and its corollary are presented in which conditions are stated for a global transformation of a nonlinear system to a linear system. An explicit method for constructing such a transformation is given, and the important noncharacteristic matrix is introduced. Examples illustrating the technique are presented.
Sufficient conditions that a two-dimensional system with output is locally observable are presented. Known results depend on time derivatives of the output and the inverse function theorem. In some cases, no informaton is provided by these theories, and one must study observability by other methods. The observability problem is dualized to the controllability problem, and the deep results of Hermes on local controllability are applied to prove a theorem concerning local observability.
Necessary and sufficient conditions are given for a time-varying nonlinear system of specific form to be transformed into a time-invariant controllable linear system. Since the present work will be in a neighborhood of the origin, it is unnecessary to name specific sets and it is assumed that all assumptions, conditions and results hold in an open set in the appropriate Euclidean space that contains the origin. This theory can be combined with the global inverse function theorems to produce global results.