具有建立时间的开关执行器系统：有效建模、MPC及在热疗中的应用
Switched-Actuator Systems with Setup Times: Efficient Modeling, MPC, and Application to Hyperthermia Therapy
摘要：
具有设置时间的切换致动器系统（SAcSS）是在操作期间必须切换致动器配置的系统，并且切换引起不可忽略的致动器停机时间。最佳控制SAcSS需要在线解决离散执行器分配问题，其中开关引起的执行器停机时间被考虑在内，以及（通常是连续的）控制输入的优化问题。混合整数模型预测控制（MI-MPC）为解决这类问题提供了一个强有力的框架。然而，用于MI-MPC的SAcSS的有效建模并不简单，并且实时可行性通常是实践中的主要障碍。这是本文的目的是提供一个直观的和系统的建模过程中量身定制的SAcSSs，这是专门设计的，允许用户友好的控制器合成，并产生有效的MI-MPC。我们将这些新结果应用于大体积磁共振引导的高强度聚焦超声热疗的案例研究中，该热疗涉及肿瘤的加热（使用实值局部加热控制，以及不允许加热的离散范围扩展致动器重新定位），以提高放射和化疗的疗效。
英文摘要：
Switched-actuator systems with setup times (SAcSSs) are systems in which the actuator configuration has to be switched during operation, and where the switching induces non-negligible actuator downtime. Optimally controlling SAcSSs requires the online solving of both a discrete actuator allocation problem, in which the switch-induced actuator downtime is taken into account, as well as an optimization problem for the (typically continuous) control inputs. Mixed-integer model predictive control (MI-MPC) offers a powerful framework for tackling such problems. However, the efficient modeling of SAcSSs for MI-MPC is not straightforward, and real-time feasibility is often a major hurdle in practice. It is the objective of this paper to provide an intuitive and systematic modeling procedure tailored to SAcSSs, which is specifically designed to allow for user-friendly controller synthesis, and to yield efficient MI-MPCs. We apply these new results in a case study of large-volume magnetic-resonance-guided high-intensity focused ultrasound hyperthermia, which involves the heating of tumors (using real-valued local heating controls, as well as discrete range-extending actuator relocation during which no heating is allowed) to enhance the efficacy of radio- and chemotherapy.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
