发布求助
文献互助 智能选刊 最新文献

IEEE Robotics Autom. Mag.最新文献

筛选
英文 中文
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems 离散事件系统的弱和强k步不透明性验证
IEEE Robotics Autom. Mag. Pub Date : 2022-04-04 DOI: 10.48550/arXiv.2204.01286
Jivr'i Balun, Tomas Masopust
{"title":"Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems","authors":"Jivr'i Balun, Tomas Masopust","doi":"10.48550/arXiv.2204.01286","DOIUrl":"https://doi.org/10.48550/arXiv.2204.01286","url":null,"abstract":"Opacity is an important system-theoretic property expressing whether a system may reveal its secret to a passive observer (an intruder) who knows the structure of the system but has only limited observations of its behavior. Several notions of opacity have been discussed in the literature, including current-state opacity, k-step opacity, and infinite-step opacity. We investigate weak and strong k-step opacity, the notions that generalize both current-state opacity and infinite-step opacity, and ask whether the intruder is not able to decide, at any instant, when respectively whether the system was in a secret state during the last k observable steps. We design a new algorithm verifying weak k-step opacity, the complexity of which is lower than the complexity of existing algorithms and does not depend on the parameter k, and show how to use it to verify strong k-step opacity by reducing strong k-step opacity to weak k-step opacity. The complexity of the resulting algorithm is again better than the complexity of existing algorithms and does not depend on the parameter k.","PeriodicalId":13196,"journal":{"name":"IEEE Robotics Autom. Mag.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83003893","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Arbitrary order differentiator with varying homogeneity degree 变齐度任意阶微分器
IEEE Robotics Autom. Mag. Pub Date : 2022-04-01 DOI: 10.1016/j.automatica.2021.110111
M. Ghanes, J. Moreno, J. Barbot
{"title":"Arbitrary order differentiator with varying homogeneity degree","authors":"M. Ghanes, J. Moreno, J. Barbot","doi":"10.1016/j.automatica.2021.110111","DOIUrl":"https://doi.org/10.1016/j.automatica.2021.110111","url":null,"abstract":"","PeriodicalId":13196,"journal":{"name":"IEEE Robotics Autom. Mag.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73105357","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Homotopic policy iteration-based learning design for unknown linear continuous-time systems 基于同伦策略迭代的未知线性连续系统学习设计
IEEE Robotics Autom. Mag. Pub Date : 2022-04-01 DOI: 10.1016/j.automatica.2021.110153
Ci Chen, F. Lewis, Bo Li
{"title":"Homotopic policy iteration-based learning design for unknown linear continuous-time systems","authors":"Ci Chen, F. Lewis, Bo Li","doi":"10.1016/j.automatica.2021.110153","DOIUrl":"https://doi.org/10.1016/j.automatica.2021.110153","url":null,"abstract":"","PeriodicalId":13196,"journal":{"name":"IEEE Robotics Autom. Mag.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86834166","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Cluster partitioning of heterogeneous multi-agent systems 异构多智能体系统的集群划分
IEEE Robotics Autom. Mag. Pub Date : 2022-04-01 DOI: 10.1016/j.automatica.2021.110136
Mattia Mattioni, S. Monaco
{"title":"Cluster partitioning of heterogeneous multi-agent systems","authors":"Mattia Mattioni, S. Monaco","doi":"10.1016/j.automatica.2021.110136","DOIUrl":"https://doi.org/10.1016/j.automatica.2021.110136","url":null,"abstract":"","PeriodicalId":13196,"journal":{"name":"IEEE Robotics Autom. Mag.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88065374","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Output regulation for a heat equation with unknown exosystem 未知系外热方程的输出调节
IEEE Robotics Autom. Mag. Pub Date : 2022-04-01 DOI: 10.1016/j.automatica.2022.110159
B. Guo, Renren Zhao
{"title":"Output regulation for a heat equation with unknown exosystem","authors":"B. Guo, Renren Zhao","doi":"10.1016/j.automatica.2022.110159","DOIUrl":"https://doi.org/10.1016/j.automatica.2022.110159","url":null,"abstract":"","PeriodicalId":13196,"journal":{"name":"IEEE Robotics Autom. Mag.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77053199","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Event-triggered fault detection for nonlinear semi-Markov jump systems based on double asynchronous filtering approach 基于双异步滤波方法的非线性半马尔可夫跳变系统事件触发故障检测
IEEE Robotics Autom. Mag. Pub Date : 2022-04-01 DOI: 10.1016/j.automatica.2021.110144
Linchuang Zhang, Yonghui Sun, Hongyi Li, Hongjing Liang, Jianxi Wang
{"title":"Event-triggered fault detection for nonlinear semi-Markov jump systems based on double asynchronous filtering approach","authors":"Linchuang Zhang, Yonghui Sun, Hongyi Li, Hongjing Liang, Jianxi Wang","doi":"10.1016/j.automatica.2021.110144","DOIUrl":"https://doi.org/10.1016/j.automatica.2021.110144","url":null,"abstract":"","PeriodicalId":13196,"journal":{"name":"IEEE Robotics Autom. Mag.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73801038","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 30
On extended state estimation for nonlinear uncertain systems with round-robin protocol 基于循环协议的非线性不确定系统的扩展状态估计
IEEE Robotics Autom. Mag. Pub Date : 2022-04-01 DOI: 10.1016/j.automatica.2021.110154
Yong Xu, Weijun Lv, Weiqun Lin, Renquan Lu, D. Quevedo
{"title":"On extended state estimation for nonlinear uncertain systems with round-robin protocol","authors":"Yong Xu, Weijun Lv, Weiqun Lin, Renquan Lu, D. Quevedo","doi":"10.1016/j.automatica.2021.110154","DOIUrl":"https://doi.org/10.1016/j.automatica.2021.110154","url":null,"abstract":"","PeriodicalId":13196,"journal":{"name":"IEEE Robotics Autom. Mag.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90448545","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Linear system identification using the sequential stabilizing spline algorithm 线性系统辨识的序贯稳定样条算法
IEEE Robotics Autom. Mag. Pub Date : 2022-04-01 DOI: 10.1016/j.automatica.2022.110169
G. Pillonetto, A. Chiuso
{"title":"Linear system identification using the sequential stabilizing spline algorithm","authors":"G. Pillonetto, A. Chiuso","doi":"10.1016/j.automatica.2022.110169","DOIUrl":"https://doi.org/10.1016/j.automatica.2022.110169","url":null,"abstract":"","PeriodicalId":13196,"journal":{"name":"IEEE Robotics Autom. Mag.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73898032","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Hybrid domain decomposition filters for advection-diffusion PDEs with mobile sensors 带有移动传感器的平流扩散偏微分方程的混合域分解滤波器
IEEE Robotics Autom. Mag. Pub Date : 2022-04-01 DOI: 10.1016/j.automatica.2021.110109
Weiwei Hu, M. Demetriou, Xin Tian, N. Gatsonis
{"title":"Hybrid domain decomposition filters for advection-diffusion PDEs with mobile sensors","authors":"Weiwei Hu, M. Demetriou, Xin Tian, N. Gatsonis","doi":"10.1016/j.automatica.2021.110109","DOIUrl":"https://doi.org/10.1016/j.automatica.2021.110109","url":null,"abstract":"","PeriodicalId":13196,"journal":{"name":"IEEE Robotics Autom. Mag.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78058468","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Regularized adaptive Kalman filter for non-persistently excited systems 非持续激励系统的正则化自适应卡尔曼滤波
IEEE Robotics Autom. Mag. Pub Date : 2022-04-01 DOI: 10.1016/j.automatica.2021.110147
V. Marco, J. Kalkkuhl, J. Raisch, T. Seel
{"title":"Regularized adaptive Kalman filter for non-persistently excited systems","authors":"V. Marco, J. Kalkkuhl, J. Raisch, T. Seel","doi":"10.1016/j.automatica.2021.110147","DOIUrl":"https://doi.org/10.1016/j.automatica.2021.110147","url":null,"abstract":"","PeriodicalId":13196,"journal":{"name":"IEEE Robotics Autom. Mag.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78404028","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信