M. Khalid, Leonardo Guevara, Marc Hanheide, Simon Parsons
{"title":"Assuring autonomy of robots in soft fruit production","authors":"M. Khalid, Leonardo Guevara, Marc Hanheide, Simon Parsons","doi":"10.31256/ml6ik7g","DOIUrl":null,"url":null,"abstract":"—This paper describes our work to assure safe autonomy in soft fruit production. The first step was hazard analysis, where all the possible hazards in representative scenarios were identified. Following this analysis, a three-layer safety architecture was identified that will minimise the occurrence of the identified hazards. Most of the hazards are minimised by upper layers, while unavoidable hazards are handled using emergency stops. In parallel, we are using probabilistic model checking to check the probability of a hazard’s occurrence. The results from the model checking will be used to improve safety system architecture","PeriodicalId":447290,"journal":{"name":"UKRAS21 Conference: Robotics at home Proceedings","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"UKRAS21 Conference: Robotics at home Proceedings","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.31256/ml6ik7g","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
—This paper describes our work to assure safe autonomy in soft fruit production. The first step was hazard analysis, where all the possible hazards in representative scenarios were identified. Following this analysis, a three-layer safety architecture was identified that will minimise the occurrence of the identified hazards. Most of the hazards are minimised by upper layers, while unavoidable hazards are handled using emergency stops. In parallel, we are using probabilistic model checking to check the probability of a hazard’s occurrence. The results from the model checking will be used to improve safety system architecture