File(s) under permanent embargo
Reason: The file associated with this record is under embargo until publication, in accordance with the publisher's self-archiving policy. The full text may be available through the publisher links provided above.
Conformance-Based Doping Detection forCyber-Physical Systems
We present a novel and generalised notion of doping clean-ness for cyber-physical systems that allows for perturbing the inputs andobserving the perturbed outputs both in the time– and value–domains.We instantiate our definition using existing notions of conformance forcyber-physical systems. We show that our generalised definitions are es-sential in a data-driven method for doping detection and apply our def-initions to a case study concerning diesel emission tests.