Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment
Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment
复制标题
提供光照处理的农业机器人的概率建模和安全保证
DOI：
10.1109/case56687.2023.10260395
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Adam M
中科院分区：
文献类型：
--
作者：
Adam M
登录
查看更多内容
影响因子：
2
作者：
Kangfeng Ye;Ana Cavalcanti;S. Foster;Alvaro Miyazawa;J. Woodcock
通讯作者：
Kangfeng Ye;Ana Cavalcanti;S. Foster;Alvaro Miyazawa;J. Woodcock
影响因子：
4.5
作者：
Suthaparan, A.;Solhaug, K. A.;Stensvand, A.
通讯作者：
Stensvand, A.
DOI：
--
发表时间：
2021
期刊：
Annu. Rev. Control. Robotics Auton. Syst.
影响因子：
--
作者：
M. Kwiatkowska;G. Norman;D. Parker
通讯作者：
D. Parker
使用硬件/软件协同验证的工业机器人控制系统的安全保证
影响因子：
1.3
作者：
Yvonne Murray;Martin Sirevåg;Pedro Ribeiro;D. A. Anisi;Morten Mossige
通讯作者：
Morten Mossige
安全关键系统手册：功能安全简单指南：IEC 61508（2010 版）、IEC 61511（2015 版）和相关指南。
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
David J. Smith;K. Simpson
通讯作者：
K. Simpson