Symbolic computing of nonlinear observable and observer forms

Observer design for highly nonlinear dynamics is an important issue, particularly when the locally observable dynamics are not linearly observable. In such circumstances the ability to reduce the system to observable or observer form is a useful first step to observer design. We describe and illustrate symbolic computing tools to do that.