Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
复制标题
计算机安全、可靠性和保密性。
DOI：
10.1007/978-3-031-40953-0_28
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Abeywickrama D
中科院分区：
文献类型：
--
作者：
Abeywickrama D
蜂群的行为并没有被明确地设计出来。相反，它们是个体行为者相互之间及其与环境相互作用的一个紧急结果。这种紧急功能对安全保证提出了挑战。本文的主要贡献是一个过程中的安全保证的紧急行为的自主机器人群称为AERoS，以下的机器学习在自主系统中使用的保证（AMLAS）的指导。我们探索我们提出的过程中使用的案例研究为中心的机器人群操作的公共衣帽间。
The behaviours of a swarm are not explicitly engineered. Instead, they are an emergent consequence of the interactions of individual agents with each other and their environment. This emergent functionality poses a challenge tosafety assurance. The main contribution of this paper is a process for the safety assurance of emergent behaviour in autonomous robotic swarms calledAERoS, following the guidance on the Assurance of Machine Learning for use in Autonomous Systems (AMLAS). We explore our proposed process using a case study centred on a robot swarm operating a public cloakroom.