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

Journal article (2024)

Authors

Giannis Delimpaltadakis Eindhoven University of Technology
L. Laurenti Team Luca Laurenti - Mechanical, Maritime and Materials Engineering
M. Mazo Team Manuel Mazo Jr - Mechanical, Maritime and Materials Engineering
Research Group
Team Luca Laurenti (Mechanical, Maritime and Materials Engineering) (TU Delft)
More Info
expand_more

Published Date

2024

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Mechanical, Maritime and Materials Engineering

Department

Delft Center for Systems and Control

Research Group

Team Luca Laurenti

Abstract

Analyzing event-triggered control's (ETC) sampling behavior 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 behavior 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 behavior. We compute bounds on these expectations, by constructing Interval Markov Chains equipped with suitable reward functions, that abstract stochastic PETC's sampling behavior. 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.

Files

Formal_Analysis_of_the_Samplin... (pdf)
(pdf | 1.24 Mb)
- Embargo expired in 17-05-2024
Unknown license