2026年4月，实验室博士生刘璐撰写的论文” Set-Theoretic Safety Control with Formal Guarantee for Uncertain Linear Systems under Sensor Attacks” 被期刊International Journal of Robust and Nonlinear Control (影响因子3.2) 录用。

“Set-Theoretic Safety Control with Formal Guarantee for Uncertain Linear Systems under Sensor Attacks” 该研究针对自动驾驶等信息物理系统在传感器攻击与不确定条件下面临的安全控制问题，提出了一种具有形式化安全保证的集理论控制框架。该方法引入了“不安全闭包”这一概念，用于刻画安全集的临界边界。同时设计集值观测器，实现攻击条件下的状态估计与攻击检测。在此基础上，构建实时分离超平面算法，在线合成可证明安全的控制输入，从而在不依赖精确状态重构的情况下保障系统安全。CARLA环境下的仿真实验表明，该方法能够在城市交通场景中实现无碰撞导航，并有效减少不安全状态的发生，为受攻击智能系统的安全控制提供了新的理论方法与技术支撑。

论文研究得到了国家自然科学基金项目（62320106005，62127808）等资助。