论文标题
随机信号的时间鲁棒性
Temporal Robustness of Stochastic Signals
论文作者
论文摘要
我们研究随机信号的时间鲁棒性。该主题在交织过程中特别感兴趣，例如多代理系统，在该过程中，通信和个体代理会引起时间不确定性。对于确定性的信号和给定的规范，我们首先引入同步和异步时间鲁棒性，以量化信号的鲁棒性相对于同步和异步时间在其子信号中的稳定性。然后，我们通过研究随机信号实现的时间鲁棒性来定义时间鲁棒性风险。该定义可以被解释为与随机信号相关的风险，以免及时满足规范。在此定义中，允许诸如信号时间逻辑规格之类的一般形式。我们展示了如何从风险价值的数据中估算时间鲁棒性风险。理论和经验证据都强调了时间鲁棒性风险的有用性。特别是，我们提供了各种数值案例研究，包括自动驾驶中的T交流场景。
We study the temporal robustness of stochastic signals. This topic is of particular interest in interleaving processes such as multi-agent systems where communication and individual agents induce timing uncertainty. For a deterministic signal and a given specification, we first introduce the synchronous and the asynchronous temporal robustness to quantify the signal's robustness with respect to synchronous and asynchronous time shifts in its sub-signals. We then define the temporal robustness risk by investigating the temporal robustness of the realizations of a stochastic signal. This definition can be interpreted as the risk associated with a stochastic signal to not satisfy a specification robustly in time. In this definition, general forms of specifications such as signal temporal logic specifications are permitted. We show how the temporal robustness risk is estimated from data for the value-at-risk. The usefulness of the temporal robustness risk is underlined by both theoretical and empirical evidence. In particular, we provide various numerical case studies including a T-intersection scenario in autonomous driving.
