Interval Observer Design Using Observability Decomposition for Detectable Linear Systems
Provides a structured approach for interval estimation in detectable linear systems, addressing a gap in observer design for partially observable states.
The paper proposes a systematic interval observer design for detectable linear systems by decomposing the state into observable and detectable parts, using Sylvester-based and Jordan-based observers respectively. The method is validated on academic examples.
We provide a systematic interval observer design method for detectable linear time-invariant (LTI) systems, where a part of the state is observable from the measured output. An observability-based invertible LTI transformation decomposes the state into two parts. The first part is decoupled from the other and observable from the output, while the second is affected by the first, does not appear in the output, but is detectable. A Sylvester-based LTI interval observer is designed for the first part. For the second part, a Jordan-based linear time-varying interval observer is built, treating the interaction from the first part as inputs with known bounds. The intervals in the original coordinates are constructed either by inverting the decomposition online for the intervals in the transformed coordinates or by directly implementing the observer written in the original coordinates. Academic examples illustrate the interest of our approach.