Conformance-Based Doping Detection for Cyber-Physical Systems
Résumé
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
