CISPA
Browse
cispa_all_3540.pdf (1.25 MB)

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Download (1.25 MB)
journal contribution
posted on 2023-11-29, 18:05 authored by Sebastian Biewer, Rayna DimitrovaRayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
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. As a formal basis for monitoring conformance-based cleanness, we develop the temporal logic HyperSTL*, an extension of Signal Temporal Logics with trace quantifiers and a freeze operator. 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.

History

Preferred Citation

Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns and Mohammad Mousavi. Conformance Relations and Hyperproperties for Doping Detection in Time and Space. In: Logical Methods in Computer Science. 2022.

Primary Research Area

  • Threat Detection and Defenses

Legacy Posted Date

2022-01-20

Journal

Logical Methods in Computer Science

Open Access Type

  • Gold

Sub Type

  • Article

BibTeX

@article{cispa_all_3540, title = "Conformance Relations and Hyperproperties for Doping Detection in Time and Space", author = "Biewer, Sebastian and Dimitrova, Rayna and Fries, Michael and Gazda, Maciej and Heinze, Thomas and Hermanns, Holger and Mousavi, Mohammad Reza", journal="{Logical Methods in Computer Science}", year="2022", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC