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.

翻译：我们提出了一个新颖和普遍的概念,即对网络物理系统施用清洁剂,从而能够干扰投入并观察时间和价值域中受扰动的产出。我们利用现有的网络物理系统一致性概念来即时定义。作为监测基于一致性的清洁的正式基础,我们开发了时间逻辑HyperSTL*,这是信号时空逻辑的延伸,配有微量量化器和冷冻操作器。我们表明,我们的一般性定义对于以数据驱动的方法检测兴奋剂至关重要,并将我们的定义应用于柴油排放测试的案例研究。