A computational linearization principle for observability of nonlinear DAEs near a trajectory

Abstract

We establish a result on local observability of nonlinear implicit differential systems near a reference trajectory. Observability of the time varying linearization along the trajectory implies local observability for the full system in a neighborhood of the trajectory. The conditions for local observability are verifiable by symbolic and numerical linear algebra, and provide a link with existing results on observability for implicit systems.