Symbolic aids for modelling, analysis, and synthesis of nonlinear control systems

This chapter describes the role of symbolic computation in several phases of the control system design cycle, namely modelling, analysis and synthesis. It provides some mathematical background of nonlinear system theory and presents a guided tour through those phases using typical examples, both contrived and real life. To name them, the symbolic computation of (i) the zero dynamics, used for different purposes, (ii) the input-output exact linearising state feedback, and (iii) the state-space exact linearising state feedback, all for nonlinear dynamic systems, are discussed. The examples come from a diverse range of applications and provide a picturesque landscape of this area of research. The possibilities and limitations of the so-called NON^CON package, based on the symbolic computation program Maple, are outlined with these examples. This package was developed to aid with analytical computations in the area of nonlinear control systems.