Prävention und Beseitigung von Fehlerursachen im Kontext von unbemannten Fahrzeugen
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913571032530944 |
|---|---|
| author | Schnakenbeck, Aron Sieber, Christoph da Silva, Luis Miguel Vieira Gehlhoff, Felix Fay, Alexander |
| author_facet | Schnakenbeck, Aron Sieber, Christoph da Silva, Luis Miguel Vieira Gehlhoff, Felix Fay, Alexander |
| contents | Mobile robots, becoming increasingly autonomous, are capable of operating in diverse and unknown environments. This flexibility allows them to fulfill goals independently and adapting their actions dynamically without rigidly predefined control codes. However, their autonomous behavior complicates guaranteeing safety and reliability due to the limited influence of a human operator to accurately supervise and verify each robot's actions. To ensure autonomous mobile robot's safety and reliability, which are aspects of dependability, methods are needed both in the planning and execution of missions for autonomous mobile robots. In this article, a twofold approach is presented that ensures fault removal in the context of mission planning and fault prevention during mission execution for autonomous mobile robots. First, the approach consists of a concept based on formal verification applied during the planning phase of missions. Second, the approach consists of a rule-based concept applied during mission execution. A use case applying the approach is presented, discussing how the two concepts complement each other and what contribution they make to certain aspects of dependability. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_02876 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Prävention und Beseitigung von Fehlerursachen im Kontext von unbemannten Fahrzeugen Schnakenbeck, Aron Sieber, Christoph da Silva, Luis Miguel Vieira Gehlhoff, Felix Fay, Alexander Robotics Systems and Control Mobile robots, becoming increasingly autonomous, are capable of operating in diverse and unknown environments. This flexibility allows them to fulfill goals independently and adapting their actions dynamically without rigidly predefined control codes. However, their autonomous behavior complicates guaranteeing safety and reliability due to the limited influence of a human operator to accurately supervise and verify each robot's actions. To ensure autonomous mobile robot's safety and reliability, which are aspects of dependability, methods are needed both in the planning and execution of missions for autonomous mobile robots. In this article, a twofold approach is presented that ensures fault removal in the context of mission planning and fault prevention during mission execution for autonomous mobile robots. First, the approach consists of a concept based on formal verification applied during the planning phase of missions. Second, the approach consists of a rule-based concept applied during mission execution. A use case applying the approach is presented, discussing how the two concepts complement each other and what contribution they make to certain aspects of dependability. |
| title | Prävention und Beseitigung von Fehlerursachen im Kontext von unbemannten Fahrzeugen |
| topic | Robotics Systems and Control |
| url | https://arxiv.org/abs/2407.02876 |