Abstract | ||
---|---|---|
A failsafe control strategy is presented for online safety certification of robot movements in a collaborative workspace with humans. This approach plans, predicts and uses formal guarantees on reachable sets of a robot arm and a human obstacle to verify the safety and feasibility of a trajectory in real time. The robots considered are serial link robots under Computed Torque schemes of control. We drastically reduce the computation time of our novel verification procedure through precomputation of non-linear terms and use of interval arithmetic, as well as representation of reachable sets by zonotopes, which scale easily to high dimensions and are easy to convert between joint space and Cartesian space. The approach is implemented in a simulation, to show that real time is computationally within reach. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/ICRA.2015.7139020 | IEEE International Conference on Robotics and Automation |
Keywords | Field | DocType |
manipulators,path planning,reachability analysis,safety,set theory,torque control,Cartesian space,computed torque control,human obstacle,interval arithmetic,joint space,nonlinear term precomputation,online safety certification,reachable sets,robot arm,robot movements,robot safety control strategy,zonotopes | Robot control,Robotic arm,Precomputation,Control theory,Workspace,Robot kinematics,Control engineering,Engineering,Robot,Cartesian coordinate robot,Interval arithmetic | Conference |
Volume | Issue | ISSN |
2015 | 1 | 1050-4729 |
Citations | PageRank | References |
11 | 0.60 | 15 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Aaron Pereira | 1 | 20 | 3.86 |
Matthias Althoff | 2 | 383 | 50.89 |