时延混成系统的切换控制器合成

如何设计安全、可靠的信息物理融合系统是计算机科学和控制理论面临的一个重大挑战.时延现象在信息物理融合系统中普遍存在,时延对系统的稳定性、安全性和控制性能具有实质性影响.但是在已有时延系统验证和控制器合成的工作中往往忽略时延因素,这会导致在不考虑时延情况下能保证稳定和安全的系统在实际运行时因为时延原因而不再稳定和安全.因为时延使得系统的行为演化不仅与当前状态有关,还依赖于系统的历史状态,所以时延混成系统的验证和控制合成更加困难.本文研究信息物理融合系统在考虑时延情形下切换控制器合成问题,提出基于不变式生成技术的控制器合成方法.首先,利用谱分析和线性化技术将时延系统的微分不变式生成问题归结为有界时间的可达集计算问题;然后,提出基于抽象精化的算法计算时延系统有界时间可达集的上近似;最后,实现本文算法并使用实例验证该方法的有效性.