Conformance Relations and Hyperproperties for Doping Detection in Time and Space

We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows perturbing the inputs observing perturbed outputs both in time- value-domains. instantiate our definition using existing notions conformance systems. As formal basis monitoring conformance-based cleanness, we develop temporal logic HyperSTL*, an extension Signal Temporal Logics with trace quantifiers freeze operator. show definitions are essential data-driven method detection apply to case study concerning diesel emission tests.