[论文解读] Structure and Stability of Certain Chemical Networks and Applications to the Kinetic Proofreading Model of T-Cell Receptor Signal Transduction

Eduardo D. Sontag|ArXiv.org|Feb 14, 2000

Gene Regulatory Network Analysis参考文献 7被引用 9

一句话总结

本文针对具有质量作用动力学的非线性化学反应网络类，建立了全局渐近稳定性和鲁棒性，特别适用于T细胞受体信号转导的McKeithan动力学校对模型。基于Feinberg-Horn-Jackson理论的李雅普诺夫函数，作者证明了所有轨迹收敛至唯一平衡点，排除了振荡或混沌行为，并进一步为免疫学与系统生物学中的控制理论应用，推导出反馈稳定化与稳定性裕度估计。

ABSTRACT

This paper deals with the theory of structure, stability, robustness, and stabilization for an appealing class of nonlinear systems which arises in the analysis of chemical networks. The results given here extend, but are also heavily based upon, certain previous work by Feinberg, Horn, and Jackson, of which a self-contained and streamlined exposition is included. The theoretical conclusions are illustrated through an application to the kinetic proofreading model proposed by McKeithan for T-cell receptor signal transduction. (Update includes, among other topics, remarks on extensions to certain systems with Michaelis-Menten kinetics.)

研究动机与目标

• 为具有零缺陷与一个连接类的质质量作用动力学网络类建立全局渐近稳定性。
• 分析McKeithan的T细胞受体信号转导动力学校对模型的稳定性与鲁棒性。
• 为操纵此类系统中的平衡点，开发反馈稳定化框架，与治疗设计相关。
• 以控制理论为导向，提供Feinberg-Horn-Jackson理论的自包含阐述，提升动力系统与控制领域社区的可及性。

提出的方法

• 基于对数范数与反应坐标构造李雅普诺夫函数，利用零缺陷网络的Feinberg-Horn-Jackson理论。
• 应用LaSalle不变性原理，在一般质量作用动力学下证明收敛至唯一平衡点。
• 推导出一种典范坐标变换，揭示系统的结构化稳定形式。
• 引入扰动框架，量化在动态不确定性下的稳定性鲁棒性。
• 利用李雅普诺夫函数的黑塞矩阵与范数界，推导显式稳定性裕度估计。
• 通过部分推广，将结果扩展至非质量作用动力学，包括Ck类正则性条件。

实验结果

研究问题

• RQ1 T细胞受体信号转导的动力学校对模型在一般速率常数下是否表现出全局渐近稳定性？
• RQ2 在反应网络中，稳定性是否可在可量化的动态扰动类下保持？
• RQ3 何种反馈控制律可实现系统稳定化，并允许对平衡点进行操纵以用于治疗设计？
• RQ4 如何形式化零缺陷化学网络的结构，以支持鲁棒性与稳定化分析？
• RQ5 此类系统的稳定性裕度与收敛速率为何？能否显式估计？

主要发现

• 对于任意正速率常数与初始条件，系统具有唯一平衡点，且所有轨迹全局收敛至该平衡点。
• 平衡点为全局渐近稳定，排除了周期轨道与混沌行为。
• 稳定性对一类动态扰动具有鲁棒性，且推导出显式稳定性裕度估计。
• 建立了全局反馈稳定化结果，表明可通过控制输入操纵平衡点，同时保持稳定性。
• 当李雅普诺夫函数的黑塞矩阵非奇异时，证明了平衡点附近的指数稳定性，并给出显式收敛速率估计。
• 系统存在全局坐标变换，可将其转化为具有优雅结构特性的典范形式。