Symbolic Computation For The Analysis AndSynthesis Of Nonlinear Control Systems

Symbolic computation has proved to be an effective tool for handling large mathematical expressions which are too complex for calculation by hand. Especially in the field of nonlinear control the use of computer algebra programs is unavoidable. Since the memory requirements are over polynomial with respect to the problem size, it is important to develop algorithms that optimally fit the symbolic treatment of these problems. Hence, the developers of algorithms in computer algebra programs must free themselves from the well known numerical solutions and they have to take care of the special features of computer algebra. In this sense the present contribution presents some selected algorithms for the analysis and design of a special class of nonlinear systems, the so called affine input systems.