Over-Approximation State Estimation for Networked Timed Discrete Event Systems With Communication Delays and Losses

IF 8.6 1区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS IEEE Transactions on Systems Man Cybernetics-Systems Pub Date : 2024-12-11 DOI:10.1109/TSMC.2024.3495718
Zhaoyu Xiang;Yufeng Chen;Naiqi Wu;Zhiwu Li
{"title":"Over-Approximation State Estimation for Networked Timed Discrete Event Systems With Communication Delays and Losses","authors":"Zhaoyu Xiang;Yufeng Chen;Naiqi Wu;Zhiwu Li","doi":"10.1109/TSMC.2024.3495718","DOIUrl":null,"url":null,"abstract":"This article investigates the state estimation for a networked timed discrete event system, where a plant communicates with a supervisor via a multichannel network characterized by bounded delays and losses. To address delays and losses in observation channels, we augment the plant by integrating the dynamics of these channels, thus capturing the system’s open-loop behavior. To tackle delays and losses in control channels, we augment the supervisor by considering all control decisions with potential impact on the system’s behavior. By integrating the augmented plant and supervisor, we introduce a compensated system that enables the derivation of an over-approximation of the closed-loop system’s behavior. Ultimately, we devise an online over-approximation state estimation algorithm for the closed-loop system, to compute all possible system states under communication delays and losses. We provide a simulation example to illustrate the efficacy of the proposed method.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":"55 2","pages":"1215-1229"},"PeriodicalIF":8.6000,"publicationDate":"2024-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Systems Man Cybernetics-Systems","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/10787913/","RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
引用次数: 0

Abstract

This article investigates the state estimation for a networked timed discrete event system, where a plant communicates with a supervisor via a multichannel network characterized by bounded delays and losses. To address delays and losses in observation channels, we augment the plant by integrating the dynamics of these channels, thus capturing the system’s open-loop behavior. To tackle delays and losses in control channels, we augment the supervisor by considering all control decisions with potential impact on the system’s behavior. By integrating the augmented plant and supervisor, we introduce a compensated system that enables the derivation of an over-approximation of the closed-loop system’s behavior. Ultimately, we devise an online over-approximation state estimation algorithm for the closed-loop system, to compute all possible system states under communication delays and losses. We provide a simulation example to illustrate the efficacy of the proposed method.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
具有通信延迟和损失的网络定时离散事件系统的过逼近状态估计
本文研究了一个网络定时离散事件系统的状态估计问题,其中一个被控对象通过一个具有有界延迟和损失的多通道网络与一个监督器通信。为了解决观测通道中的延迟和损失,我们通过整合这些通道的动态来增强工厂,从而捕获系统的开环行为。为了解决控制通道中的延迟和损失,我们通过考虑所有对系统行为有潜在影响的控制决策来增强监督器。通过集成增强的对象和监督器,我们引入了一个补偿系统,该系统可以推导闭环系统行为的过逼近。最后,我们设计了一种闭环系统的在线过逼近状态估计算法,以计算在通信延迟和损失下所有可能的系统状态。最后通过一个仿真实例说明了该方法的有效性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
IEEE Transactions on Systems Man Cybernetics-Systems
IEEE Transactions on Systems Man Cybernetics-Systems AUTOMATION & CONTROL SYSTEMS-COMPUTER SCIENCE, CYBERNETICS
CiteScore
18.50
自引率
11.50%
发文量
812
审稿时长
6 months
期刊介绍: The IEEE Transactions on Systems, Man, and Cybernetics: Systems encompasses the fields of systems engineering, covering issue formulation, analysis, and modeling throughout the systems engineering lifecycle phases. It addresses decision-making, issue interpretation, systems management, processes, and various methods such as optimization, modeling, and simulation in the development and deployment of large systems.
期刊最新文献
Table of Contents Table of Contents IEEE Transactions on Systems, Man, and Cybernetics: Systems Information for Authors TechRxiv: Share Your Preprint Research With the World! IEEE Systems, Man, and Cybernetics Society Information
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1