A resilient consensus algorithm with inputs for the distributed monitoringof cyber-physical systems

IF 5.4 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS
Sabato Manfredi , David Angeli , Ciro Tortora
{"title":"A resilient consensus algorithm with inputs for the distributed monitoringof cyber-physical systems","authors":"Sabato Manfredi ,&nbsp;David Angeli ,&nbsp;Ciro Tortora","doi":"10.1016/j.conengprac.2024.106166","DOIUrl":null,"url":null,"abstract":"<div><div>Recent advancements in multi-agent systems (MASs) have led to the development of numerous algorithms for achieving specific objectives, such as consensus. However, security remains a major challenge in MAS consensus, particularly addressing the adversarial behavior of malicious agents. This paper explores the extension of Mean-Subsequence-Reduced (MSR) algorithm-type mechanisms for resilient dynamic consensus in the presence of input reference signals. We provide necessary and sufficient conditions for resilient dynamic consensus without relying on the presence of trusted agents. Additionally, we experimentally validate the proposed algorithm and related conditions over a small cyber–physical system used for temperature monitoring. Furthermore, we propose and experimentally validate a fault-detection and recovery algorithm to achieve a resilient dynamic average consensus of regular agents.</div></div>","PeriodicalId":50615,"journal":{"name":"Control Engineering Practice","volume":"154 ","pages":"Article 106166"},"PeriodicalIF":5.4000,"publicationDate":"2024-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Control Engineering Practice","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0967066124003253","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
引用次数: 0

Abstract

Recent advancements in multi-agent systems (MASs) have led to the development of numerous algorithms for achieving specific objectives, such as consensus. However, security remains a major challenge in MAS consensus, particularly addressing the adversarial behavior of malicious agents. This paper explores the extension of Mean-Subsequence-Reduced (MSR) algorithm-type mechanisms for resilient dynamic consensus in the presence of input reference signals. We provide necessary and sufficient conditions for resilient dynamic consensus without relying on the presence of trusted agents. Additionally, we experimentally validate the proposed algorithm and related conditions over a small cyber–physical system used for temperature monitoring. Furthermore, we propose and experimentally validate a fault-detection and recovery algorithm to achieve a resilient dynamic average consensus of regular agents.
带输入的弹性共识算法,用于网络物理系统的分布式监控
多代理系统(MAS)的最新进展促使人们开发了许多算法来实现共识等特定目标。然而,安全性仍然是多代理系统共识的一大挑战,尤其是在解决恶意代理的对抗行为方面。本文探讨了平均序列降低(MSR)算法类型机制的扩展,以便在存在输入参考信号的情况下达成弹性动态共识。我们提供了弹性动态共识的必要条件和充分条件,而无需依赖可信代理的存在。此外,我们还在一个用于温度监测的小型网络物理系统上对所提出的算法和相关条件进行了实验验证。此外,我们还提出并通过实验验证了一种故障检测和恢复算法,以实现常规代理的弹性动态平均共识。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Control Engineering Practice
Control Engineering Practice 工程技术-工程:电子与电气
CiteScore
9.20
自引率
12.20%
发文量
183
审稿时长
44 days
期刊介绍: Control Engineering Practice strives to meet the needs of industrial practitioners and industrially related academics and researchers. It publishes papers which illustrate the direct application of control theory and its supporting tools in all possible areas of automation. As a result, the journal only contains papers which can be considered to have made significant contributions to the application of advanced control techniques. It is normally expected that practical results should be included, but where simulation only studies are available, it is necessary to demonstrate that the simulation model is representative of a genuine application. Strictly theoretical papers will find a more appropriate home in Control Engineering Practice''s sister publication, Automatica. It is also expected that papers are innovative with respect to the state of the art and are sufficiently detailed for a reader to be able to duplicate the main results of the paper (supplementary material, including datasets, tables, code and any relevant interactive material can be made available and downloaded from the website). The benefits of the presented methods must be made very clear and the new techniques must be compared and contrasted with results obtained using existing methods. Moreover, a thorough analysis of failures that may happen in the design process and implementation can also be part of the paper. The scope of Control Engineering Practice matches the activities of IFAC. Papers demonstrating the contribution of automation and control in improving the performance, quality, productivity, sustainability, resource and energy efficiency, and the manageability of systems and processes for the benefit of mankind and are relevant to industrial practitioners are most welcome.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信