This brief introduces a novel safety-preserving control scheme with minimal conservatism for uncertain systems. We have recently introduced the model-invariant safety verification technique that provides a formal guarantee of safety for systems with multiplicative model uncertainty. This approach requires a multi-model description of model uncertainty. The resulting safety system may be conservative for systems that do not exhibit the worst case dynamical response. In this brief, we employ model falsification to reduce conservatism of the model-invariant safety verification technique. Members of a model set that characterizes model uncertainty are falsified if discrepancy between predictions of those models and measured responses of the uncertain system is established, thereby reducing model uncertainty. To demonstrate the effectiveness of the proposed technique, we formalize a model-invariant safety system for closed-loop propofol anesthesia. The safety system maintains predicted propofol concentration in plasma as well as the patient’s blood pressure within safety bounds despite uncertainty in patient responses to propofol.

中文翻译：

---

伪造模型不变安全性控制在闭环麻醉中的应用

本文简要介绍了一种新颖的安全控制方案，该方案对不确定性系统具有最小的保守性。最近，我们引入了模型不变安全验证技术，该技术为具有可乘模型不确定性的系统提供了正式的安全保证。这种方法需要模型不确定性的多模型描述。对于没有表现出最坏情况动态响应的系统，最终的安全系统可能是保守的。在本文中，我们采用模型伪造来减少模型不变安全性验证技术的保守性。如果在模型预测和不确定系统的测量响应之间建立了差异，则代表模型不确定性的模型集成员将被篡改，从而减少了模型不确定性。为了证明所提出的技术的有效性，我们对闭环丙泊酚麻醉的模型不变安全系统进行了形式化。尽管患者对异丙酚的反应不确定，安全系统仍将血浆中丙泊酚的浓度以及患者的血压保持在安全范围内。