论文标题
在时空和空间中掺杂检测的一致性关系和超构物
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
论文作者
论文摘要
我们为网络物理系统提出了一种新颖而广义的兴奋剂清洁度概念，该概念允许在时间和价值域中扰动输入并观察扰动的输出。我们使用现有的网络物理系统一致性概念来实例化定义。作为监视基于一致性的清洁度的正式基础，我们开发了时间逻辑Hyperstl*，这是信号时间逻辑与痕量量词和冻结操作员的扩展。我们表明，我们的广义定义对于用于掺杂检测的数据驱动方法至关重要，并将我们的定义应用于有关柴油排放测试的案例研究。
We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time- and value-domains. We instantiate our definition using existing notions of conformance for cyber-physical systems. As a formal basis for monitoring conformance-based cleanness, we develop the temporal logic HyperSTL*, an extension of Signal Temporal Logics with trace quantifiers and a freeze operator. We show that our generalised definitions are essential in a data-driven method for doping detection and apply our definitions to a case study concerning diesel emission tests.
