随机事件触发控制采样行为的形式化分析

分析事件触发控制（ETC）的采样行为至关重要，因为它能够对采样性能进行形式化评估并预测其采样模式。在本文中，我们通过计算相关度量的边界，形式化分析了随机线性周期事件触发控制（PETC）系统的采样行为。具体而言，我们考虑状态测量序列与采样间隔时间序列上的函数，这些函数可表示为平均、乘性或累积奖励，并将其期望引入作为PETC采样行为的度量。我们通过构建配备合适奖励结构的适当区间马尔可夫链来抽象随机PETC的采样行为，从而计算这些期望的边界。我们的结果在一个数值示例上得到说明，在该示例中我们计算了有限时域内期望平均采样间隔时间的边界，以及以最大可能采样间隔触发的概率的边界。