Biewer, S., Dimitrova, R., Fries, M. et al. (4 more authors) (2022) Conformance relations and hyperproperties for doping detection in time and space. Logical Methods in Computer Science, 18 (1). 14. ISSN 1860-5974
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. 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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2022 S. Biewer, R. Dimitrova, M. Fries, M. Gazda, T. Heinze, H. Hermanns, and M. R. Mousavi. This work is licensed under the Creative Commons Attribution License. (http://creativecommons.org/licenses/by/4.0) |
Keywords: | Software Doping; Conformance Testing; Hybrid Systems |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 07 Feb 2022 13:24 |
Last Modified: | 07 Feb 2022 13:24 |
Status: | Published |
Publisher: | Centre pour la Communication Scientifique Directe (CCSD) |
Refereed: | Yes |
Identification Number: | 10.46298/lmcs-18(1:14)2022 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:183305 |