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.
Funding
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).
History
Citation
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2020) In Press
Source
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2020)
Version
AM (Accepted Manuscript)
Published in
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2020)