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
conference contribution
posted on 2020-05-04, 15:17 authored by Dimitrova Rayna, Gazda Maciej, Mohammadreza Mousavi, Biewer Sebastian, Hermanns HolgerWe 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 PressSource
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2020)Version
- AM (Accepted Manuscript)