# Nonlinear Unknown Input Observability and Unknown Input Reconstruction: The General Analytical Solution

arXiv: https://arxiv.org/abs/2201.07610 · HTML: https://mlsanity.com/paper/2201.07610/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- Builds on 5 of its 51 references that are in the map.
- First posted on arXiv 19 Jan 2022.

## Builds on (most cited first, 5 of 5)

- [Observability Analysis of Aided INS with Heterogeneous Features of Points, Lines and Planes](https://mlsanity.com/paper/1805.05876/) (2018)
- [Nonlinear Unknown Input Observability: The Analytic Solution in the case of a Single Unknown Input](https://mlsanity.com/paper/1501.02968/) (2015)
- [Rank Conditions for Observability and Controllability for Time-varying Nonlinear Systems](https://mlsanity.com/paper/2003.09721/) (2020)
- [Structural Invertibility and Optimal Sensor Node Placement for Error and Input Reconstruction in Dynamic Systems](https://mlsanity.com/paper/1904.11828/) (2019)
- [SSUE: Simultaneous State and Uncertainty Estimation for Dynamical Systems](https://mlsanity.com/paper/2010.10606/) (2020)

## Built on by (most cited first, 2 of 2)

- [Multi-Robot Relative Pose Estimation in SE(2) with Observability Analysis: A Comparison of Extended Kalman Filtering and Robust Pose Graph Optimization](https://mlsanity.com/paper/2401.15313/) (2024)
- [Structural Foundations of Nonlinear Systems with Unknown Inputs: The UID-Induced Normal Form and Minimal-Sensing Structure-from-Motion](https://mlsanity.com/paper/2610.05939/) (2026)

## Abstract (arXiv)

Observability is a fundamental structural property of any dynamic system and describes the possibility of reconstructing the state that characterizes the system from observing its inputs and outputs. Despite the huge effort made to study this property and to introduce analytical criteria able to check whether a dynamic system satisfies this property or not, there is no general analytical criterion to automatically check the state observability when the dynamics are also driven by unknown inputs. Here, we introduce the general analytical solution of this fundamental problem, often called the unknown input observability problem. This paper provides the general analytical solution of this problem, namely, it provides the systematic procedure, based on automatic computation (differentiation and matrix rank determination), that allows us to automatically check the state observability even in the presence of unknown inputs (Algorithm 6.1). A first solution of this problem was presented in the second part of the book: "Observability: A New Theory Based on the Group of Invariance" [45]. The solution presented by this paper completes the previous solution in [45]. In particular, the new solution exhaustively accounts for the systems that do not belong to the category of the systems that are "canonic with respect to their unknown inputs". The analytical derivations largely exploit several new concepts and analytical results introduced in [45]. Finally, as a simple consequence of the results here obtained, we also provide the answer to the problem of unknown input reconstruction which is intimately related to the problem of state observability. We illustrate the implementation of the new algorithm by studying the observability properties of a nonlinear system in the framework of visual-inertial sensor fusion, whose dynamics are driven by two unknown inputs and one known input.
