时间和空间掺杂检测的符合关系与超属性
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
AI总结：
本文提出广义掺杂清洁性概念，结合符合性关系与超属性逻辑HyperSTL*，用于时间和空间域上的掺杂检测，并在柴油排放测试案例中验证其有效性。
摘要：
我们针对信息物理系统提出了一种新颖且广义的掺杂清洁性概念，该概念允许在时间域和值域上扰动输入并观察扰动后的输出。我们利用现有的信息物理系统符合性概念来实例化我们的定义。作为基于符合性的清洁性监测的形式化基础，我们发展了时序逻辑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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
