Safety-critical Control of Quadrupedal Robots with Rolling Arms for Autonomous Inspection of Complex Environments.
Jaemin LeeJeeseop KimWyatt UbellackerTamás G. MolnárAaron D. AmesPublished in: ICRA (2024)
Keyphrases
- complex environments
- safety critical
- robotic systems
- autonomous systems
- legged robots
- cooperative
- mobile robot
- autonomous agents
- control system
- formal methods
- nuclear power plant
- embedded systems
- sequential decision tasks
- fault tolerant
- safety analysis
- medical images
- real time
- medical data
- multi robot
- low cost
- information systems