掺杂检测的时间一致性关系和超特性和空间第条作者：塞巴斯蒂安·比沃；雷娜·迪米特洛娃；迈克尔·弗里斯（Michael Fries）；Maciej Gazda；托马斯·海因策；霍尔格·赫尔曼斯
; 穆罕默德·雷扎·穆萨维
NULL##空##空#空###空
塞巴斯蒂安·比沃；雷娜·迪米特洛娃；迈克尔·弗里斯（Michael Fries）；Maciej Gazda；托马斯·海因策；霍尔格·赫尔曼；穆罕默德·雷扎·穆萨维
我们提出了一个新的、通用的关于兴奋剂清洁度的概念允许扰动输入并观察时域和值域中的扰动输出。我们实例化我们的使用现有的网络物理系统一致性概念进行定义。作为作为监控基于一致性的清洁度的正式基础，我们开发了时序逻辑HyperSTL*，带跟踪的信号时序逻辑的扩展量词和冻结运算符。我们表明，我们的广义定义是在兴奋剂检测的数据驱动方法中至关重要柴油排放试验案例研究的定义。
第18卷第1期
发布日期：2022年1月19日
验收日期：2021年11月3日
提交日期：2020年12月8日
关键词：计算机科学-计算机科学中的逻辑
基金： 来源：OpenAIRE Graph- 人民的权力。已证实的。; 出资人：欧洲委员会；代码：695614
