Report
Computing the average inter-sample time of event-triggered control using quantitative automata
| العنوان: | Computing the average inter-sample time of event-triggered control using quantitative automata |
|---|---|
| المؤلفون: | Gleizer, Gabriel de Albuquerque, Mazo Jr, Manuel |
| سنة النشر: | 2021 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Electrical Engineering and Systems Science - Systems and Control |
| الوصف: | Event-triggered control (ETC) is a major recent development in cyber-physical systems due to its capability of reducing resource utilization in networked devices. However, while most of the ETC literature reports simulations indicating massive reductions in the sampling required for control, no method so far has been capable of quantifying these results. In this work, we propose an approach through finite-state abstractions to do formal quantification of the traffic generated by ETC of linear systems, in particular aiming at computing its smallest average inter-sample time (SAIST). The method involves abstracting the traffic model through $l$-complete abstractions, finding the cycle of minimum average length in the graph associated to it, and verifying whether this cycle is an infinitely recurring traffic pattern. The method is proven to be robust to sufficiently small model uncertainties, which allows its application to compute the SAIST of ETC of nonlinear systems. Comment: Submitted to Nonlinear Analysis: Hybrid Systems v2: fixing plant and controller data of numerical example in Sec. 6.2 |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2109.14391 |
| رقم الانضمام: | edsarx.2109.14391 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |