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.

@article{paperbot1741,
  title = {Conformance Relations and Hyperproperties for Doping Detection in Time and Space},
  author = {Sebastian Biewer and Rayna Dimitrova and Michael Fries and Maciej Gazda and Thomas Heinze and Holger Hermanns and Mohammad Reza Mousavi},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 18, Issue 1},
  year = {2022},
  doi = {10.46298/lmcs-18(1:14)2022}
}