论文标题
Koopman-Model预测控制具有信号时间逻辑规格，用于调节温度的温度供应系统
Koopman-Model Predictive Control with Signal Temporal Logic Specifications for Temperature Regulation of a Warm-Water Supply System
论文作者
论文摘要
在医院环境中，控制透析治疗的暖水供应是典型的安全控制问题。为了确保满足各种操作条件的暖水供应的连续性，不可避免地要考虑到控制设计的热水供应系统的动态模型所涉及的非线性。在本文中，我们建议将信号时间逻辑所描述的控制规范合并为一种时间逻辑，这是一种具有正式方法中有限时间信号的语义的时间逻辑，将其作为基于非线性系统的KOPMAN操作员框架的非线性MPC的新技术。这使我们能够生成一系列最佳输入序列，以便非线性系统的受控状态可以满足规格。该提案应用于温度供应的温度调节，其有效性是在数值上确定的。
Control of warm-water supply for dialysis treatment in a hospital environment is typical of safety-critical control problems. In order to guarantee the continuity of warm-water supply satisfying physical specifications for a wide range of operating conditions, it is inevitable to consider the nonlinearity involved in a dynamic model of a warm-water supply system for the control design. In this paper, we propose to incorporate control specifications described by signal temporal logic, which is a temporal logic with semantics over finite-time signals in formal methods, into the so-called Koopman-Model Predictive Control (MPC) as a novel technique of nonlinear MPC based on the Koopman operator framework for nonlinear systems. This enables us to generate a sequence of optimal inputs such that the controlled state of a nonlinear system can satisfy the specifications. The proposal is applied to the temperature regulation of warm-water supply, and its effectiveness is established numerically.
