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

TL;DR

This paper presents a propositional logic-based event-trigger threshold regulation mechanism that adaptively manages safety thresholds, reducing event triggers significantly while ensuring system safety in vehicle convoy scenarios.

Contribution

It introduces a novel formal ETT regulation method using propositional logic with guarantees for satisfaction and violation detection, enhancing safety and efficiency.

Findings

Achieved 41.8-96.3% reduction in triggered events

Maintained safety conditions comparable to constant thresholds

Validated in an adaptive cruise control scenario

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 - 96.3% in the number of triggered events is possible compared to using a constant ETT while maintaining similar safety conditions.