用于生物混合自动机建模与分析的占用测度方法
系统与控制
2022-01-10 v2
摘要
生物学中的机制模型通常涉及众多我们无法获得直接实验信息的参数。传统方法是使用大量数值模拟（例如通过蒙特卡洛方法）来拟合这些参数，并在预测与实际测量不符时最终修正模型。在本工作中，当需要新类型的函数来捕获时变参数时，我们提出了一种混合自动机模型修正方法。为此，我们将带有中间点的混合最优控制问题表述为关于占用测度的连续无限维线性规划 (LP)。然后，使用半定松弛的层级结构来求解这些无限维 LP。整个过程在最近的一个红细胞血红蛋白产生模型上进行了展示。
引用
@article{arxiv.1710.03158,
title = {Occupation measure methods for modelling and analysis of biological hybrid automata},
author = {Alexandre Rocca and Marcelo Forets and Victor Magron and Eric Fanchon and Thao Dang},
journal= {arXiv preprint arXiv:1710.03158},
year = {2022}
}
备注
11 pages with appendix 2 figures submitted to conference alphabetic order