Precision on Demand:: Propositional Logic for Event-Trigger Threshold Regulation

Valdemar Tang Evans; Cláudio Gomes; Daniel Enrique Lucani Rötter

doi:10.1109/JIOT.2024.3476922

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

3 Citationer (Scopus)

Abstract

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.

Originalsprog	Engelsk
Tidsskrift	IEEE Internet of Things Journal
Vol/bind	12
Nummer	3
Sider (fra-til)	2674-2689
Antal sider	16
ISSN	2327-4662
DOI	https://doi.org/10.1109/JIOT.2024.3476922
Status	Udgivet - feb. 2025

Adgang til dokumentet

10.1109/JIOT.2024.3476922Licens: Andet

Biblioteksadgang?

Tjek tilgængelighed hos det Kgl. Bibliotek

Andre filer og links

Link to publication in Scopus

Citationsformater

@article{ba56d852c3694010b5107ef8f5acb153,

title = "Precision on Demand:: Propositional Logic for Event-Trigger Threshold Regulation",

abstract = "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.",

keywords = "Event-triggering mechanisms, Interval Arithmetic, Propositional Logic, propositional logic (PL), interval arithmetic",

author = "Evans, \{Valdemar Tang\} and Cl{\'a}udio Gomes and \{Lucani R{\"o}tter\}, \{Daniel Enrique\}",

year = "2025",

month = feb,

doi = "10.1109/JIOT.2024.3476922",

language = "English",

volume = "12",

pages = "2674--2689",

journal = "IEEE Internet of Things Journal",

issn = "2327-4662",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "3",

}

TY - JOUR

T1 - Precision on Demand:

T2 - Propositional Logic for Event-Trigger Threshold Regulation

AU - Evans, Valdemar Tang

AU - Gomes, Cláudio

AU - Lucani Rötter, Daniel Enrique

PY - 2025/2

Y1 - 2025/2

N2 - 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.

AB - 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.

KW - Event-triggering mechanisms

KW - Interval Arithmetic

KW - Propositional Logic

KW - propositional logic (PL)

KW - interval arithmetic

UR - https://www.scopus.com/pages/publications/85206837993

U2 - 10.1109/JIOT.2024.3476922

DO - 10.1109/JIOT.2024.3476922

M3 - Journal article

SN - 2327-4662

VL - 12

SP - 2674

EP - 2689

JO - IEEE Internet of Things Journal

JF - IEEE Internet of Things Journal

IS - 3