Barbaric Robustness Monitoring Revisited for STL* in Parasim

Šafránek, David; Troják, Matej; Brůža, Vojtěch; Vejpustek, Tomáš; Papoušek, Jan; Demko, Martin; Pastva, Samuel; Pejznoch, Aleš; Brim, Luboš

doi:10.1007/978-3-030-31304-3_26

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2020

2022

Publication Types

Select...

Other1

Article1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The combination turns out to be expressive enough to specify cleanness with respect to hybrid conformance. Moreover, we use a monitoring procedure inspired by an earlier extension of STL with freeze operator [45] to check for cleanness with respect to hybrid conformance. Robust cleanness is defined for distance functions on inputs and outputs [18].…”

Section: Related Workmentioning

confidence: 99%

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Biewer,

Dimitrova,

Fries

et al. 2020

Preprint

View full text Add to dashboard Cite

We present a novel and generalised notion of doping cleanness for cyberphysical 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.

show abstract

Section: Related Workmentioning

confidence: 99%

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Biewer,

Dimitrova,

Fries

et al. 2020

Preprint

View full text Add to dashboard Cite

show abstract

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Biewer¹,

Dimitrova²,

Fries³

et al. 2022

Logical Methods in Computer Science

View full text Add to dashboard Cite

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.

show abstract

Barbaric Robustness Monitoring Revisited for STL* in Parasim

Cited by 2 publications

References 11 publications

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Contact Info

Product

Resources

About