利用伪证降低丙泊酚麻醉模型不变安全保持控制的保守性
系统与控制
2018-04-20 v1
摘要
本工作为闭环麻醉提供了一个形式化的模型不变安全系统，该系统利用来自测量数据的反馈进行模型伪证以降低保守性。尽管患者对丙泊酚的反应存在不确定性，该安全系统仍将预测的丙泊酚血浆浓度以及患者血压维持在安全边界内。采用模型不变形式化验证来形式化该安全系统。该技术需要模型不确定性的多模型描述。模型不变验证考虑不确定系统的所有可能出现动力学，由此得到的安全系统对于未表现出最坏情况动力学响应的系统可能较为保守。在本工作中，我们采用模型伪证来降低模型不变安全系统的保守性。若表征模型不确定性的模型集合中的成员被证实其预测与不确定系统的实测响应之间存在偏差，则这些成员被伪证，从而降低模型不确定性。我们表明，在模型不变安全系统中引入伪证可降低该安全系统的保守性。
引用
@article{arxiv.1804.06941,
title = {Reducing Conservatism in Model-Invariant Safety-Preserving Control of Propofol Anesthesia Using Falsification},
author = {Mahdi Yousefi and Klaske van Heusden and Ian M. Mitchell and J. Mark Ansermino and Guy A. Dumont},
journal= {arXiv preprint arXiv:1804.06941},
year = {2018}
}
备注
11 pages, 9 figures, submitted to IEEE TCST