Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers

Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers

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 ca...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE control systems letters 2021-01, Vol.5 (1), p.25-30
Hauptverfasser: Gleizer, Gabriel de A., Mazo, Manuel
Format: Artikel
Sprache:eng
Schlagworte:
Computational modeling
control over communications
Germanium
hybrid systems
Linear systems
Lyapunov methods
Networked control systems
Numerical models
Sampled-data control
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 30
container_issue 1
container_start_page 25
container_title IEEE control systems letters
container_volume 5
creator Gleizer, Gabriel de A.
Mazo, Manuel
description 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.
doi_str_mv 10.1109/LCSYS.2020.2999177
format Article
fullrecord <record><control><sourceid>crossref_RIE</sourceid><recordid>TN_cdi_ieee_primary_9105095</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>9105095</ieee_id><sourcerecordid>10_1109_LCSYS_2020_2999177</sourcerecordid><originalsourceid>FETCH-LOGICAL-c311t-cc7d354dce46c9fb6229a35cee55ba681c940155200efd27accb3e7ad428094c3</originalsourceid><addsrcrecordid>eNpNkNFKwzAYhYMoOOZeQG_6Ap1_0qRZLrVMJxYUVi-8KmnyZ0S6RpKq-PZubohX58DhOxcfIZcU5pSCuq6r9et6zoDBnCmlqJQnZMK4FDnlojz918_JLKU3AKALJoGpCXlswpeONmVN1M55k9365LcfvR59GLLgstoPqGP2jNEHu9uXnziMeRP9ZoMRbVaFYYyh7zGmC3LmdJ9wdswpeblbNtUqr5_uH6qbOjcFpWNujLSF4NYgL41yXcmY0oUwiEJ0ulxQozhQIRgAOsukNqYrUGrL2QIUN8WUsMOviSGliK59j36r43dLod0baX-NtHsj7dHIDro6QB4R_wBFQYASxQ8OJF38</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers</title><source>IEEE Electronic Library (IEL)</source><creator>Gleizer, Gabriel de A. ; Mazo, Manuel</creator><creatorcontrib>Gleizer, Gabriel de A. ; Mazo, Manuel</creatorcontrib><description>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.</description><identifier>ISSN: 2475-1456</identifier><identifier>EISSN: 2475-1456</identifier><identifier>DOI: 10.1109/LCSYS.2020.2999177</identifier><identifier>CODEN: ICSLBO</identifier><language>eng</language><publisher>IEEE</publisher><subject>Computational modeling ; control over communications ; Germanium ; hybrid systems ; Linear systems ; Lyapunov methods ; Networked control systems ; Numerical models ; Sampled-data control</subject><ispartof>IEEE control systems letters, 2021-01, Vol.5 (1), p.25-30</ispartof><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c311t-cc7d354dce46c9fb6229a35cee55ba681c940155200efd27accb3e7ad428094c3</citedby><cites>FETCH-LOGICAL-c311t-cc7d354dce46c9fb6229a35cee55ba681c940155200efd27accb3e7ad428094c3</cites><orcidid>0000-0002-5638-5283 ; 0000-0002-1989-8178</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/9105095$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/9105095$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Gleizer, Gabriel de A.</creatorcontrib><creatorcontrib>Mazo, Manuel</creatorcontrib><title>Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers</title><title>IEEE control systems letters</title><addtitle>LCSYS</addtitle><description>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.</description><subject>Computational modeling</subject><subject>control over communications</subject><subject>Germanium</subject><subject>hybrid systems</subject><subject>Linear systems</subject><subject>Lyapunov methods</subject><subject>Networked control systems</subject><subject>Numerical models</subject><subject>Sampled-data control</subject><issn>2475-1456</issn><issn>2475-1456</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2021</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNpNkNFKwzAYhYMoOOZeQG_6Ap1_0qRZLrVMJxYUVi-8KmnyZ0S6RpKq-PZubohX58DhOxcfIZcU5pSCuq6r9et6zoDBnCmlqJQnZMK4FDnlojz918_JLKU3AKALJoGpCXlswpeONmVN1M55k9365LcfvR59GLLgstoPqGP2jNEHu9uXnziMeRP9ZoMRbVaFYYyh7zGmC3LmdJ9wdswpeblbNtUqr5_uH6qbOjcFpWNujLSF4NYgL41yXcmY0oUwiEJ0ulxQozhQIRgAOsukNqYrUGrL2QIUN8WUsMOviSGliK59j36r43dLod0baX-NtHsj7dHIDro6QB4R_wBFQYASxQ8OJF38</recordid><startdate>202101</startdate><enddate>202101</enddate><creator>Gleizer, Gabriel de A.</creator><creator>Mazo, Manuel</creator><general>IEEE</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><orcidid>https://orcid.org/0000-0002-5638-5283</orcidid><orcidid>https://orcid.org/0000-0002-1989-8178</orcidid></search><sort><creationdate>202101</creationdate><title>Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers</title><author>Gleizer, Gabriel de A. ; Mazo, Manuel</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c311t-cc7d354dce46c9fb6229a35cee55ba681c940155200efd27accb3e7ad428094c3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2021</creationdate><topic>Computational modeling</topic><topic>control over communications</topic><topic>Germanium</topic><topic>hybrid systems</topic><topic>Linear systems</topic><topic>Lyapunov methods</topic><topic>Networked control systems</topic><topic>Numerical models</topic><topic>Sampled-data control</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Gleizer, Gabriel de A.</creatorcontrib><creatorcontrib>Mazo, Manuel</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><jtitle>IEEE control systems letters</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Gleizer, Gabriel de A.</au><au>Mazo, Manuel</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers</atitle><jtitle>IEEE control systems letters</jtitle><stitle>LCSYS</stitle><date>2021-01</date><risdate>2021</risdate><volume>5</volume><issue>1</issue><spage>25</spage><epage>30</epage><pages>25-30</pages><issn>2475-1456</issn><eissn>2475-1456</eissn><coden>ICSLBO</coden><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.</abstract><pub>IEEE</pub><doi>10.1109/LCSYS.2020.2999177</doi><tpages>6</tpages><orcidid>https://orcid.org/0000-0002-5638-5283</orcidid><orcidid>https://orcid.org/0000-0002-1989-8178</orcidid><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 2475-1456
ispartof IEEE control systems letters, 2021-01, Vol.5 (1), p.25-30
issn 2475-1456
2475-1456
language eng
recordid cdi_ieee_primary_9105095
source IEEE Electronic Library (IEL)
subjects Computational modeling
control over communications
Germanium
hybrid systems
Linear systems
Lyapunov methods
Networked control systems
Numerical models
Sampled-data control
title Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-21T12%3A14%3A08IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Towards%20Traffic%20Bisimulation%20of%20Linear%20Periodic%20Event-Triggered%20Controllers&rft.jtitle=IEEE%20control%20systems%20letters&rft.au=Gleizer,%20Gabriel%20de%20A.&rft.date=2021-01&rft.volume=5&rft.issue=1&rft.spage=25&rft.epage=30&rft.pages=25-30&rft.issn=2475-1456&rft.eissn=2475-1456&rft.coden=ICSLBO&rft_id=info:doi/10.1109/LCSYS.2020.2999177&rft_dat=%3Ccrossref_RIE%3E10_1109_LCSYS_2020_2999177%3C/crossref_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=9105095&rfr_iscdi=true