research-article

Open access

ETCetera: beyond Event-Triggered Control

Authors:

Giannis Delimpaltadakis,

Gabriel de Albuquerque Gleizer,

Ivo van Straalen,

Manuel Mazo Jr.Authors Info & Claims

HSCC '22: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control

Article No.: 20, Pages 1 - 11

https://doi.org/10.1145/3501710.3519523

Published: 04 May 2022 Publication History

All formats PDF

Abstract

We present ETCetera, a Python library developed for the analysis and synthesis of the sampling behaviour of event triggered control (ETC) systems. In particular, the tool constructs abstractions of the sampling behaviour of given ETC systems, in the form of timed automata (TA) or finite-state transition systems (FSTSs). When the abstraction is an FSTS, ETCetera provides diverse manipulation tools for analysis of ETC’s sampling performance, synthesis of communication traffic schedulers (when networks shared by multiple ETC loops are considered), and optimization of sampling strategies. Additionally, the TA models may be exported to UPPAAL for analysis and synthesis of schedulers. Several examples of the tool’s application for analysis and synthesis problems with different types of dynamics and event-triggered implementations are provided.

References

[1]

Karl-Erik Åarzén. 1999. A simple event-based PID controller. IFAC Proceedings Volumes 32, 2 (1999), 8687–8692.

[2]

Akshay Agrawal, Robin Verschueren, Steven Diamond, and Stephen Boyd. 2018. A rewriting system for convex optimization problems. Journal of Control and Decision 5, 1 (2018), 42–60.

[3]

Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science 126, 2 (1994), 183–235.

[4]

Adolfo Anta and Paulo Tabuada. 2008. Self-triggered stabilization of homogeneous control systems. In American Control Conference, 2008. IEEE, 4129–4134.

[5]

Karl Johan Astrom and Bo M Bernhardsson. 2002. 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, 2011–2016.

[6]

Randal E Bryant. 1992. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys (CSUR) 24, 3 (1992), 293–318.

Digital Library

[7]

Krishnendu Chatterjee, Laurent Doyen, and Thomas A Henzinger. 2010. Quantitative languages. ACM Transactions on Computational Logic (TOCL) 11, 4 (2010), 1–38.

Digital Library

[8]

Mmanu Chaturvedi and Ross M McConnell. 2017. A note on finding minimum mean cycle. Inform. Process. Lett. 127 (2017), 21–22.

Digital Library

[9]

Xin Chen, Erika Ábrahám, and Sriram Sankaranarayanan. 2013. Flow*: An analyzer for non-linear hybrid systems. In International Conference on Computer Aided Verification. Springer, 258–263.

[10]

Caltech Control and Dynamical Systems. 2020. dd (version 0.5.6.). https://pypi.org/project/dd/.

[11]

Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikučionis, and Jakob Haahr Taankvist. 2015. Uppaal stratego. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 206–211.

Digital Library

[12]

Gabriel de A. Gleizer, Khushraj Madnani, and Manuel Mazo Jr.2021. Self-Triggered Control for Near-Maximal Average Inter-Sample Time. In 60th IEEE Conference on Decision and Control (accepted).

[13]

Gabriel de A. Gleizer and Manuel Mazo Jr.2020. Scalable traffic models for scheduling of linear periodic event-triggered controllers. IFAC-PapersOnLine 53, 2 (2020), 2726–2732.

[14]

Gabriel de A. Gleizer and M. Mazo Jr.2021. Computing the sampling performance of event-triggered control. In Proc. of the 24th Int’l Conf. on Hybrid Systems: Computation and Control (Nashville, TN, USA) (HSCC ’21). ACM, Article 20, 7 pages.

[15]

Gabriel de A. Gleizer and Manuel Mazo Jr.2021. Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers. IEEE Control Systems Letters 5, 1 (2021), 25–30.

[16]

Gabriel de Albuquerque Gleizer and Manuel Mazo Jr.2021. Computing the average inter-sample time of event-triggered control using quantitative automata. arxiv:2109.14391 [eess.SY]

[17]

Leonardo De Moura and Nikolaj Bjørner. 2008. Z3: An efficient SMT solver. In International conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 337–340.

[18]

Giannis Delimpaltadakis, Luca Laurenti, and Manuel Mazo Jr.2021. Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems. In 2021 60th IEEE Conference on Decision and Control (CDC). 1287–1294. https://doi.org/10.1109/CDC45484.2021.9683751

Digital Library

[19]

Giannis Delimpaltadakis, Luca Laurenti, and Manuel Mazo Jr. 2022. Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control. arXiv preprint arXiv:2202.10178(2022).

[20]

Giannis Delimpaltadakis and Manuel Mazo Jr.2020. Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems. In 2020 59th IEEE Conference on Decision and Control (CDC). 4991–4998. https://doi.org/10.1109/CDC42340.2020.9303968

Digital Library

[21]

Giannis Delimpaltadakis and Manuel Mazo Jr.2021. Abstracting the Traffic of Nonlinear Event-Triggered Control Systems. arXiv preprint arXiv:2010.12341, under review (2021).

[22]

Giannis Delimpaltadakis and Manuel Mazo Jr.2021. Isochronous Partitions for Region-Based Self-Triggered Control. IEEE Trans. Automat. Control 66, 3 (2021), 1160–1173. https://doi.org/10.1109/TAC.2020.2994020

[23]

Giannis Delimpaltadakis and Manuel Mazo Jr.2021. Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems. IEEE Transactions on Control of Network Systems 8, 2 (2021), 757–768. https://doi.org/10.1109/TCNS.2021.3050121

[24]

Steven Diamond and Stephen Boyd. 2016. CVXPY: A Python-embedded modeling language for convex optimization. Journal of Machine Learning Research 17, 83 (2016), 1–5.

Digital Library

[25]

Andrzej Ehrenfeucht and Jan Mycielski. 1979. Positional strategies for mean payoff games. International Journal of Game Theory 8, 2 (1979), 109–113.

Digital Library

[26]

Christophe Fiter, Laurentiu Hetel, Wilfrid Perruquetti, and Jean-Pierre Richard. 2012. A state dependent sampling for linear state feedback. Automatica 48, 8 (2012), 1860–1867.

Digital Library

[27]

Sicun Gao, Soonho Kong, and Edmund M Clarke. 2013. dReal: An SMT solver for nonlinear theories over the reals. In International Conference on Automated Deduction. Springer, 208–214.

Digital Library

[28]

Gabriel de Albuquerque Gleizer and Manuel Mazo Jr. 2022. Chaos and order in event-triggered control. arXiv preprint arXiv:2201.04462(2022).

[29]

W. P. M. H. Heemels, M. C. F. Donkers, and Andrew R. Teel. 2013. Periodic event-triggered control for linear systems. IEEE Trans. Automat. Control 58, 4 (2013), 847–861.

[30]

L. Hetel, A. Kruszewski, W. Perruquetti, and J. Richard. 2011. Discrete and Intersample Analysis of Systems With Aperiodic Sampling. IEEE Trans. Automat. Control 56, 7 (2011), 1696–1701. https://doi.org/10.1109/TAC.2011.2122690

[31]

Richard M Karp. 1978. A characterization of the minimum cycle mean in a digraph. Discrete mathematics 23, 3 (1978), 309–311.

[32]

Arman Sharifi Kolarijani and Manuel Mazo Jr. 2016. Formal Traffic Characterization of LTI Event-Triggered Control Systems. IEEE Transactions on Control of Network Systems 5, 1 (2016), 274–283.

[33]

Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke. 2015. dReach: δ-reachability analysis for hybrid systems. In International Conference on TOOLS and Algorithms for the Construction and Analysis of Systems. Springer, 200–205.

Digital Library

[34]

Manuel Mazo Jr., Adolfo Anta, and Paulo Tabuada. 2010. An ISS self-triggered implementation of linear controllers. Automatica 46, 8 (2010), 1310–1314.

Digital Library

[35]

Manuel Mazo Jr, Arman Sharifi-Kolarijani, Dieky Adzkiya, and Christiaan Hop. 2018. Abstracted models for scheduling of event-triggered control data traffic. In Control Subject to Computational and Communication Constraints. Springer, 197–217.

[36]

R. Postoyan, R. G. Sanfelice, and W. P. M. H. Heemels. 2019. Inter-event Times Analysis for Planar Linear Event-triggered Controlled Systems. In 2019 IEEE 58th Conference on Decision and Control (CDC). 1662–1667. https://doi.org/10.1109/CDC40024.2019.9028888

Digital Library

[37]

A. Rajan and P. Tallapragada. 2020. 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). 5206–5211. https://doi.org/10.1109/CDC42340.2020.9304406

Digital Library

[38]

F. Somenzi. 1998. CUDD: CU Decision Diagram Package Release 2.2.0.

[39]

Aleksandra Szymanek, Gabriel de A. Gleizer, and Manuel Mazo Jr.2019. Periodic event-triggered control with a relaxed triggering condition. In 2019 IEEE 58th Conference on Decision and Control (CDC). IEEE, 1656–1661.

[40]

Paulo Tabuada. 2007. Event-triggered real-time scheduling of stabilizing control tasks. IEEE Trans. Automat. Control 52, 9 (2007), 1680–1685.

[41]

Paulo Tabuada. 2009. Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media.

Digital Library

[42]

Ivo van Straalen. 2021. Efficient Scheduler Synthesis For Periodic Event Triggered Control Systems: An Approach With Binary Decision Diagrams. Master’s thesis. Delft University of Technology. http://resolver.tudelft.nl/uuid:f9764019-e908-45e7-a053-0f6fbc8a7792

[43]

Andras Varga. 2010. OMNeT++. In Modeling and tools for network simulation. Springer, 35–59.

[44]

Manel Velasco, Josep Fuertes, and Pau Marti. 2003. The self triggered task model for real-time control systems. In Work-in-Progress Session of the 24th IEEE Real-Time Systems Symposium (RTSS03), Vol. 384.

Cited By

Gleizer GMazo M(2023)Chaos and Order in Event-Triggered ControlIEEE Transactions on Automatic Control10.1109/TAC.2023.324233468:11(6541-6556)Online publication date: Nov-2023
https://doi.org/10.1109/TAC.2023.3242334
Peruffo AMazo M(2023)Data-Driven Abstractions With Probabilistic Guarantees for Linear PETC SystemsIEEE Control Systems Letters10.1109/LCSYS.2022.31861877(115-120)Online publication date: 2023
https://doi.org/10.1109/LCSYS.2022.3186187

Recommendations

$$H_{\infty }$$Hź Static Output Control of Discrete-Time Networked Control Systems with an Event-Triggered Scheme

This paper is devoted to the event-triggered $$H_{\infty }$$Hź static output feedback control of linear discrete-time networked control systems. With the help of zero-holder, a time-delay formulation is adopted to describe the even-triggered output. ...
Robust event-triggered control for networked control systems
Abstract
This paper is concerned with event-triggered dynamic output feedback control for networked control systems subject to communication delays. Two event-triggered conditions are predefined independently to check in an asynchronous matter ...
Event-triggered control for networked nonlinear semi-Markovian jump systems with randomly occurring uncertainties and transmission delay
Abstract
This paper is concerned with stochastic stabilization problem for networked semi-Markovian jump systems with randomly occurring uncertainties and nonlinearities under event-triggered scheme. By employing the delay system method, the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

HSCC '22: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control

May 2022

265 pages

ISBN:9781450391962

DOI:10.1145/3501710

Co-chairs:
Ezio Bartocci
Technische Universität Wien, Vienna, Austria
,
Sylvie Putot
Ecole Polytechnique, Palaiseau, France

Copyright © 2022 Owner/Author.

This work is licensed under a Creative Commons Attribution International 4.0 License.

Sponsors

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 May 2022

Check for updates

Badges

Results Reproduced / v1.1

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

HSCC '22

Sponsor:

SIGBED

HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control

May 4 - 6, 2022

Milan, Italy

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
384
Total Downloads

Downloads (Last 12 months)169
Downloads (Last 6 weeks)35

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Gleizer GMazo M(2023)Chaos and Order in Event-Triggered ControlIEEE Transactions on Automatic Control10.1109/TAC.2023.324233468:11(6541-6556)Online publication date: Nov-2023
https://doi.org/10.1109/TAC.2023.3242334
Peruffo AMazo M(2023)Data-Driven Abstractions With Probabilistic Guarantees for Linear PETC SystemsIEEE Control Systems Letters10.1109/LCSYS.2022.31861877(115-120)Online publication date: 2023
https://doi.org/10.1109/LCSYS.2022.3186187

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

HTML Format

View this article in HTML Format.

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