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)
Published in
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2020)Acceptance date
2020-04-10Copyright date
2020Available date
2020-06-15Publisher version
TBALanguage
enUsage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC