首页    期刊浏览 2024年11月06日 星期三
登录注册

文章基本信息

  • 标题:CONFORMANCE RELATIONS AND HYPERPROPERTIES FOR DOPING DETECTION IN TIME AND SPACE
  • 本地全文:下载
  • 作者:Sebastian Biewer ; Rayna Dimitrova ; Michael Fries
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2022
  • 卷号:18
  • 期号:1
  • 页码:1-39
  • DOI:10.46298/lmcs-18(1:14)2022
  • 语种:English
  • 出版社:Technical University of Braunschweig
  • 摘要: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.
  • 关键词:Software Doping;Conformance Testing;Hybrid Systems
国家哲学社会科学文献中心版权所有