2025-11-15T22:13:11.869590

On Functional Observability of Nonlinear Systems and the Design of Functional Observers with Assignable Error Dynamics

Kravaris
This paper proposes a novel approach for designing functional observers for nonlinear systems, with linear error dynamics and assignable poles. Sufficient conditions for functional observability are first derived, leading to functional relationships between the Lie derivatives of the output to be estimated and the ones of the measured output. These are directly used in the proposed design of the functional observer. The functional observer is defined in differential input-output form, satisfying an appropriate invariance condition that emerges from the state-space invariance conditions of the literature. A concept of functional observer index is also proposed, to characterize the lowest feasible order of functional observer with pole assignment. Two chemical reactor applications are used to illustrate the proposed approach.
academic

On Functional Observability of Nonlinear Systems and the Design of Functional Observers with Assignable Error Dynamics

基本信息

  • 论文ID: 2501.00167
  • 标题: On Functional Observability of Nonlinear Systems and the Design of Functional Observers with Assignable Error Dynamics
  • 作者: Costas Kravaris (Texas A&M University)
  • 分类: eess.SY cs.SY
  • 发表时间: 2025年1月
  • 论文链接: https://arxiv.org/abs/2501.00167

摘要

本文提出了一种为非线性系统设计函数观测器的新方法，该方法具有线性误差动态和可分配的极点。首先推导了函数可观测性的充分条件，建立了待估计输出和测量输出的李导数之间的函数关系。这些关系直接用于所提出的函数观测器设计。函数观测器以微分输入-输出形式定义，满足由文献中状态空间不变性条件演化而来的适当不变性条件。还提出了函数观测器指标的概念，用于表征具有极点分配的最低可行阶数的函数观测器。通过两个化学反应器应用来说明所提出的方法。

研究背景与动机

问题定义

本研究要解决的核心问题是为非线性系统设计函数观测器，特别是在只需要估计状态的某个函数而非整个状态向量的应用中。传统的状态观测器需要重构整个状态向量，这在许多实际应用中是不必要的且计算复杂。

问题重要性

函数观测器在许多工程应用中具有重要价值，特别是在：

  1. 故障检测和诊断系统中
  2. 控制系统中只需要特定状态函数的反馈
  3. 降低观测器阶数以提高计算效率
  4. 化学工程过程监控中

现有方法局限性

  1. 线性系统方法: Luenberger的开创性工作主要针对线性系统，无法直接应用于非线性系统
  2. 精确线性化方法: 现有的非线性函数观测器设计基于精确线性化，需要满足严格的条件
  3. 状态空间形式: 大多数现有方法从状态空间形式的线性误差动态要求出发，限制了设计灵活性

研究动机

本文的创新在于从函数可观测性出发，直接在输入-输出形式下设计函数观测器，避免了传统方法的限制，为任何局部函数可观测的非线性系统提供了具有线性误差动态和可分配极点的设计方法。

核心贡献

  1. 提出了非线性系统函数可观测性的新定义和充分条件，建立了基于李导数的函数关系
  2. 开发了输入-输出形式的函数观测器设计方法，避免了状态空间形式的限制
  3. 引入了函数观测器指标概念，用于表征最低可行阶数的函数观测器
  4. 提供了具有可分配极点的线性误差动态设计，确保观测器的稳定性和收敛性
  5. 建立了状态空间不变性条件与输入-输出不变性条件的对应关系
  6. 通过化学反应器实例验证了方法的实用性

方法详解

任务定义

考虑如下形式的非线性系统：

dx/dt = F(x)
y = H(x)  
z = q(x)

其中 x ∈ ℝⁿ 是系统状态，y ∈ ℝᵖ 是测量输出向量，z 是待估计的输出函数。目标是构造一个函数观测器，仅基于输出测量 y 生成 z 的估计。

核心理论框架

1. 函数可观测性定义

定义4: 如果对于任意两个初始状态 x₁, x₂ ∈ Χ，有：

H_F(t;x₁) = H_F(t;x₂) ⟹ q(x₁) = q(x₂)

则称系统在Χ上是函数可观测的。

这等价于李导数条件：

L_F^i H_j(x₁) = L_F^i H_j(x₂), ∀i=0,1,2,..., j=1,...,p ⟹ q(x₁) = q(x₂)

2. 函数可观测性充分条件

命题2: 如果存在正整数m，使得 q(x) 可以局部表示为可观测性集合元素的函数：

q(x) = ψ(L_F^i H_j(x), i=0,1,...,m-1, j=1,...,p)

则系统是局部函数可观测的。

3. 输入-输出形式函数观测器

定义6: ν阶微分方程形式的动态系统：

d^ν ẑ/dt^ν = Φ(ẑ, dẑ/dt, ..., d^(ν-1)ẑ/dt^(ν-1), y, dy/dt, ..., d^ν y/dt^ν)

如果满足不变性条件：

L_F^ν q(x) = Φ(q(x), L_F q(x), ..., L_F^(ν-1) q(x), H(x), L_F H(x), ..., L_F^ν H(x))

则称为系统的函数观测器。

线性函数观测器设计

设计模板

提出线性函数观测器形式：

d^ν ẑ/dt^ν + α_(ν-1) d^(ν-1)ẑ/dt^(ν-1) + ... + α₁ dẑ/dt + α₀ ẑ = 
Γ(y, dy/dt, ..., d^(ν-1)y/dt^(ν-1))

不变性条件

线性观测器的不变性条件为：

L_F^ν q(x) + α_(ν-1) L_F^(ν-1) q(x) + ... + α₁ L_F q(x) + α₀ q(x) = 
Γ(H(x), L_F H(x), ..., L_F^(ν-1) H(x))

误差动态分析

定义误差 e = ẑ - q(x)，可得误差动态方程：

d^ν e/dt^ν + α_(ν-1) d^(ν-1)e/dt^(ν-1) + ... + α₁ de/dt + α₀ e = 0

通过选择多项式 λⁿ + α_(ν-1)λ^(ν-1) + ... + α₁λ + α₀ 的根具有负实部，可以保证误差渐近收敛到零。

函数观测器指标

定义7: 满足条件的最小正整数ν称为函数观测器指标：

L_F^k q(x) = ψₖ(H_j(x), L_F H_j(x), ..., L_F^ν H_j(x)), k=0,1,...,ν, j=1,...,p

这个指标表征了实现极点分配的函数观测器的最低可行阶数。

实验设置

应用案例1：等温间歇化学反应器

考虑连续不可逆化学反应 A → B → C → D：

  • 第一和第三反应为一阶动力学
  • 第二反应为二阶动力学
  • 测量：c_B（B的浓度）
  • 估计：c_A（A的浓度）

应用案例2：非等温连续化学反应器

考虑不可逆放热化学反应 A → B：

  • 一阶动力学，Arrhenius反应速率
  • 通过冷却夹套冷却
  • 测量：反应混合物温度θ和夹套温度θ_J
  • 估计：A的浓度c_A

设计过程

对于每个案例：

  1. 建立系统动力学方程
  2. 计算李导数关系
  3. 确定函数观测器指标
  4. 设计线性函数观测器
  5. 验证不变性条件

实验结果

案例1结果

  • 函数观测器指标: ν = 1
  • 函数关系: 
    ψ₀(y, dy/dt) = (1/k₁)y + (1/k₂)(dy/dt)
ψ₁(y, dy/dt) = -k₂(dy/dt) + (dy/dt)
  • 观测器方程: 
    dẑ/dt - λẑ = -λ(1/k₁ + 1/k₂)(dy/dt) - λ(1/k₁)y

案例2结果

  • 函数观测器指标: ν = 1
  • 成功建立了输入-输出形式和状态空间形式的观测器
  • 验证了理论设计的有效性

关键发现

  1. 低阶观测器: 两个案例都实现了一阶函数观测器，显著低于完整状态观测器的阶数
  2. 极点分配: 成功实现了误差动态的极点分配，可以任意指定收敛速度
  3. 实用性: 观测器可以直接在输入-输出形式下实现，便于工程应用

相关工作

线性系统函数观测器

  • Luenberger (1966, 1971): 开创性地定义了线性系统的函数观测器概念
  • Darouach (2000): 线性函数观测器的存在性和设计
  • Fernando et al. (2010): 最小阶线性函数观测器设计

非线性系统观测器

  • Hermann & Krener (1977): 非线性系统可观测性理论基础
  • Krener & Isidori (1983): 基于输出注入的线性化观测器
  • Kazantzis & Kravaris (1998): 使用Lyapunov辅助定理的非线性观测器设计

本文相对优势

  1. 直接的输入-输出设计: 避免了精确线性化的限制条件
  2. 函数可观测性理论: 提供了更一般的理论框架
  3. 极点分配能力: 实现了非线性系统函数观测器的极点分配

结论与讨论

主要结论

  1. 理论贡献: 建立了完整的非线性系统函数可观测性理论框架
  2. 设计方法: 提供了直接的输入-输出形式函数观测器设计方法
  3. 实用价值: 方法适用于任何局部函数可观测的非线性系统
  4. 性能保证: 实现了线性误差动态和可分配极点

局限性

  1. 局部性: 理论结果是局部的，需要在特定区域内成立
  2. 光滑性要求: 需要系统函数具有足够的光滑性
  3. 计算复杂性: 高阶李导数的计算可能较为复杂
  4. 实时实现: 需要输出导数的计算，可能引入噪声敏感性

未来方向

  1. 全局结果: 扩展到全局函数可观测性和观测器设计
  2. 鲁棒性: 考虑模型不确定性和测量噪声的影响
  3. 数值方法: 开发高效的李导数计算方法
  4. 应用扩展: 扩展到更广泛的工程应用领域

深度评价

优点

  1. 理论创新:
    • 提出了输入-输出形式的函数观测器设计新范式
    • 建立了函数可观测性与李导数关系的严格理论基础
    • 函数观测器指标概念具有重要理论价值
  2. 方法优势:
    • 避免了精确线性化的限制条件
    • 实现了极点分配，提供了设计自由度
    • 输入-输出形式便于工程实现
  3. 实验验证:
    • 化学反应器案例具有实际工程背景
    • 详细展示了设计过程的每个步骤
    • 验证了理论方法的可行性

不足

  1. 理论局限:
    • 结果局限于局部区域，缺乏全局性分析
    • 对系统光滑性要求较高，限制了适用范围
    • 未考虑模型不确定性和外部干扰
  2. 实验不足:
    • 缺乏数值仿真结果验证观测器性能
    • 未与其他方法进行定量比较
    • 案例相对简单，缺乏复杂系统验证
  3. 实用性问题:
    • 需要精确计算输出导数，实际中可能引入噪声
    • 高阶李导数计算复杂，可能影响实时性
    • 缺乏鲁棒性分析

影响力评估

  1. 学术价值: 为非线性系统函数观测器理论提供了新的研究方向
  2. 工程价值: 为实际工程应用提供了实用的设计方法
  3. 可复现性: 理论推导清晰，设计步骤明确，具有良好的可复现性

适用场景

  1. 过程控制: 化学工程、生物工程等过程监控
  2. 故障诊断: 需要特定状态函数估计的故障检测系统
  3. 机器人控制: 只需要部分状态信息的控制应用
  4. 航空航天: 飞行器姿态和轨道参数估计

参考文献

  1. Luenberger, D.G. (1966). Observers for multivariable systems. IEEE Trans. Automat. Contr.
  2. Hermann, R. and Krener, A.J. (1977). Nonlinear Controllability and Observability. IEEE Trans. Automat. Contr.
  3. Kravaris, C. and Venkateswaran, S. (2021). Systems & Control Letters.
  4. Montanari, A.N. et al. (2022). Functional observability and subspace reconstruction in nonlinear systems. Physical Review Research.

总体评价: 这是一篇在非线性系统观测器理论方面具有重要贡献的论文。作者提出的输入-输出形式函数观测器设计方法具有创新性，理论推导严谨，应用案例恰当。尽管存在一些局限性，但为该领域的发展提供了有价值的理论工具和设计方法。