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 04.05.2020, 15:17 by Dimitrova Rayna, Gazda Maciej, Mohammadreza Mousavi, Biewer Sebastian, Hermanns Holger

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)

Acceptance date

10/04/2020

Copyright date

2020

Available date

15/06/2020

Publisher version

TBA

Language

en

Usage metrics

Categories

Exports