Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts

We consider the problem of analyzing observability in discrete-time linear systems when the sensors, deployed in a distributed manner, may not communicate to an observer at once, and a protocol determines the communication pattern among different sensors. We use the formalism of automata to model th...

Full description

Saved in:
Bibliographic Details
Main Authors: Tanwani, Aneel, Jungers, Raphael, Maurice Heemels, W.P.M.H.
Format: Conference Proceeding
Language:English
Subjects:
Automata
Observability
Observers
Protocols
Sensors
Silicon
Time measurement
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 4199
container_issue
container_start_page 4194
container_title
container_volume
creator Tanwani, Aneel
Jungers, Raphael
Maurice Heemels, W.P.M.H.
description We consider the problem of analyzing observability in discrete-time linear systems when the sensors, deployed in a distributed manner, may not communicate to an observer at once, and a protocol determines the communication pattern among different sensors. We use the formalism of automata to model the sequence of measurements determined by a protocol and show that the question of observability is decidable for the resulting system. We give upper bounds on the number of measurements required for deciding observability. In addition, we consider the effects of dropouts, which may occur in communicating the measurements across the channel. Again using the formalism of automatons to model certain classes of dropouts combined with the protocol, it is shown that observability is decidable in finite time for measurements sent across using a protocol, and subject to dropouts.
doi_str_mv 10.1109/CDC.2018.8619308
format conference_proceeding
fullrecord <record><control><sourceid>ieee_CHZPO</sourceid><recordid>TN_cdi_ieee_primary_8619308</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>8619308</ieee_id><sourcerecordid>8619308</sourcerecordid><originalsourceid>FETCH-LOGICAL-h251t-fa75764265521bb38e30ef16033ff1d0de4b36e7d220113ac86ade1e59cf623a3</originalsourceid><addsrcrecordid>eNotkF1LwzAYhaMgOOfuBW_yB1qTvE3aXErnFxQmOPFypO0bFmmbkWTK_r0Fd3U4Nw_nOYTccZZzzvRDva5zwXiVV4prYNUFWemy4hLmDlrKS7IQslSZgJJdk5sYvxkDrQtYkK9NGzH8mNYNLp2ot3TtYhcwYbZ1I9LGTWgC_TjFhGOkvy7tae3H8Ti5ziTnJ_oefPKdHyI1U0_XwR_8McVbcmXNEHF1ziX5fH7a1q9Zs3l5qx-bbC8kT5k15TysEEpKwdsWKgSGlisGYC3vWY9FCwrLXsx-HExXKdMjR6k7qwQYWJL7f65DxN0huNGE0-78A_wB--VSKA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts</title><source>IEEE Xplore All Conference Series</source><creator>Tanwani, Aneel ; Jungers, Raphael ; Maurice Heemels, W.P.M.H.</creator><creatorcontrib>Tanwani, Aneel ; Jungers, Raphael ; Maurice Heemels, W.P.M.H.</creatorcontrib><description>We consider the problem of analyzing observability in discrete-time linear systems when the sensors, deployed in a distributed manner, may not communicate to an observer at once, and a protocol determines the communication pattern among different sensors. We use the formalism of automata to model the sequence of measurements determined by a protocol and show that the question of observability is decidable for the resulting system. We give upper bounds on the number of measurements required for deciding observability. In addition, we consider the effects of dropouts, which may occur in communicating the measurements across the channel. Again using the formalism of automatons to model certain classes of dropouts combined with the protocol, it is shown that observability is decidable in finite time for measurements sent across using a protocol, and subject to dropouts.</description><identifier>EISSN: 2576-2370</identifier><identifier>EISBN: 9781538613955</identifier><identifier>EISBN: 1538613956</identifier><identifier>DOI: 10.1109/CDC.2018.8619308</identifier><language>eng</language><publisher>IEEE</publisher><subject>Automata ; Observability ; Observers ; Protocols ; Sensors ; Silicon ; Time measurement</subject><ispartof>2018 IEEE Conference on Decision and Control (CDC), 2018, p.4194-4199</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/8619308$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,27925,54555,54932</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/8619308$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Tanwani, Aneel</creatorcontrib><creatorcontrib>Jungers, Raphael</creatorcontrib><creatorcontrib>Maurice Heemels, W.P.M.H.</creatorcontrib><title>Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts</title><title>2018 IEEE Conference on Decision and Control (CDC)</title><addtitle>CDC</addtitle><description>We consider the problem of analyzing observability in discrete-time linear systems when the sensors, deployed in a distributed manner, may not communicate to an observer at once, and a protocol determines the communication pattern among different sensors. We use the formalism of automata to model the sequence of measurements determined by a protocol and show that the question of observability is decidable for the resulting system. We give upper bounds on the number of measurements required for deciding observability. In addition, we consider the effects of dropouts, which may occur in communicating the measurements across the channel. Again using the formalism of automatons to model certain classes of dropouts combined with the protocol, it is shown that observability is decidable in finite time for measurements sent across using a protocol, and subject to dropouts.</description><subject>Automata</subject><subject>Observability</subject><subject>Observers</subject><subject>Protocols</subject><subject>Sensors</subject><subject>Silicon</subject><subject>Time measurement</subject><issn>2576-2370</issn><isbn>9781538613955</isbn><isbn>1538613956</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2018</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNotkF1LwzAYhaMgOOfuBW_yB1qTvE3aXErnFxQmOPFypO0bFmmbkWTK_r0Fd3U4Nw_nOYTccZZzzvRDva5zwXiVV4prYNUFWemy4hLmDlrKS7IQslSZgJJdk5sYvxkDrQtYkK9NGzH8mNYNLp2ot3TtYhcwYbZ1I9LGTWgC_TjFhGOkvy7tae3H8Ti5ziTnJ_oefPKdHyI1U0_XwR_8McVbcmXNEHF1ziX5fH7a1q9Zs3l5qx-bbC8kT5k15TysEEpKwdsWKgSGlisGYC3vWY9FCwrLXsx-HExXKdMjR6k7qwQYWJL7f65DxN0huNGE0-78A_wB--VSKA</recordid><startdate>201812</startdate><enddate>201812</enddate><creator>Tanwani, Aneel</creator><creator>Jungers, Raphael</creator><creator>Maurice Heemels, W.P.M.H.</creator><general>IEEE</general><scope>6IE</scope><scope>6IH</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIO</scope></search><sort><creationdate>201812</creationdate><title>Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts</title><author>Tanwani, Aneel ; Jungers, Raphael ; Maurice Heemels, W.P.M.H.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-h251t-fa75764265521bb38e30ef16033ff1d0de4b36e7d220113ac86ade1e59cf623a3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2018</creationdate><topic>Automata</topic><topic>Observability</topic><topic>Observers</topic><topic>Protocols</topic><topic>Sensors</topic><topic>Silicon</topic><topic>Time measurement</topic><toplevel>online_resources</toplevel><creatorcontrib>Tanwani, Aneel</creatorcontrib><creatorcontrib>Jungers, Raphael</creatorcontrib><creatorcontrib>Maurice Heemels, W.P.M.H.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan (POP) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library Online</collection><collection>IEEE Proceedings Order Plans (POP) 1998-present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Tanwani, Aneel</au><au>Jungers, Raphael</au><au>Maurice Heemels, W.P.M.H.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts</atitle><btitle>2018 IEEE Conference on Decision and Control (CDC)</btitle><stitle>CDC</stitle><date>2018-12</date><risdate>2018</risdate><spage>4194</spage><epage>4199</epage><pages>4194-4199</pages><eissn>2576-2370</eissn><eisbn>9781538613955</eisbn><eisbn>1538613956</eisbn><abstract>We consider the problem of analyzing observability in discrete-time linear systems when the sensors, deployed in a distributed manner, may not communicate to an observer at once, and a protocol determines the communication pattern among different sensors. We use the formalism of automata to model the sequence of measurements determined by a protocol and show that the question of observability is decidable for the resulting system. We give upper bounds on the number of measurements required for deciding observability. In addition, we consider the effects of dropouts, which may occur in communicating the measurements across the channel. Again using the formalism of automatons to model certain classes of dropouts combined with the protocol, it is shown that observability is decidable in finite time for measurements sent across using a protocol, and subject to dropouts.</abstract><pub>IEEE</pub><doi>10.1109/CDC.2018.8619308</doi><tpages>6</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier EISSN: 2576-2370
ispartof 2018 IEEE Conference on Decision and Control (CDC), 2018, p.4194-4199
issn 2576-2370
language eng
recordid cdi_ieee_primary_8619308
source IEEE Xplore All Conference Series
subjects Automata
Observability
Observers
Protocols
Sensors
Silicon
Time measurement
title Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-23T19%3A35%3A41IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_CHZPO&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Observability%20of%20Discrete-Time%20Linear%20Systems%20with%20Communication%20Protocols%20and%20Dropouts&rft.btitle=2018%20IEEE%20Conference%20on%20Decision%20and%20Control%20(CDC)&rft.au=Tanwani,%20Aneel&rft.date=2018-12&rft.spage=4194&rft.epage=4199&rft.pages=4194-4199&rft.eissn=2576-2370&rft_id=info:doi/10.1109/CDC.2018.8619308&rft.eisbn=9781538613955&rft.eisbn_list=1538613956&rft_dat=%3Cieee_CHZPO%3E8619308%3C/ieee_CHZPO%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-h251t-fa75764265521bb38e30ef16033ff1d0de4b36e7d220113ac86ade1e59cf623a3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=8619308&rfr_iscdi=true