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.
https://hal.inria.fr/hal-03283236 Contributor : Hal IfipConnect in order to contact the contributor Submitted on : Friday, July 9, 2021 - 5:53:48 PM Last modification on : Friday, July 9, 2021 - 5:57:28 PM Long-term archiving on: : Sunday, October 10, 2021 - 8:28:45 PM
File
Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed
until : 2023-01-01
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⟩