Efficient Set-Based Approaches for the Reliable Computation of Robot Capabilities
Joshua Pickard (AUCTUS, IMS), Vincent Padois (AUCTUS, IMS), Milan, Hlad\'ik, David Daney (AUCTUS, IMS)

TL;DR
This paper introduces efficient set-based methods for reliably computing robot capabilities using interval linear systems, enabling real-time analysis and rapid design evaluation of robotic manipulators.
Contribution
It presents novel, computationally efficient inner approximation theorems for interval linear systems applicable to various robot capability analysis problems.
Findings
New inner approximation theorems improve computational efficiency
Methods enable real-time capability evaluation
Applications demonstrated on a redundant planar manipulator
Abstract
To reliably model real robot characteristics, interval linear systems of equations allow to describe families of problems that consider sets of values. This allows to easily account for typical complexities such as sets of joint states and design parameter uncertainties. Inner approximations of the solutions to the interval linear systems can be used to describe the common capabilities of a robotic manipulator corresponding to the considered sets of values. In this work, several classes of problems are considered. For each class, reliable and efficient polytope, n-cube, and n-ball inner approximations are presented. The interval approaches usually proposed are inefficient because they are too computationally heavy for certain applications, such as control. We propose efficient new inner approximation theorems for the considered classes of problems. This allows for usage with real-time…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNumerical Methods and Algorithms · Formal Methods in Verification · Robotic Mechanisms and Dynamics
