Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control

Abstract

Analyzing Event-Triggered Control's (ETC) sampling behaviour is of paramount importance, as it enables formal assessment of its sampling performance and prediction of its sampling patterns. In this work, we formally analyze the sampling behaviour of stochastic linear periodic ETC (PETC) systems by computing bounds on associated metrics. Specifically, we consider functions over sequences of state measurements and intersampling times that can be expressed as average, multiplicative or cumulative rewards, and introduce their expectations as metrics on PETC's sampling behaviour. We compute bounds on these expectations, by constructing appropriate Interval Markov Chains equipped with suitable reward structures, that abstract stochastic PETC's sampling behaviour. Our results are illustrated on a numerical example, for which we compute bounds on the expected average intersampling time and on the probability of triggering with the maximum possible intersampling time in a finite horizon.

arXiv commentUnder review

References in corpus (8)

• SciPy 1.0--Fundamental Algorithms for Scientific Computing in Python
• Value of Information in Feedback Control: Quantification
• Abstracting the Traffic of Nonlinear Event-Triggered Control Systems
• Strategy Synthesis for Partially-known Switched Stochastic Systems
• Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems
• Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems
• Adversarial Robustness Guarantees for Classification with Gaussian Processes
• Analysis of Time- versus Event-Triggered Consensus for a Single-Integrator Multi-Agent System

Cited by in corpus (3)

• Current trends and future directions in event-based control
• Memory-dependent abstractions of stochastic systems through the lens of transfer operators
• Predictable Interval MDPs through Entropy Regularization