Synchronous Models and Fundamental Systems in Observer Design

TL;DR

This paper develops the concept of synchronous models in observer design, characterizes fundamental systems via Lie group actions, and proposes a simple observer methodology with practical discretisation, demonstrated through examples.

Contribution

It introduces the concept of synchronous models and lifts, characterizes fundamental systems using Lie group actions, and offers a new observer design method for these systems.

Findings

Necessary and sufficient conditions for synchronous lift existence.

A method to construct lifted systems with synchronous models.

A simple synchronous observer design for fundamental systems.

Abstract

This paper introduces the concept of a synchronous model as an extension of the internal model concept used in observer design for dynamical systems. A system is said to contain a synchronous model of another if there is a suitable error function between the two systems that remains stationary for all of the trajectories of the two systems. A system is said to admit a synchronous lift if a second system containing a synchronous model exists. We provide necessary and sufficient conditions that a system admits a synchronous lift and provide a method to construct a (there may be many) lifted system should one exist. We characterise the class of all systems that admit a synchronous lift by showing that they consist of fundamental vector fields induced by a Lie group action, a class of system we term fundamental systems. For fundamental systems we propose a simple synchronous observer design methodology, for which we show how correction terms can be discretised and combined easily, facilitating global characterisation of convergence and performance. Finally, we provide three examples to demonstrate the key concepts of synchrony, symmetry construction, and observer design for a fundamental system.