Title:Nonlinear observer in the original coordinates with diffeomorphism extension and Jacobian completion

Abstract:Typical difficulties we face in implementing observers in applications are: -- because of physical constraints or observability singularities, the estimated state should remain in some restricted region of the system state manifold ; -- observability may also impose the observer dynamics to live in an observer state manifold with higher dimension than the system state. In such a case, the observer implementation needs a left inverse of an injective immersion. In the approach we propose to round these difficulties, we do not modify the given converging dynamics of the observer, assumed to be globally defined. Instead we select carefully the coordinates to express them. This is done via appropriate diffeomorphisms: -- one diffeomorphism sending the restricted region to the whole space. This is done by an image extension. -- one function extending the injective immersion into a diffeomorphism and making the observer state coordinates equivalent to the system state coordinates complemented with extra ones introduced to fill the dimension gap. This is done via a Jacobian completion. Such a design makes possible the expression of the observer dynamics in the, maybe complemented, original coordinates. Several examples illustrate our results.