Supervisory Control of Networked Timed Discrete Event Systems With Bandwidth Constraints

In this article, we investigate the supervisory control of a networked timed discrete event system modeled with a timed automaton. In this system, a plant communicates with its supervisor through multiple observation channels and a single control channel. Any observation channel is imposed a bandwid...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on automatic control Ročník 70; číslo 7; s. 4849 - 4856
Hlavní autoři: Xiang, Zhaoyu, Chen, Yufeng, Wu, Naiqi, Li, Zhiwu
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York IEEE 01.07.2025
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:
Atomic clocks
Automata
Bandwidth
Bandwidth constraint
Bandwidths
Clocks
Constraints
Cost accounting
Delays
Discrete event systems
networked discrete event system (NDES)
Semantics
State estimation
Supervisors
Supervisory control
timed automaton
ISSN:0018-9286, 1558-2523
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract In this article, we investigate the supervisory control of a networked timed discrete event system modeled with a timed automaton. In this system, a plant communicates with its supervisor through multiple observation channels and a single control channel. Any observation channel is imposed a bandwidth constraint such that the number of events transmitted through the channel per time unit should not exceed a given nonnegative integer. The control channel is subject to bounded control delays and losses. Our goal is to synthesize a supervisor against control delays and losses such that the bandwidth constraint of any observation channel is satisfied. To this end, the system is first transformed to a region automaton that is a finite representation of the system's semantics. Then, by considering the impact of control delays and losses on system state estimation, the conventional bipartite transition systems are extended to networked timed ones, from which a necessary and sufficient condition for the existence of a desired supervisor is derived. An algorithm is proposed for building such a supervisor if existing.
AbstractList In this article, we investigate the supervisory control of a networked timed discrete event system modeled with a timed automaton. In this system, a plant communicates with its supervisor through multiple observation channels and a single control channel. Any observation channel is imposed a bandwidth constraint such that the number of events transmitted through the channel per time unit should not exceed a given nonnegative integer. The control channel is subject to bounded control delays and losses. Our goal is to synthesize a supervisor against control delays and losses such that the bandwidth constraint of any observation channel is satisfied. To this end, the system is first transformed to a region automaton that is a finite representation of the system's semantics. Then, by considering the impact of control delays and losses on system state estimation, the conventional bipartite transition systems are extended to networked timed ones, from which a necessary and sufficient condition for the existence of a desired supervisor is derived. An algorithm is proposed for building such a supervisor if existing.
Author Xiang, Zhaoyu
Chen, Yufeng
Wu, Naiqi
Li, Zhiwu
Author_xml – sequence: 1
  givenname: Zhaoyu
  orcidid: 0000-0002-6458-5410
  surname: Xiang
  fullname: Xiang, Zhaoyu
  email: 1909853gmi30002@student.must.edu.mo
  organization: Institute of Systems Engineering, Macau University of Science and Technology, Macau, China
– sequence: 2
  givenname: Yufeng
  orcidid: 0000-0002-1568-3444
  surname: Chen
  fullname: Chen, Yufeng
  email: chyf01@163.com
  organization: Institute of Systems Engineering, Macau University of Science and Technology, Macau, China
– sequence: 3
  givenname: Naiqi
  orcidid: 0000-0001-6782-458X
  surname: Wu
  fullname: Wu, Naiqi
  email: nqwu@must.edu.mo
  organization: Institute of Systems Engineering, Macau University of Science and Technology, Macau, China
– sequence: 4
  givenname: Zhiwu
  orcidid: 0000-0003-1547-5503
  surname: Li
  fullname: Li, Zhiwu
  email: zwli@must.edu.mo
  organization: Institute of Systems Engineering, Macau University of Science and Technology, Macau, China
BookMark eNpNkEtPAjEUhRujiYDuXbho4nqwz5nOEhEfCdEFGN01nZk7sQhTbAuEf28JLNzcR3LOublfH513rgOEbigZUkrK-_loPGSEySGXQhZEnaEelVJlTDJ-jnqEUJWVTOWXqB_CIq25ELSHvmabNfitDc7v8dh10bsldi1-g7hz_gcaPLerVB9tqD1EwJMtdBHP9iHCKuBPG7_xg-manW3SlAJC9MZ2MVyhi9YsA1yf-gB9PE3m45ds-v78Oh5Ns5oJGbO8JZQL1pZlWwnBK1lyo3KqZFUZSuqC1qaqVc2asiAFa6RsIf1HGyqVBMoMH6C7Y-7au98NhKgXbuO7dFJzxnJJSFGwpCJHVe1dCB5avfZ2ZfxeU6IP_HTipw_89IlfstweLRYA_slLIghn_A9ycW2l
CODEN IETAA9
Cites_doi 10.1007/978-3-030-72274-6
10.1109/TAC.2020.3007384
10.1109/TAC.2015.2460391
10.1137/130914942
10.1109/TCNS.2015.2482219
10.1007/11505877_24
10.1109/TAC.2014.2369771
10.1016/j.ifacol.2018.06.340
10.1109/ETFA46521.2020.9211942
10.1007/s10626-006-8136-6
10.1109/TAC.2021.3080495
10.1109/9.272327
10.1109/tac.2024.3407612
10.1080/00207179.2023.2204382
10.1137/0325013
10.1016/j.automatica.2024.111644
10.1145/3459960.3459965
10.1016/0304-3975(94)90010-8
10.1109/TAC.2023.3275440
ContentType Journal Article
Copyright Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2025
Copyright_xml – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2025
DBID 97E
RIA
RIE
AAYXX
CITATION
7SC
7SP
7TB
8FD
FR3
JQ2
L7M
L~C
L~D
DOI 10.1109/TAC.2025.3545708
DatabaseName IEEE All-Society Periodicals Package (ASPP) 2005–Present
IEEE All-Society Periodicals Package (ASPP) 1998–Present
IEEE/IET Electronic Library
CrossRef
Computer and Information Systems Abstracts
Electronics & Communications Abstracts
Mechanical & Transportation Engineering Abstracts
Technology Research Database
Engineering Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
Technology Research Database
Computer and Information Systems Abstracts – Academic
Mechanical & Transportation Engineering Abstracts
Electronics & Communications Abstracts
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
Engineering Research Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts Professional
DatabaseTitleList
Technology Research Database
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE/IET Electronic Library
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISSN 1558-2523
EndPage 4856
ExternalDocumentID 10_1109_TAC_2025_3545708
10904032
Genre orig-research
GrantInformation_xml – fundername: Science and Technology Development Fund; Science and Technology Development Fund, MSAR
  grantid: 0029/2023/RIA1
  funderid: 10.13039/501100003009
– fundername: National Key Research and Development Program of China
  grantid: 2018YFB1700104
GroupedDBID -~X
.DC
0R~
29I
3EH
4.4
5GY
5VS
6IK
97E
AAJGR
AARMG
AASAJ
AAWTH
ABAZT
ABQJQ
ABVLG
ACGFO
ACGFS
ACIWK
ACNCT
AENEX
AETIX
AGQYO
AGSQL
AHBIQ
AI.
AIBXA
AKJIK
AKQYR
ALLEH
ALMA_UNASSIGNED_HOLDINGS
ASUFR
ATWAV
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CS3
DU5
EBS
EJD
F5P
HZ~
H~9
IAAWW
IBMZZ
ICLAB
IDIHD
IFIPE
IFJZH
IPLJI
JAVBF
LAI
M43
MS~
O9-
OCL
P2P
RIA
RIE
RNS
TAE
TN5
VH1
VJK
~02
AAYXX
CITATION
7SC
7SP
7TB
8FD
FR3
JQ2
L7M
L~C
L~D
ID FETCH-LOGICAL-c245t-6f01342f99fb443b593a86185bba10c71cabc8c2d97072d55fe5451d1585e12a3
IEDL.DBID RIE
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001522050600005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0018-9286
IngestDate Thu Oct 30 15:56:52 EDT 2025
Sat Nov 29 07:51:46 EST 2025
Wed Aug 27 02:14:29 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue 7
Language English
License https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
https://doi.org/10.15223/policy-029
https://doi.org/10.15223/policy-037
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c245t-6f01342f99fb443b593a86185bba10c71cabc8c2d97072d55fe5451d1585e12a3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ORCID 0000-0002-6458-5410
0000-0002-1568-3444
0000-0001-6782-458X
0000-0003-1547-5503
PQID 3226500772
PQPubID 85475
PageCount 8
ParticipantIDs ieee_primary_10904032
proquest_journals_3226500772
crossref_primary_10_1109_TAC_2025_3545708
PublicationCentury 2000
PublicationDate 2025-07-01
PublicationDateYYYYMMDD 2025-07-01
PublicationDate_xml – month: 07
  year: 2025
  text: 2025-07-01
  day: 01
PublicationDecade 2020
PublicationPlace New York
PublicationPlace_xml – name: New York
PublicationTitle IEEE transactions on automatic control
PublicationTitleAbbrev TAC
PublicationYear 2025
Publisher IEEE
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher_xml – name: IEEE
– name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
References ref13
ref12
ref15
ref14
ref20
ref11
ref10
ref21
ref2
ref1
ref17
Xiang (ref22)
Klein (ref16) 2024
ref18
ref8
ref7
Baier (ref19) 2008
ref9
ref4
ref3
ref6
ref5
References_xml – ident: ref1
  doi: 10.1007/978-3-030-72274-6
– ident: ref9
  doi: 10.1109/TAC.2020.3007384
– ident: ref3
  doi: 10.1109/TAC.2015.2460391
– ident: ref4
  doi: 10.1137/130914942
– ident: ref11
  doi: 10.1109/TCNS.2015.2482219
– ident: ref17
  doi: 10.1007/11505877_24
– volume-title: Principles of Model Checking
  year: 2008
  ident: ref19
– ident: ref5
  doi: 10.1109/TAC.2014.2369771
– ident: ref10
  doi: 10.1016/j.ifacol.2018.06.340
– start-page: 55
  volume-title: Proc. IEEE/ACM 12th Int. Conf. Formal Methods Softw. Eng.
  year: 2024
  ident: ref16
  article-title: Verifying opacity of discrete-timed automata
– ident: ref18
  doi: 10.1109/ETFA46521.2020.9211942
– ident: ref8
  doi: 10.1007/s10626-006-8136-6
– ident: ref6
  doi: 10.1109/TAC.2021.3080495
– ident: ref7
  doi: 10.1109/9.272327
– ident: ref13
  doi: 10.1109/tac.2024.3407612
– ident: ref12
  doi: 10.1080/00207179.2023.2204382
– ident: ref2
  doi: 10.1137/0325013
– ident: ref15
  doi: 10.1016/j.automatica.2024.111644
– ident: ref20
  doi: 10.1145/3459960.3459965
– ident: ref21
  doi: 10.1016/0304-3975(94)90010-8
– ident: ref22
  article-title: Full version of the paper
– ident: ref14
  doi: 10.1109/TAC.2023.3275440
SSID ssj0016441
Score 2.4826877
Snippet In this article, we investigate the supervisory control of a networked timed discrete event system modeled with a timed automaton. In this system, a plant...
SourceID proquest
crossref
ieee
SourceType Aggregation Database
Index Database
Publisher
StartPage 4849
SubjectTerms Atomic clocks
Automata
Bandwidth
Bandwidth constraint
Bandwidths
Clocks
Constraints
Cost accounting
Delays
Discrete event systems
networked discrete event system (NDES)
Semantics
State estimation
Supervisors
Supervisory control
timed automaton
Title Supervisory Control of Networked Timed Discrete Event Systems With Bandwidth Constraints
URI https://ieeexplore.ieee.org/document/10904032
https://www.proquest.com/docview/3226500772
Volume 70
WOSCitedRecordID wos001522050600005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVIEE
  databaseName: IEEE/IET Electronic Library
  customDbUrl:
  eissn: 1558-2523
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0016441
  issn: 0018-9286
  databaseCode: RIE
  dateStart: 19630101
  isFulltext: true
  titleUrlDefault: https://ieeexplore.ieee.org/
  providerName: IEEE
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwELWgYoCBb0ShIA8sDGmdOLHjsZRWDKhCoohuURzbIktSNSmIf8_ZSatKiIHNQxJFd_Hde_G7O4TujOCUaxZ7IaPcC-OUeZIB5yFMahkrmjHlmrg-8-k0ns_FS1us7mphtNZOfKb7dunO8lWZreyvsoEVEYaEQsTd5Zw3xVqbIwOb2JuwCzs4iDdnkkQMZsMRMMEg6lPAC9xOktzKQW6oyq9I7NLL5OifL3aMDlsciYeN40_Qji5O0cFWd8EzNH9dLWwkqMrlNx41knRcGjxtlN9aYVv_ofBjDqEDsDMeW-0jbnuY4_e8_sAPaaG-cgUrO9nTzZOoq3P0NhnPRk9eO0jBy4Iwqj1mAOiFgRHCyDCkMhI0jRlkailTn2Tcz1KZxVmgBCc8UFFkNBjKVz5wCe0HKb1AnaIs9CXCRFHNjYkCyRiQJQ3wkvhaAZDw_VSYtIvu16ZNFk2_jMTxDCIScENi3ZC0buiic2vKresaK3ZRb-2MpN1RVQKBB8AkATJw9cdt12jfPr3R0vZQp16u9A3ayz7rvFreuo_lB5zyvDU
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELYQIAEDb0R5emBhCPgVOx6hgECUCokiukVxbIsuLWpTEP-esxNQJcTA5iFRorv47vvi7-4QOvFaceVklgjJVSKyQiZGAuch0jiTWV5KG5u4dlS3m_X7-rEpVo-1MM65KD5zZ2EZz_LtqJyGX2XnQUQoCIeIu5AKwWhdrvVzaBBSex14YQ-z7OdUkujz3kUbuCBLzzggBhVmSc5koThW5VcsjgnmZu2fr7aOVhskiS9q12-gOTfcRCsz_QW3UP9p-hZiwWQ0_sTtWpSORx53a-23szhUgFh8NYDgAegZXwf1I266mOOXQfWKL4uh_RhYWIXZnnGiRDXZRs831732bdKMUkhKJtIqkR6gnmBea2-E4CbVvMgk5GpjCkpKRcvClFnJrFZEMZum3oGhqKXAJhxlBd9B88PR0O0iTCx3yvuUGSmBLjkAmIQ6C1CC0kL7ooVOv02bv9UdM_LINIjOwQ15cEPeuKGFtoMpZ66rrdhCB9_OyJs9Nckh9ACcJEAH9v647Rgt3fYeOnnnrnu_j5bDk2pl7QGar8ZTd4gWy_dqMBkfxQ_nC5QZv3w
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Supervisory+Control+of+Networked+Timed+Discrete+Event+Systems+With+Bandwidth+Constraints&rft.jtitle=IEEE+transactions+on+automatic+control&rft.au=Xiang%2C+Zhaoyu&rft.au=Chen%2C+Yufeng&rft.au=Wu%2C+Naiqi&rft.au=Li%2C+Zhiwu&rft.date=2025-07-01&rft.issn=0018-9286&rft.eissn=1558-2523&rft.volume=70&rft.issue=7&rft.spage=4849&rft.epage=4856&rft_id=info:doi/10.1109%2FTAC.2025.3545708&rft.externalDBID=n%2Fa&rft.externalDocID=10_1109_TAC_2025_3545708
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9286&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9286&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9286&client=summon