research-article

Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems

Authors:

Giannis Delimpaltadakis,

Manuel MazoAuthors Info & Claims

2021 60th IEEE Conference on Decision and Control (CDC)

Pages 1287 - 1294

https://doi.org/10.1109/CDC45484.2021.9683751

Published: 14 December 2021 Publication History

Abstract

Recently, there have been efforts towards understanding the sampling behaviour of event-triggered control (ETC), for obtaining metrics on its sampling performance and predicting its sampling patterns. Finite-state abstractions, capturing the sampling behaviour of ETC systems, have proven promising in this respect. So far, such abstractions have been constructed for non-stochastic systems. Here, inspired by this framework, we abstract the sampling behaviour of stochastic narrow-sense linear periodic ETC (PETC) systems via Interval Markov Chains (IMCs). Particularly, we define functions over sequences of state-measurements and interevent times that can be expressed as discounted cumulative sums of rewards, and compute bounds on their expected values by constructing appropriate IMCs and equipping them with suitable rewards. Finally, we argue that our results are extendable to more general forms of functions, thus providing a generic framework to define and study various ETC sampling indicators.

References

[1]

K. J. Astrom and B. M. Bernhardsson, “Comparison of riemann and lebesgue sampling for first order stochastic systems,” in Proceedings of the 41st IEEE Conference on Decision and Control, 2002., vol. 2. IEEE, 2002, pp. 2011–2016.

[2]

P. Tabuada, “Event-triggered real-time scheduling of stabilizing control tasks,” IEEE Transactions on Automatic Control, vol. 52, no. 9, pp. 1680–1685, 2007.

[3]

A. Girard, “Dynamic triggering mechanisms for event-triggered control,” IEEE Transactions on Automatic Control, vol. 60, no. 7, pp. 1992–1997, 2015.

[4]

Y. Wang, W. X. Zheng, and H. Zhang, “Dynamic event-based control of nonlinear stochastic systems,” IEEE Transactions on Automatic Control, vol. 62, no. 12, pp. 6544–6551, 2017.

[5]

Q. Zhu, “Stabilization of stochastic nonlinear delay systems with exogenous disturbances and the event-triggered feedback control,” IEEE Transactions on Automatic Control, vol. 64, no. 9, pp. 3764–3771, 2018.

[6]

W. H. Heemels, M. Donkers, and A. R. Teel, “Periodic event-triggered control for linear systems,” IEEE Transactions on Automatic Control, vol. 58, no. 4, pp. 847–861, 2012.

[7]

S. Luo and F. Deng, “On event-triggered control of nonlinear stochastic systems,” IEEE Transactions on Automatic Control, vol. 65, no. 1, pp. 369–375, 2019.

[8]

R. Postoyan, R. G. Sanfelice, and W. P. M. H. Heemels, “Inter-event times analysis for planar linear event-triggered controlled systems,” in 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, pp. 1662–1667.

[9]

A. Rajan and P. Tallapragada, “Analysis of inter-event times for planar linear systems under a general class of event triggering rules,” in 2020 59th IEEE Conference on Decision and Control (CDC), 2020, pp. 5206–5211.

[10]

A. S. Kolarijani and M. Mazo Jr, “Formal traffic characterization of lti event-triggered control systems,” IEEE Transactions on Control of Network Systems, vol. 5, no. 1, pp. 274–283, 2016.

[11]

G. Delimpaltadakis and M. Mazo Jr, “Traffic abstractions of nonlinear homogeneous event-triggered control systems,” in 2020 59th IEEE Conference on Decision and Control (CDC), 2020, pp. 4991–4998.

[12]

G. Delimpaltadakis and M. Mazo Jr, “Traffic abstractions of nonlinear event-triggered control systems with disturbances and uncertainties,” arXiv preprint arXiv:2010.12341v2, under review, 2020.

[13]

G. de A. Gleizer and M. Mazo Jr, “Computing the sampling performance of event-triggered control,” in Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, 2021, pp. 1–7.

[14]

R. Givan, S. Leach, and T. Dean, “Bounded-parameter markov decision processes,” Artificial Intelligence, vol. 122, no. 1-2, pp. 71–109, 2000.

Digital Library

[15]

L. Laurenti, M. Lahijanian, A. Abate, L. Cardelli, and M. Kwiatkowska, “Formal and efficient synthesis for continuous-time linear stochastic hybrid processes,” IEEE Transactions on Automatic Control, vol. 66, no. 1, pp. 17–32, 2021.

[16]

M. Lahijanian, S. B. Andersson, and C. Belta, “Formal verification and synthesis for discrete-time stochastic systems,” IEEE Transactions on Automatic Control, vol. 60, no. 8, pp. 2031–2045, 2015.

[17]

M. Dutreix and S. Coogan, “Specification-guided verification and abstraction refinement of mixed monotone stochastic systems,” IEEE Transactions on Automatic Control, vol. 66, no. 7, pp. 2975–2990, 2021.

[18]

C. I. Tulcea, “Mesures dans les espaces produits,” Atti Acad. Naz. Lincei Rend. Cl Sci. Fis. Mat. Nat, vol. 8, no. 7, 1949.

[19]

M. L. Puterman, Markov decision processes: discrete stochastic dynamic programming.John Wiley & Sons, 2014.

[20]

X. Mao, Stochastic differential equations and applications.Elsevier, 2007.

[21]

N. Cauchi, L. Laurenti, M. Lahijanian, A. Abate, M. Kwiatkowska, and L. Cardelli, “Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems,” in Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019, pp. 240–251.

Cited By

Lavaei A(2024)Abstraction-based Synthesis of Stochastic Hybrid SystemsProceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3641513.3651399(1-11)Online publication date: 14-May-2024
https://dl.acm.org/doi/10.1145/3641513.3651399
Delimpaltadakis Gde Albuquerque Gleizer Gvan Straalen IMazo Jr. MBartocci EPutot S(2022)ETCetera: beyond Event-Triggered ControlProceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3501710.3519523(1-11)Online publication date: 4-May-2022
https://dl.acm.org/doi/10.1145/3501710.3519523

Index Terms

Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems

Index terms have been assigned to the content through auto-classification.

Recommendations

Limiting Discounted-Cost Control of Partially Observable Stochastic Systems

This paper presents two main results on partially observable (PO) stochastic systems. In the first one, we consider a general PO system $$ x_{t+1}= F (x_t, a_t, xi_t), , y_t= G(x_t, eta_t) (t=0,1,ldots) hspace{1in} (*) $$ on Borel spaces, with possibly ...
Periodic and event‐based impulse control for linear stochastic systems with multiplicative noise
Summary
This paper studies the performance comparison of periodic and event‐based sampling for a class of linear stochastic systems with multiplicative noise, where the impulse control is adopted. By solving boundary value problems, we obtain the analytic ...
On external behavior equivalence of continuous-time stochastic linear control systems
2016 IEEE 55th Conference on Decision and Control (CDC)
In this paper we consider continuous-time stochastic linear control systems and study the notion of stochastic external behaviour equivalence. Starting from our earlier work on equivalences given for discrete-time stochastic control systems, we first ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

2021 60th IEEE Conference on Decision and Control (CDC)

Dec 2021

6130 pages

Copyright © 2021.

Publisher

IEEE Press

Publication History

Published: 14 December 2021

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Lavaei A(2024)Abstraction-based Synthesis of Stochastic Hybrid SystemsProceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3641513.3651399(1-11)Online publication date: 14-May-2024
https://dl.acm.org/doi/10.1145/3641513.3651399
Delimpaltadakis Gde Albuquerque Gleizer Gvan Straalen IMazo Jr. MBartocci EPutot S(2022)ETCetera: beyond Event-Triggered ControlProceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3501710.3519523(1-11)Online publication date: 4-May-2022
https://dl.acm.org/doi/10.1145/3501710.3519523

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents