Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866911020490948608 |
|---|---|
| author | Adam, Mustafa Ye, Kangfeng Anisi, David A. Cavalcanti, Ana Woodcock, Jim Morris, Robert |
| author_facet | Adam, Mustafa Ye, Kangfeng Anisi, David A. Cavalcanti, Ana Woodcock, Jim Morris, Robert |
| contents | Continued adoption of agricultural robots postulates the farmer's trust in the reliability, robustness and safety of the new technology. This motivates our work on safety assurance of agricultural robots, particularly their ability to detect, track and avoid obstacles and humans. This paper considers a probabilistic modelling and risk analysis framework for use in the early development phases. Starting off with hazard identification and a risk assessment matrix, the behaviour of the mobile robot platform, sensor and perception system, and any humans present are captured using three state machines. An auto-generated probabilistic model is then solved and analysed using the probabilistic model checker PRISM. The result provides unique insight into fundamental development and engineering aspects by quantifying the effect of the risk mitigation actions and risk reduction associated with distinct design concepts. These include implications of adopting a higher performance and more expensive Object Detection System or opting for a more elaborate warning system to increase human awareness. Although this paper mainly focuses on the initial concept-development phase, the proposed safety assurance framework can also be used during implementation, and subsequent deployment and operation phases. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_19620 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment Adam, Mustafa Ye, Kangfeng Anisi, David A. Cavalcanti, Ana Woodcock, Jim Morris, Robert Robotics Formal Languages and Automata Theory Software Engineering Systems and Control Continued adoption of agricultural robots postulates the farmer's trust in the reliability, robustness and safety of the new technology. This motivates our work on safety assurance of agricultural robots, particularly their ability to detect, track and avoid obstacles and humans. This paper considers a probabilistic modelling and risk analysis framework for use in the early development phases. Starting off with hazard identification and a risk assessment matrix, the behaviour of the mobile robot platform, sensor and perception system, and any humans present are captured using three state machines. An auto-generated probabilistic model is then solved and analysed using the probabilistic model checker PRISM. The result provides unique insight into fundamental development and engineering aspects by quantifying the effect of the risk mitigation actions and risk reduction associated with distinct design concepts. These include implications of adopting a higher performance and more expensive Object Detection System or opting for a more elaborate warning system to increase human awareness. Although this paper mainly focuses on the initial concept-development phase, the proposed safety assurance framework can also be used during implementation, and subsequent deployment and operation phases. |
| title | Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment |
| topic | Robotics Formal Languages and Automata Theory Software Engineering Systems and Control |
| url | https://arxiv.org/abs/2506.19620 |