Conformance-Based Doping Detection for Cyber-Physical Systems - Formal Techniques for Distributed Objects, Components, and Systems Access content directly
Conference Papers Year : 2020

Conformance-Based Doping Detection for Cyber-Physical Systems

Abstract

We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time– and value–domains. We instantiate our definition using existing notions of conformance for cyber-physical systems. We show that our generalised definitions are essential in a data-driven method for doping detection and apply our definitions to a case study concerning diesel emission tests.
Fichier principal
Vignette du fichier
495615_1_En_4_Chapter.pdf (831.81 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03283236 , version 1 (09-07-2021)

Licence

Attribution

Identifiers

Cite

Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns. Conformance-Based Doping Detection for Cyber-Physical Systems. 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.59-77, ⟨10.1007/978-3-030-50086-3_4⟩. ⟨hal-03283236⟩
58 View
8 Download

Altmetric

Share

Gmail Facebook X LinkedIn More