Abstract
Periodic event-triggered control (PETC) [13] is a version of event-triggered control that only requires the measurement of the plant output periodically instead of continuously. In this note, we present a construction of timing models for these PETC implementations to capture the dynamics of the traffic they generate. In the construction, we employ a two-step approach. We first partition the state space into a finite number of regions. Then, in each region, the event-triggering behavior is analyzed with the help of linear matrix inequalities. The state transitions among different regions result from computing the reachable state set starting from each region within the computed event time intervals.
Original language | English |
---|---|
Pages (from-to) | 3453-3460 |
Journal | IEEE Transactions on Automatic Control |
Volume | 64 |
Issue number | 8 |
DOIs | |
Publication status | Published - 2019 |
Bibliographical note
Green Open Access added to TU Delft Institutional Repository 'You share, we take care!’ – Taverne project https://www.openaccess.nl/en/you-share-we-take-careOtherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.
Keywords
- Formal methods
- linear matrix inequality (LMI)
- periodic event-triggered control (PETC)
- reachability analysis
- systems abstractions