.png){kind=icon}
返回
Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
.png){kind=icon}
PRE
AI
DOI：10.1109/JIOT.2024.3476922.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We introduce a novel event-trigger threshold (ETT) regulation mechanism based on the quantitative semantics of propositional logic (PL). We exploit the expressiveness of the PL vocabulary to deliver a precise and flexible specification of ETT regulation based on system requirements and properties. Additionally, we present a modified ETT regulation mechanism that provides formal guarantees for satisfaction/violation detection of arbitrary PL properties. To validate our proposed method, we consider a convoy of vehicles in an adaptive cruise control scenario. In this scenario, the PL operators are used to encode safety properties and the ETTs are regulated accordingly, e.g., if our safety metric is high there can be a higher ETT threshold, while a smaller threshold is used when the system is approaching unsafe conditions. Under ideal ETT regulation conditions in this safety scenario, we show that reductions between 41.8% and 96.3% in the number of triggered events is possible compared to using a constant ETT while maintaining similar safety conditions.
Keyword:
Safety
Regulation
Monitoring
Vectors
Current measurement
Accuracy
Systems architecture
Logic
Cruise control
Stability analysis
Event-triggering mechanisms
interval arithmetic
propositional logic (PL)
期刊
IF:
8.9
论文数:
1.4W
被引数:
7.8W
机构
引用论文
分享收藏分享收藏Evolving approaches to integration of computational with experimental chemistry: an example from osmium hydrido (η1/η2-)nitrosyl/nitroxyl chemistry.png)
New J. Chem.
New J. Chem.IF0
PREAI
分享收藏分享收藏Observer-Based Event-Triggered Iterative Learning Consensus for Locally Lipschitz Nonlinear MASs局部Lipschitz非线性质量的基于观察者的事件触发迭代学习一致性
PREAI
分享收藏
查看更多内容