2025-11-16T06:37:11.852603

On the equivalence of model-based and data-driven approaches to the design of unknown-input observers

DisarÃ², Valcher

In this paper we investigate a data-driven approach to the design of an unknown-input observer (UIO). Specifically, we provide necessary and sufficient conditions for the existence of an unknown-input observer for a discrete-time linear time-invariant (LTI) system, designed based only on some available data, obtained on a finite time window. We also prove that, under weak assumptions on the collected data, the solvability conditions derived by means of the data-driven approach are in fact equivalent to those obtained through the model-based one. In other words, the data-driven conditions do not impose further constraints with respect to the classic model-based ones, expressed in terms of the original system matrices.

academic

On the equivalence of model-based and data-driven approaches to the design of unknown-input observers

基本信息

论文ID: 2311.00673
标题: On the equivalence of model-based and data-driven approaches to the design of unknown-input observers
作者: Giorgia Disarò, Maria Elena Valcher (University of Padova, Italy)
分类: math.DS (Dynamical Systems)
发表时间: 2023年11月 (arXiv预印本)
论文链接: https://arxiv.org/abs/2311.00673

摘要

本文研究了未知输入观测器(UIO)设计的数据驱动方法。具体而言，作者为离散时间线性时不变(LTI)系统提供了基于有限时间窗口数据设计未知输入观测器存在性的充要条件。同时证明了在对收集数据的弱假设条件下，数据驱动方法导出的可解条件实际上等价于基于模型方法获得的条件。换句话说，相对于用原始系统矩阵表达的经典基于模型的条件，数据驱动条件不会施加额外约束。

研究背景与动机

问题描述: 在许多控制工程应用中，了解系统内部状态对解决状态反馈稳定化和故障检测等基本问题至关重要。然而，系统状态通常不可直接获取，需要设计合适的观测器来估计状态向量。
挑战: 实际系统动态常受到干扰、测量误差或其他无法用于状态演化识别的未知信号影响。传统的观测器设计假设系统模型已知，但在某些情况下，仅凭可用数据无法唯一识别系统。
现有方法局限性:
- 基于模型的方法需要已知系统矩阵
- 现有数据驱动方法(如18)仅提供充分条件，当获得的系统不渐近稳定时，不清楚是否能设计UIO
研究动机: 利用大量可用数据，发展数据驱动技术解决控制工程问题，特别是在无法获得精确系统模型时的状态估计问题。

核心贡献

提供充要条件: 给出了基于数据验证UIO存在性的可验证充要条件
完整参数化: 提供了所有候选UIO的完整参数化表示
等价性证明: 证明了在特定数据假设下，数据驱动方法的可解条件与基于模型方法的条件完全等价
理论突破: 建立了数据驱动与基于模型方法之间的双射对应关系

方法详解

任务定义

考虑离散时间LTI系统Σ：

x(t+1) = Ax(t) + Bu(t) + Ed(t)  (1)
y(t) = Cx(t)                    (2)

其中：

x(t) ∈ ℝⁿ: 状态向量
u(t) ∈ ℝᵐ: 已知控制输入
y(t) ∈ ℝᵖ: 输出向量
d(t) ∈ ℝʳ: 未知输入(如干扰)

UIO定义: 形如以下的LTI系统Σ̂：

z(t+1) = A_UIO z(t) + B^u_UIO u(t) + B^y_UIO y(t)  (3)
x̂(t) = z(t) + D_UIO y(t)                           (4)

使得估计误差e(t) = x(t) - x̂(t)渐近收敛到零，不依赖于初始条件和未知输入动态。

基于模型的方法

充要条件（定理2）：UIO存在当且仅当以下条件之一成立：

存在矩阵(A_UIO, B^u_UIO, B^y_UIO, D_UIO)满足：
- A_UIO是Schur稳定的
- D_UIO CE = E
- B^u_UIO = (I - D_UIO C)B
- A_UIO(I - D_UIO C) + B^y_UIO C = (I - D_UIO C)A
矩阵条件：
- rank(CE) = rank(E) = r
- rankzIₙ - A -E; C 0 = n + r, ∀z ∈ ℂ, |z| ≥ 1
三元组(A,E,C)是强*可检测的

数据驱动方法

数据组织: 将历史数据组织成矩阵形式：

Uₚ = uₐ(0) ... uₐ(T-2) ∈ ℝᵐˣ⁽ᵀ⁻¹⁾
Xₚ = xₐ(0) ... xₐ(T-2) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
Xf = xₐ(1) ... xₐ(T-1) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
Yₚ = yₐ(0) ... yₐ(T-2) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾
Yf = yₐ(1) ... yₐ(T-1) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾

核心假设: 矩阵Uₚᵀ Dₚᵀ Xₚᵀᵀ具有满行秩m+r+n。

主要结果（定理9）：以下条件等价：

存在形如(3)-(4)的UIO使得T_Σ ⊆ T_Σ̂
存在矩阵T₁,T₂,T₃,T₄使得Xf = [T₁ T₂ T₃ T₄]Uₚ; Yₚ; Yf; Xₚ且T₄是Schur稳定的
数据条件：ker(Xf) ⊇ ker(Uₚ; Yₚ; Yf; Xₚ)且rankzXₚ-Xf; Uₚ; Yₚ = n+m+r, ∀z∈ℂ,|z|≥1
三元组(A,E,C)是强*可检测的

技术创新点

等价性建立: 首次严格证明了数据驱动条件与基于模型条件的完全等价性
双射对应: 建立了UIO参数矩阵与数据驱动参数之间的双射关系（推论10）
实用算法: 提供了简化的计算方法，将问题转化为更易处理的形式

实验设置

数值例子

使用文献4中的例子：

A = [-1 -1  0; -1  0  0; 0 -1 -1]
C = [1  0  0; 0  0  1]  
E = [-1; 0; 0]

实验参数

时间窗口：T = 20
未知输入：在(-2,2)区间内均匀随机生成
初始条件：随机选择
干扰：在(-10,10)区间内随机生成

模型验证: 验证了rank(CE) = rank(E) = r和强*可检测性条件
数据驱动设计: 成功从数据重构矩阵C并验证定理9的条件
性能对比:
- 本文方法得到的A_UIO矩阵为幂零矩阵
- 文献18方法得到的特征值为{0, 0, -0.2}
- 两种方法都能工作，但本文方法允许选择收敛速度