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...
சேமிக்கப்பட்டது:
| முதன்மை ஆசிரியர்கள்: | , , , |
|---|---|
| வடிவம்: | Artigo |
| மொழி: | Inglês |
| வெளியிடப்பட்டது: |
MDPI AG
2023-02-01
|
| தொடர்: | Machines |
| பொருள்கள்: | |
| ஆன்லைன் அணுகல்: | https://www.mdpi.com/2075-1702/11/2/282 |
| குறிச்சொற்கள்: |
டாக்ஸ் இல்லை, இந்த பதிவுக்கு குறிச்சொல் சேர்க்கும் முதல் நபராக இருங்கள்!
|