Safety Verification of Multiple Industrial Robot Manipulators with Path Conflicts Using Model Checking
Software development for robotic systems is traditionally performed based on simulations, manual code implementation, and testing. However, this software development approach can cause safety issues in some scenarios, including multiple robots sharing a workspace. When different robots are executing...
Uloženo v:
| Hlavní autoři: | , , , |
|---|---|
| Médium: | Artigo |
| Jazyk: | Inglês |
| Vydáno: |
MDPI AG
2023-02-01
|
| Edice: | Machines |
| Témata: | |
| On-line přístup: | https://www.mdpi.com/2075-1702/11/2/282 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|