Skip to main content
QUICK REVIEW

[论文解读] Input-output equivalence and identifiability: some simple generalizations of the differential algebra approach

Marisa C. Eisenberg|arXiv (Cornell University)|Feb 22, 2013
Formal Methods in Verification参考文献 4被引用 5
一句话总结

本文通过引入一个关键见解——输入-输出等价模型具有相同的可辨识性——将微分代数方法推广至结构可辨识性分析。该方法通过模型等价性简化了可辨识性评估,使代数技术(如格罗布纳基底和代入法)得以更广泛地应用,并促进了对非一阶常微分方程、参数缩放和模型可约性的分析。

ABSTRACT

In this paper, we give an overview of the differential algebra approach to identifiability, and then note a very simple observation about input-output equivalence and identifiability, that describes the identifiability equivalence between input-output equivalent models. We then give several simple consequences of this observation that can be useful in showing identifiability, including examining non-first order ODE models, nondimensionalization and rescaling, model reducibility, and a modular approach to evaluating identifiability. We also examine how input-output equivalence can allow us to generate input output equations in the differential algebra approach through a wider range of methods (e.g. substitution and differential or standard Groebner basis approaches).

研究动机与目标

  • 阐明输入-输出等价性与动力系统中结构可辨识性之间的关系。
  • 将微分代数方法的应用范围从一阶常微分方程和标准参数化形式扩展至更广泛的情形。
  • 提供实用工具,通过模型缩放、无量纲化和可约性分析来评估可辨识性。
  • 展示如何利用输入-输出等价性支持多种代数技术(包括代入法和格罗布纳基底)在微分代数框架中的应用。
  • 建立一种模块化可辨识性分析框架,以简化复杂模型的评估过程。

提出的方法

  • 引入输入-输出等价性的概念,作为模型之间可辨识性等价性的基础。
  • 将微分代数技术(如消去法和格罗布纳基底计算)应用于从常微分方程系统导出的输入-输出方程。
  • 通过代入法以及标准或微分格罗布纳基底方法,更灵活地推导输入-输出方程。
  • 应用缩放和无量纲化方法,在保持输入-输出等价性和可辨识性的同时简化模型。
  • 提出一种模块化可辨识性分析方法,通过将模型分解为可独立分析的子系统实现。
  • 利用输入-输出等价模型共享相同可辨识性属性的特性,降低计算复杂度。

实验结果

研究问题

  • RQ1输入-输出等价性与常微分方程模型中的结构可辨识性有何关系?
  • RQ2能否通过输入-输出等价性将微分代数方法推广至非一阶常微分方程模型?
  • RQ3在输入-输出等价框架下,缩放和无量纲化在多大程度上能保持可辨识性?
  • RQ4如何利用模型可约性来简化可辨识性分析?
  • RQ5在微分代数框架中,输入-输出等价性使哪些代数技术(如格罗布纳基底、代入法)得以启用或增强?

主要发现

  • 输入-输出等价模型以相同方式具有结构可辨识性,即可辨识性在输入-输出等价关系下保持不变。
  • 通过利用输入-输出等价性,微分代数方法可被扩展至非一阶常微分方程模型。
  • 在输入-输出等价框架内应用缩放和无量纲化不会影响可辨识性。
  • 可利用模型可约性将复杂系统分解为更简单的组件,以实现独立的可辨识性评估。
  • 当认识到输入-输出等价性时,代入法和格罗布纳基底方法的应用变得更加灵活且适用范围更广。
  • 模块化可辨识性分析是可行且有效的,因为输入-输出等价性允许在不损失全局可辨识性信息的前提下进行分量分析。

更好的研究,从现在开始

从阅读论文到最终审阅,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。