有界速率多模式系统的安全可调度性

有界速率多模式系统（BMMS）是混合系统，可以在有限个模式之间自由切换，其动力学由有限个实值变量指定，这些变量具有模式依赖的速率，且速率可以在给定的有界集合内变化。BMMS的可调度性问题被定义为两个玩家（调度器和环境）之间的无限轮次博弈，其中在每一轮中，调度器提出一个时间和一个模式，而环境为该模式选择一个允许的速率，系统的状态沿速率向量方向线性变化。调度器的目标是使用非Zeno调度将系统状态保持在预先指定的安全集内，而环境的目标则相反。不确定性下的绿色调度是BMMS的一个典型例子，其中调度器的获胜策略对应于鲁棒的能源最优策略。我们提出了一种算法来判断调度器是否从任意起始状态拥有获胜策略，并给出了一种算法来计算这样的获胜策略（如果存在）。我们证明了BMMS的可调度性问题一般是co-NP完全的，但对于两个变量则是PTIME的。我们还研究了离散可调度性问题，其中环境在每个模式中只有有限个速率向量选择，并且调度器只能在给定时钟周期的倍数时刻做出决策，并证明它是EXPTIME完全的。