-
Branch-and-price with novel cuts, and a new Stackelberg Security Game
Authors:
Pamela Bustamante-Faúndez,
Víctor Bucarey L.,
Martine Labbé,
Vladimir Marianov,
Fernando Ordóñez
Abstract:
Anticipating the strategies of potential attackers is crucial for protecting critical infrastructure. We can represent the challenge of the defenders of such infrastructure as a Stackelberg security game. The defender must decide how to allocate limited resources to protect specific targets, aiming to maximize their expected utility (such as minimizing the extent of damage) and considering that at…
▽ More
Anticipating the strategies of potential attackers is crucial for protecting critical infrastructure. We can represent the challenge of the defenders of such infrastructure as a Stackelberg security game. The defender must decide how to allocate limited resources to protect specific targets, aiming to maximize their expected utility (such as minimizing the extent of damage) and considering that attackers will respond in a way that is most advantageous to them.
We present novel valid inequalities to find a Strong Stackelberg Equilibrium in both Stackelberg games and Stackelberg security games. We also consider a Stackelberg security game that aims to protect targets with a defined budget. We use branch-and-price in this game to show that our approach outperforms the standard formulation in the literature, and we conduct an extensive computational study to analyze the impact of various branch-and-price parameters on the performance of our method in different game settings.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
RTAB-Map as an Open-Source Lidar and Visual SLAM Library for Large-Scale and Long-Term Online Operation
Authors:
Mathieu Labbé,
François Michaud
Abstract:
Distributed as an open source library since 2013, RTAB-Map started as an appearance-based loop closure detection approach with memory management to deal with large-scale and long-term online operation. It then grew to implement Simultaneous Localization and Map** (SLAM) on various robots and mobile platforms. As each application brings its own set of contraints on sensors, processing capabilitie…
▽ More
Distributed as an open source library since 2013, RTAB-Map started as an appearance-based loop closure detection approach with memory management to deal with large-scale and long-term online operation. It then grew to implement Simultaneous Localization and Map** (SLAM) on various robots and mobile platforms. As each application brings its own set of contraints on sensors, processing capabilities and locomotion, it raises the question of which SLAM approach is the most appropriate to use in terms of cost, accuracy, computation power and ease of integration. Since most of SLAM approaches are either visual or lidar-based, comparison is difficult. Therefore, we decided to extend RTAB-Map to support both visual and lidar SLAM, providing in one package a tool allowing users to implement and compare a variety of 3D and 2D solutions for a wide range of applications with different robots and sensors. This paper presents this extended version of RTAB-Map and its use in comparing, both quantitatively and qualitatively, a large selection of popular real-world datasets (e.g., KITTI, EuRoC, TUM RGB-D, MIT Stata Center on PR2 robot), outlining strengths and limitations of visual and lidar SLAM configurations from a practical perspective for autonomous navigation applications.
△ Less
Submitted 10 March, 2024;
originally announced March 2024.
-
λ-Cent-Dians and Generalized-Center for Network Design
Authors:
Víctor Bucarey,
Natividad González-Blanco,
Martine Labbé,
Juan A. Mesa
Abstract:
In this paper, we extend the notions of $λ$-cent-dian and generalized-center from Facility Location Theory to the more intricate domain of Network Design. Our focus is on the task of designing a sub-network within a given underlying network while adhering to a budget constraint. This sub-network is intended to efficiently serve a collection of origin/destination pairs of demand. % rather than indi…
▽ More
In this paper, we extend the notions of $λ$-cent-dian and generalized-center from Facility Location Theory to the more intricate domain of Network Design. Our focus is on the task of designing a sub-network within a given underlying network while adhering to a budget constraint. This sub-network is intended to efficiently serve a collection of origin/destination pairs of demand. % rather than individual points.
The $λ$-cent-dian problem studies the balance between efficiency and equity. We investigate the properties of the $λ$-cent-dian and generalized-center solution networks under the lens of equity, efficiency, and Pareto-optimality. We provide a mathematical formulation for $λ\geq 0$ and discuss the bilevel structure of this problem for $λ>1$. Furthermore, we describe a procedure to obtain a complete parametrization of the Pareto-optimality set based on solving two mixed integer linear formulations by introducing the concept of maximum $λ$-cent-dian. We evaluate the quality of the different solution concepts using some inequality measures. Finally, for $λ\in[0,1]$, we study the implementation of a Benders decomposition method to solve it at scale.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Long-Term Online Multi-Session Graph-Based SPLAM with Memory Management
Authors:
Mathieu Labbé,
François Michaud
Abstract:
For long-term simultaneous planning, localization and map** (SPLAM), a robot should be able to continuously update its map according to the dynamic changes of the environment and the new areas explored. With limited onboard computation capabilities, a robot should also be able to limit the size of the map used for online localization and map**. This paper addresses these challenges using a mem…
▽ More
For long-term simultaneous planning, localization and map** (SPLAM), a robot should be able to continuously update its map according to the dynamic changes of the environment and the new areas explored. With limited onboard computation capabilities, a robot should also be able to limit the size of the map used for online localization and map**. This paper addresses these challenges using a memory management mechanism, which identifies locations that should remain in a Working Memory (WM) for online processing from locations that should be transferred to a Long-Term Memory (LTM). When revisiting previously mapped areas that are in LTM, the mechanism can retrieve these locations and place them back in WM for online SPLAM. The approach is tested on a robot equipped with a short-range laser rangefinder and a RGB-D camera, patrolling autonomously 10.5 km in an indoor environment over 11 sessions while having encountered 139 people.
△ Less
Submitted 30 December, 2022;
originally announced January 2023.
-
Shortest paths and location problems in a continuous framework with different $\ell_p$-norms on different regions
Authors:
Martine Labbé,
Justo Puerto,
Moisés Rodríguez-Madrena
Abstract:
In this paper we address two different related problems. We first study the problem of finding a simple shortest path in a $d$-dimensional real space subdivided in several polyhedra endowed with different $\ell_p$-norms. This problem is a variant of the weighted region problem, a classical path problem in computational geometry introduced in Mitchell and Papadimitriou (JACM 38(1):18-73, 1991). As…
▽ More
In this paper we address two different related problems. We first study the problem of finding a simple shortest path in a $d$-dimensional real space subdivided in several polyhedra endowed with different $\ell_p$-norms. This problem is a variant of the weighted region problem, a classical path problem in computational geometry introduced in Mitchell and Papadimitriou (JACM 38(1):18-73, 1991). As done in the literature for other geodesic path problems, we relate its local optimality condition with Snell's law and provide an extension of this law in our framework space. We propose a solution scheme based on the representation of the problem as a mixed-integer second order cone problem (MISOCP) using the $\ell_p$-norm modeling procedure given in Blanco et al. (Comput Optim Appl 58(3):563-595, 2014). We derive two different MISOCPs formulations, theoretically compare the lower bounds provided by their continuous relaxations, and propose a preprocessing scheme to improve their performance. The usefulness of this approach is validated through computational experiments. The formulations provided are flexible since some extensions of the problem can be handled by transforming the input data in a simple way. The second problem that we consider is the Weber problem that results in this subdivision of $\ell_p$-normed polyhedra. To solve it, we adapt the solution scheme that we developed for the shortest path problem and validate our methodology with extensive computational experiments.
△ Less
Submitted 15 October, 2021;
originally announced October 2021.
-
Have I been here before? Learning to Close the Loop with LiDAR Data in Graph-Based SLAM
Authors:
Tim-Lukas Habich,
Marvin Stuede,
Mathieu Labbé,
Svenja Spindeldreier
Abstract:
This work presents an extension of graph-based SLAM methods to exploit the potential of 3D laser scans for loop detection. Every high-dimensional point cloud is replaced by a compact global descriptor, whereby a trained detector decides whether a loop exists. Searching for loops is performed locally in a variable space to consider the odometry drift. Since closing a wrong loop has fatal consequenc…
▽ More
This work presents an extension of graph-based SLAM methods to exploit the potential of 3D laser scans for loop detection. Every high-dimensional point cloud is replaced by a compact global descriptor, whereby a trained detector decides whether a loop exists. Searching for loops is performed locally in a variable space to consider the odometry drift. Since closing a wrong loop has fatal consequences, an extensive verification is performed before acceptance. The proposed algorithm is implemented as an extension of the widely used state-of-the-art library RTAB-Map, and several experiments show the improvement: During SLAM with a mobile service robot in changing indoor and outdoor campus environments, our approach improves RTAB-Map regarding total number of closed loops. Especially in the presence of significant environmental changes, which typically lead to failure, localization becomes possible by our extension. Experiments with a car in traffic (KITTI benchmark) show the general applicability of our approach. These results are comparable to the state-of-the-art LiDAR method LOAM. The developed ROS package is freely available.
△ Less
Submitted 12 May, 2021; v1 submitted 11 March, 2021;
originally announced March 2021.
-
OpenTera: A Microservice Architecture Solution for Rapid Prototy** of Robotic Solutions to COVID-19 Challenges in Care Facilities
Authors:
Adina M. Panchea,
Dominic Létourneau,
Simon Brière,
Mathieu Hamel,
Marc-Antoine Maheux,
Cédric Godin,
Michel Tousignant,
Mathieu Labbé,
François Ferland,
François Grondin,
François Michaud
Abstract:
As telecommunications technology progresses, telehealth frameworks are becoming more widely adopted in the context of long-term care (LTC) for older adults, both in care facilities and in homes. Today, robots could assist healthcare workers when they provide care to elderly patients, who constitute a particularly vulnerable population during the COVID-19 pandemic. Previous work on user-centered de…
▽ More
As telecommunications technology progresses, telehealth frameworks are becoming more widely adopted in the context of long-term care (LTC) for older adults, both in care facilities and in homes. Today, robots could assist healthcare workers when they provide care to elderly patients, who constitute a particularly vulnerable population during the COVID-19 pandemic. Previous work on user-centered design of assistive technologies in LTC facilities for seniors has identified positive impacts. The need to deal with the effects of the COVID-19 pandemic emphasizes the benefits of this approach, but also highlights some new challenges for which robots could be interesting solutions to be deployed in LTC facilities. This requires customization of telecommunication and audio/video/data processing to address specific clinical requirements and needs. This paper presents OpenTera, an open source telehealth framework, aiming to facilitate prototy** of such solutions by software and robotic designers. Designed as a microservice-oriented platform, OpenTera is an end-to-end solution that employs a series of independent modules for tasks such as data and session management, telehealth, daily assistive tasks/actions, together with smart devices and environments, all connected through the framework. After explaining the framework, we illustrate how OpenTera can be used to implement robotic solutions for different applications identified in LTC facilities and homes, and we describe how we plan to validate them through field trials.
△ Less
Submitted 10 March, 2021;
originally announced March 2021.
-
Multi-Session Visual SLAM for Illumination Invariant Re-Localization in Indoor Environments
Authors:
Mathieu Labbé,
François Michaud
Abstract:
For robots navigating using only a camera, illumination changes in indoor environments can cause re-localization failures during autonomous navigation. In this paper, we present a multi-session visual SLAM approach to create a map made of multiple variations of the same locations in different illumination conditions. The multi-session map can then be used at any hour of the day for improved re-loc…
▽ More
For robots navigating using only a camera, illumination changes in indoor environments can cause re-localization failures during autonomous navigation. In this paper, we present a multi-session visual SLAM approach to create a map made of multiple variations of the same locations in different illumination conditions. The multi-session map can then be used at any hour of the day for improved re-localization capability. The approach presented is independent of the visual features used, and this is demonstrated by comparing re-localization performance between multi-session maps created using the RTAB-Map library with SURF, SIFT, BRIEF, BRISK, KAZE, DAISY and SuperPoint visual features. The approach is tested on six map** and six localization sessions recorded at 30 minute intervals during sunset using a Google Tango phone in a real apartment.
△ Less
Submitted 29 June, 2022; v1 submitted 5 March, 2021;
originally announced March 2021.
-
An exact dynamic programming approach to segmented isotonic regression
Authors:
Víctor Bucarey,
Martine Labbé,
Juan M. Morales,
Salvador Pineda
Abstract:
This paper proposes a polynomial-time algorithm to construct the monotone stepwise curve that minimizes the sum of squared errors with respect to a given cloud of data points. The fitted curve is also constrained on the maximum number of steps it can be composed of and on the minimum step length. Our algorithm relies on dynamic programming and is built on the basis that said curve-fitting task can…
▽ More
This paper proposes a polynomial-time algorithm to construct the monotone stepwise curve that minimizes the sum of squared errors with respect to a given cloud of data points. The fitted curve is also constrained on the maximum number of steps it can be composed of and on the minimum step length. Our algorithm relies on dynamic programming and is built on the basis that said curve-fitting task can be tackled as a shortest-path type of problem. Numerical results on synthetic and realistic data sets reveal that our algorithm is able to provide the globally optimal monotone stepwise curve fit for samples with thousands of data points in less than a few hours. Furthermore, the algorithm gives a certificate on the optimality gap of any incumbent solution it generates. From a practical standpoint, this piece of research is motivated by the roll-out of smart grids and the increasing role played by the small flexible consumption of electricity in the large-scale integration of renewable energy sources into current power systems. Within this context, our algorithm constitutes an useful tool to generate bidding curves for a pool of small flexible consumers to partake in wholesale electricity markets.
△ Less
Submitted 30 June, 2021; v1 submitted 7 December, 2020;
originally announced December 2020.
-
Group design in group testing for COVID-19 : A French case-study
Authors:
Tifaout Almeftah,
Luce Brotcorne,
Diego Cattaruzza,
Bernard Fortz,
Kaba Keita,
Martine Labbé,
Maxime Ogier,
Frédéric Semet
Abstract:
Group testing is a screening strategy that involves dividing a population into several disjointed groups of subjects. In its simplest implementation, each group is tested with a single test in the first phase, while in the second phase only subjects in positive groups, if any, need to be tested again individually. In this paper, we address the problem of group testing design, which aims to determi…
▽ More
Group testing is a screening strategy that involves dividing a population into several disjointed groups of subjects. In its simplest implementation, each group is tested with a single test in the first phase, while in the second phase only subjects in positive groups, if any, need to be tested again individually. In this paper, we address the problem of group testing design, which aims to determine a partition into groups of a finite population in such a way that cardinality constraints on the size of each group and a constraint on the expected total number of tests are satisfied while minimizing a linear combination of the expected number of false negative and false positive classifications. First, we show that the properties and model introduced by Aprahmian et al. can be extended to the group test design problem, which is then modeled as a constrained shortest path problem on a specific graph. We design and implement an ad hoc algorithm to solve this problem. On instances based on Santé Publique France data on Covid-19 screening tests, the results of the computational experiments are very promising.
△ Less
Submitted 13 November, 2020;
originally announced November 2020.
-
Dynamic Object Tracking and Masking for Visual SLAM
Authors:
Jonathan Vincent,
Mathieu Labbé,
Jean-Samuel Lauzon,
François Grondin,
Pier-Marc Comtois-Rivet,
François Michaud
Abstract:
In dynamic environments, performance of visual SLAM techniques can be impaired by visual features taken from moving objects. One solution is to identify those objects so that their visual features can be removed for localization and map**. This paper presents a simple and fast pipeline that uses deep neural networks, extended Kalman filters and visual SLAM to improve both localization and mappin…
▽ More
In dynamic environments, performance of visual SLAM techniques can be impaired by visual features taken from moving objects. One solution is to identify those objects so that their visual features can be removed for localization and map**. This paper presents a simple and fast pipeline that uses deep neural networks, extended Kalman filters and visual SLAM to improve both localization and map** in dynamic environments (around 14 fps on a GTX 1080). Results on the dynamic sequences from the TUM dataset using RTAB-Map as visual SLAM suggest that the approach achieves similar localization performance compared to other state-of-the-art methods, while also providing the position of the tracked dynamic objects, a 3D map free of those dynamic objects, better loop closure detection with the whole pipeline able to run on a robot moving at moderate speed.
△ Less
Submitted 31 July, 2020;
originally announced August 2020.
-
3D Localization of a Sound Source Using Mobile Microphone Arrays Referenced by SLAM
Authors:
Simon Michaud,
Samuel Faucher,
François Grondin,
Jean-Samuel Lauzon,
Mathieu Labbé,
Dominic Létourneau,
François Ferland,
François Michaud
Abstract:
A microphone array can provide a mobile robot with the capability of localizing, tracking and separating distant sound sources in 2D, i.e., estimating their relative elevation and azimuth. To combine acoustic data with visual information in real world settings, spatial correlation must be established. The approach explored in this paper consists of having two robots, each equipped with a microphon…
▽ More
A microphone array can provide a mobile robot with the capability of localizing, tracking and separating distant sound sources in 2D, i.e., estimating their relative elevation and azimuth. To combine acoustic data with visual information in real world settings, spatial correlation must be established. The approach explored in this paper consists of having two robots, each equipped with a microphone array, localizing themselves in a shared reference map using SLAM. Based on their locations, data from the microphone arrays are used to triangulate in 3D the location of a sound source in relation to the same map. This strategy results in a novel cooperative sound map** approach using mobile microphone arrays. Trials are conducted using two mobile robots localizing a static or a moving sound source to examine in which conditions this is possible. Results suggest that errors under 0.3 m are observed when the relative angle between the two robots are above 30 degrees for a static sound source, while errors under 0.3 m for angles between 40 degrees and 140 degrees are observed with a moving sound source.
△ Less
Submitted 21 July, 2020;
originally announced July 2020.
-
Benders decomposition for Network Design Covering Problems
Authors:
Víctor Bucarey,
Bernard Fortz,
Natividad González-Blanco,
Martine Labbé,
Juan A. Mesa
Abstract:
We consider two covering variants of the network design problem. We are given a set of origin/destination pairs, called O/D pairs, and each such O/D pair is covered if there exists a path in the network from the origin to the destination whose length is not larger than a given threshold. In the first problem, called the Maximal Covering Network Design problem, one must determine a network that max…
▽ More
We consider two covering variants of the network design problem. We are given a set of origin/destination pairs, called O/D pairs, and each such O/D pair is covered if there exists a path in the network from the origin to the destination whose length is not larger than a given threshold. In the first problem, called the Maximal Covering Network Design problem, one must determine a network that maximizes the total fulfilled demand of the covered O/D pairs subject to a budget constraint on the design costs of the network. In the second problem, called the Partial Covering Network Design problem, the design cost is minimized while a lower bound is set on the total demand covered. After presenting formulations, we develop a Benders decomposition approach to solve the problems. Further, we consider several stabilization methods to determine Benders cuts as well as the addition of cut-set inequalities to the master problem. We also consider the impact of adding an initial solution to our methods. Computational experiments show the efficiency of these different aspects.
△ Less
Submitted 6 September, 2021; v1 submitted 13 July, 2020;
originally announced July 2020.
-
Mixed Integer Linear Programming for Feature Selection in Support Vector Machine
Authors:
Martine Labbé,
Luisa I. Martínez-Merino,
Antonio M. Rodríguez-Chía
Abstract:
This work focuses on support vector machine (SVM) with feature selection. A MILP formulation is proposed for the problem. The choice of suitable features to construct the separating hyperplanes has been modelled in this formulation by including a budget constraint that sets in advance a limit on the number of features to be used in the classification process. We propose both an exact and a heurist…
▽ More
This work focuses on support vector machine (SVM) with feature selection. A MILP formulation is proposed for the problem. The choice of suitable features to construct the separating hyperplanes has been modelled in this formulation by including a budget constraint that sets in advance a limit on the number of features to be used in the classification process. We propose both an exact and a heuristic procedure to solve this formulation in an efficient way. Finally, the validation of the model is done by checking it with some well-known data sets and comparing it with classical classification methods.
△ Less
Submitted 7 August, 2018;
originally announced August 2018.
-
An extended version of a Branch-Price-and-Cut Procedure for the Discrete Ordered Median Problem
Authors:
Samuel Deleplanque,
Martine Labbé,
Diego Ponce,
Justo Puerto
Abstract:
The Discrete Ordered Median Problem (DOMP) is formulated as a set partitioning problem using an exponential number of variables. Each variable corresponds to a set of demand points allocated to the same facility with the information of the sorting position of their corresponding costs. We develop a column generation approach to solve the continuous relaxation of this model. Then, we apply a branch…
▽ More
The Discrete Ordered Median Problem (DOMP) is formulated as a set partitioning problem using an exponential number of variables. Each variable corresponds to a set of demand points allocated to the same facility with the information of the sorting position of their corresponding costs. We develop a column generation approach to solve the continuous relaxation of this model. Then, we apply a branch-price-and-cut algorithm to solve to optimality small to moderate size of DOMP in competitive computational time.
△ Less
Submitted 9 February, 2018;
originally announced February 2018.
-
Cheap or Robust? The Practical Realization of Self-Driving Wheelchair Technology
Authors:
Maya Burhanpurkar,
Mathieu Labbé,
Xinyi Gong,
Charlie Guan,
François Michaud,
Jonathan Kelly
Abstract:
To date, self-driving experimental wheelchair technologies have been either inexpensive or robust, but not both. Yet, in order to achieve real-world acceptance, both qualities are fundamentally essential. We present a unique approach to achieve inexpensive and robust autonomous and semi-autonomous assistive navigation for existing fielded wheelchairs, of which there are approximately 5 million uni…
▽ More
To date, self-driving experimental wheelchair technologies have been either inexpensive or robust, but not both. Yet, in order to achieve real-world acceptance, both qualities are fundamentally essential. We present a unique approach to achieve inexpensive and robust autonomous and semi-autonomous assistive navigation for existing fielded wheelchairs, of which there are approximately 5 million units in Canada and United States alone. Our prototype wheelchair platform is capable of localization and map**, as well as robust obstacle avoidance, using only a commodity RGB-D sensor and wheel odometry. As a specific example of the navigation capabilities, we focus on the single most common navigation problem: the traversal of narrow doorways in arbitrary environments. The software we have developed is generalizable to corridor following, desk docking, and other navigation tasks that are either extremely difficult or impossible for people with upper-body mobility impairments.
△ Less
Submitted 13 July, 2018; v1 submitted 17 July, 2017;
originally announced July 2017.
