The paper discusses the use of symbolic computation for model formulation, model integration, model checlung, and model analysis. The zero dynamics plays an important role in the areas of modeling, analysis, and control of linear and nonlinear systems. The zero dynamics gives additional insight in the structure of the model employed and is an aid in modifying a model to satisfy some needs of th...
