Sebastian Biewer ; Rayna Dimitrova ; Michael Fries ; Maciej Gazda ; Thomas Heinze et al. - Conformance Relations and Hyperproperties for Doping Detection in Time and Space

lmcs:6963 - Logical Methods in Computer Science, January 19, 2022, Volume 18, Issue 1 - https://doi.org/10.46298/lmcs-18(1:14)2022
Conformance Relations and Hyperproperties for Doping Detection in Time and SpaceArticle

Authors: Sebastian Biewer ; Rayna Dimitrova ; Michael Fries ; Maciej Gazda ; Thomas Heinze ; Holger Hermanns ORCID; 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.


    Volume: Volume 18, Issue 1
    Published on: January 19, 2022
    Accepted on: November 3, 2021
    Submitted on: December 8, 2020
    Keywords: Computer Science - Logic in Computer Science
    Funding:
      Source : OpenAIRE Graph
    • Power to the People. Verified.; Funder: European Commission; Code: 695614

    2 Documents citing this article

    Consultation statistics

    This page has been seen 1309 times.
    This article's PDF has been downloaded 698 times.