Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers

G. de Albuquerque Gleizer; M. Mazo

doi:10.1109/LCSYS.2020.2999177

Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers

G. de Albuquerque Gleizer, M. Mazo

Team Tamas Keviczky

Research output: Contribution to journal › Article › Scientific › peer-review

11 Citations (Scopus)

46 Downloads (Pure)

Abstract

We provide a method to construct finite abstractions exactly bisimilar to linear systems under a modified periodic event-triggered control (PETC), when considering as output the inter-event times they generate. Assuming that the initial state lies on a known compact set, these finite-state models can exactly predict all sequences of sampling times until a specified Lyapunov sublevel set is reached. Based on these results, we provide a way to build tight models simulating the traffic of conventional PETC. These models allow computing tight bounds of the PETC average frequency and global exponential stability (GES) decay rate. Our results are demonstrated through a numerical case study.

Original language	English
Pages (from-to)	25-30
Journal	IEEE Control Systems Letters
Volume	5
Issue number	1
DOIs	https://doi.org/10.1109/LCSYS.2020.2999177
Publication status	Published - 2020

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-care

Otherwise 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

Sampled-data control
hybrid systems
control over communications
networked control systems

Access to Document

10.1109/LCSYS.2020.2999177

09105095Final published version, 549 KB

Cite this

@article{c884d7156add493b94f6ab39826b2a88,

title = "Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers",

abstract = "We provide a method to construct finite abstractions exactly bisimilar to linear systems under a modified periodic event-triggered control (PETC), when considering as output the inter-event times they generate. Assuming that the initial state lies on a known compact set, these finite-state models can exactly predict all sequences of sampling times until a specified Lyapunov sublevel set is reached. Based on these results, we provide a way to build tight models simulating the traffic of conventional PETC. These models allow computing tight bounds of the PETC average frequency and global exponential stability (GES) decay rate. Our results are demonstrated through a numerical case study.",

keywords = "Sampled-data control, hybrid systems, control over communications, networked control systems",

author = "{de Albuquerque Gleizer}, G. and M. Mazo",

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-care Otherwise 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.",

year = "2020",

doi = "10.1109/LCSYS.2020.2999177",

language = "English",

volume = "5",

pages = "25--30",

journal = "IEEE Control Systems Letters",

issn = "2475-1456",

publisher = "IEEE",

number = "1",

}

TY - JOUR

T1 - Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers

AU - de Albuquerque Gleizer, G.

AU - Mazo, M.

N1 - 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-care Otherwise 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.

PY - 2020

Y1 - 2020

N2 - We provide a method to construct finite abstractions exactly bisimilar to linear systems under a modified periodic event-triggered control (PETC), when considering as output the inter-event times they generate. Assuming that the initial state lies on a known compact set, these finite-state models can exactly predict all sequences of sampling times until a specified Lyapunov sublevel set is reached. Based on these results, we provide a way to build tight models simulating the traffic of conventional PETC. These models allow computing tight bounds of the PETC average frequency and global exponential stability (GES) decay rate. Our results are demonstrated through a numerical case study.

AB - We provide a method to construct finite abstractions exactly bisimilar to linear systems under a modified periodic event-triggered control (PETC), when considering as output the inter-event times they generate. Assuming that the initial state lies on a known compact set, these finite-state models can exactly predict all sequences of sampling times until a specified Lyapunov sublevel set is reached. Based on these results, we provide a way to build tight models simulating the traffic of conventional PETC. These models allow computing tight bounds of the PETC average frequency and global exponential stability (GES) decay rate. Our results are demonstrated through a numerical case study.

KW - Sampled-data control

KW - hybrid systems

KW - control over communications

KW - networked control systems

UR - http://www.scopus.com/inward/record.url?scp=85091097332&partnerID=8YFLogxK

U2 - 10.1109/LCSYS.2020.2999177

DO - 10.1109/LCSYS.2020.2999177

M3 - Article

SN - 2475-1456

VL - 5

SP - 25

EP - 30

JO - IEEE Control Systems Letters

JF - IEEE Control Systems Letters

IS - 1

ER -

Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Timing is everything: Analysis and synthesis of traffic patterns in event-triggered control

ETCetera

Cite this

Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Research output

Timing is everything: Analysis and synthesis of traffic patterns in event-triggered control

Datasets

ETCetera

Cite this