Computer Algebra for Analysis and Design of Nonlinear Control Systems

A rich cllection of analytical tools based on differential geometric methods has been developed for the analysis and design of nonlinear control systems. The concept of feedback equivalence among nonlinear systems is used to linearize and control certain classes of nonlinear control systems. The left and right invertibility of nonlinear systems is used to solve the output tracking problem. Using computer algebra programming methods, a software system has been developed which makes these analytical procedures available to users who need not have an extensive knowledge of differential geometry. This work may be viewed as a component of an expert system for the treatment of stochastic and deterministic linear and nonlinear control problems. Examples of the use of this system are reported.