Publication | Closed Access
A resource-aware approach to collaborative loop-closure detection with provable performance guarantees
26
Citations
33
References
2020
Year
Artificial IntelligenceCluster ComputingEngineeringImage RetrievalVerificationField RoboticsIntelligent RoboticsConcurrent SystemSoftware AnalysisFormal VerificationResource-aware ApproachData ScienceNetwork RoboticsSystems EngineeringRobot LearningComputational GeometryLoop-closure DetectionMultirobot SystemProvable Performance GuaranteesRobot NetworkRuntime VerificationConcurrent ProgrammingDistributed RoboticsComputer EngineeringComputer ScienceCollaborative Simultaneous LocalizationComputer VisionProgram AnalysisSoftware TestingConcurrency TheoryFormal MethodsParallel ProgrammingRoboticsResource-aware Algorithms
This paper presents resource-aware algorithms for distributed inter-robot loop-closure detection for applications such as collaborative simultaneous localization and mapping (CSLAM) and distributed image retrieval. In real-world scenarios, this process is resource-intensive as it involves exchanging many observations and geometrically verifying a large number of potential matches. This poses severe challenges for small-size and low-cost robots with various operational and resource constraints that limit, e.g., energy consumption, communication bandwidth, and computation capacity. This paper proposes a framework in which robots first exchange compact queries to identify a set of potential loop closures. We then seek to select a subset of potential inter-robot loop closures for geometric verification that maximizes a monotone submodular performance metric without exceeding budgets on computation (number of geometric verifications) and communication (amount of exchanged data for geometric verification). We demonstrate that this problem is, in general, NP-hard, and present efficient approximation algorithms with provable a priori performance guarantees. The proposed framework is extensively evaluated on real and synthetic datasets. A natural convex relaxation scheme is also presented to certify the near-optimal performance of the proposed framework a posteriori.
| Year | Citations | |
|---|---|---|
Page 1
Page 1