S3提出基于屏障理论（barrier theory）计算线性系统在仿射状态约束下的可达集内近似多面体；该方法显式利用系统解析解结构与约束边界几何关系。应用于托卡马克等离子体控制，可将β极限、密度极限、新经典撕裂模稳定边界等物理约束建模为状态空间中的仿射不等式，进而构建实时可验证的‘安全操作多面体’——这比传统基于经验裕度的安全窗口更具可证明性，且能自然嵌入MPC框架。

── 火花串 ──