论文标题
对随机事件触发控制的采样行为的正式分析
Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
论文作者
论文摘要
分析事件触发的控制（ETC）采样行为至关重要，因为它可以正式评估其采样性能和对采样模式的预测。在这项工作中，我们通过计算关联指标的界限来正式分析随机线性周期性等系统（PETC）系统的采样行为。具体而言，我们考虑了可以表达为平均，乘法或累积奖励的状态测量和相互采样时间的序列的功能，并将其作为对PETC采样行为的指标引入期望。我们通过构建配备合适奖励结构的适当间隔马尔可夫链来计算这些期望的界限，即抽象随机PETC的采样行为。我们的结果在一个数字示例上进行了说明，我们为此计算预期平均水上采样时间的界限以及与有限的地平线以最大可能的相互采样时间触发的概率。
Analyzing Event-Triggered Control's (ETC) sampling behaviour is of paramount importance, as it enables formal assessment of its sampling performance and prediction of its sampling patterns. In this work, we formally analyze the sampling behaviour of stochastic linear periodic ETC (PETC) systems by computing bounds on associated metrics. Specifically, we consider functions over sequences of state measurements and intersampling times that can be expressed as average, multiplicative or cumulative rewards, and introduce their expectations as metrics on PETC's sampling behaviour. We compute bounds on these expectations, by constructing appropriate Interval Markov Chains equipped with suitable reward structures, that abstract stochastic PETC's sampling behaviour. Our results are illustrated on a numerical example, for which we compute bounds on the expected average intersampling time and on the probability of triggering with the maximum possible intersampling time in a finite horizon.
