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.
This work is partly supported by the ERC Grant 695614 (POWVER) by theDeutsche Forschungsgemeinschaft (DFG, German Research Foundation) grant389792660 as part of TRR 248, see https://perspicuous-computing.science, by theSaarbr ̈ucken Graduate School of Computer Science, and by the Sino-German CDZproject 1023 (CAP).
Citation40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2020) In Press
Source40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2020)
- AM (Accepted Manuscript)