Conformance Relations and Hyperproperties for Doping Detection in Time and Space

12/07/2020
by   Sebastian Biewer, et al.
0

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. 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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset