-
Kolmogorov-Loveland betting strategies lose the Betting game on open sets
Authors:
Tomislav Petrović
Abstract:
If Kolmogorov-Loveland randomness (KLR) is the same as Martin-Löf randomness (MLR) is a major open problem in the study of algorithmic randomness. More general classes of betting strategies than Kolmogorov-Loveland ones have been studied in \cite{MMS, Rute, TP} and in each case it was proven that the class induces a notion of randomness equivalent to MLR. In all of those proofs it was shown that t…
▽ More
If Kolmogorov-Loveland randomness (KLR) is the same as Martin-Löf randomness (MLR) is a major open problem in the study of algorithmic randomness. More general classes of betting strategies than Kolmogorov-Loveland ones have been studied in \cite{MMS, Rute, TP} and in each case it was proven that the class induces a notion of randomness equivalent to MLR. In all of those proofs it was shown that the class contains a finite set of betting strategies such that for any given bound, when betting on a binary sequence contained in an effective open set of small enough measure, at least one of the betting strategies in the set earns capital larger than the bound. We show that the class of Kolmogorov-Loveland betting strategies does not have this property.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Autonomous Exploration of Unknown 3D Environments Using a Frontier-Based Collector Strategy
Authors:
Ivan D. Changoluisa Caiza,
Ana Milas,
Marco A. Montes Grova,
Francisco Javier Perez-Grau,
Tamara Petrovic
Abstract:
Autonomous exploration using unmanned aerial vehicles (UAVs) is essential for various tasks such as building inspections, rescue operations, deliveries, and warehousing. However, there are two main limitations to previous approaches: they may not be able to provide a complete map of the environment and assume that the map built during exploration is accurate enough for safe navigation, which is us…
▽ More
Autonomous exploration using unmanned aerial vehicles (UAVs) is essential for various tasks such as building inspections, rescue operations, deliveries, and warehousing. However, there are two main limitations to previous approaches: they may not be able to provide a complete map of the environment and assume that the map built during exploration is accurate enough for safe navigation, which is usually not the case. To address these limitations, a novel exploration method is proposed that combines frontier-based exploration with a collector strategy that achieves global exploration and complete map creation. In each iteration, the collector strategy stores and validates frontiers detected during exploration and selects the next best frontier to navigate to. The collector strategy ensures global exploration by balancing the exploitation of a known map with the exploration of unknown areas. In addition, the online path replanning ensures safe navigation through the map created during motion. The performance of the proposed method is verified by exploring 3D simulation environments in comparison with the state-of-the-art methods. Finally, the proposed approach is validated in a real-world experiment.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Betting strategies with bounded splits
Authors:
Tomislav Petrović
Abstract:
We show that a pair of Kolmogorov-Loveland betting strategies cannot win on every non-Martin-Löf random sequence if either of the two following conditions is true:
(I) There is an unbounded computable function $g$ such that both betting strategies, when betting on an infinite binary sequence, almost surely, for almost all $\ell$, bet on at most $\ell-g(\ell)$ positions among the first $\ell$ pos…
▽ More
We show that a pair of Kolmogorov-Loveland betting strategies cannot win on every non-Martin-Löf random sequence if either of the two following conditions is true:
(I) There is an unbounded computable function $g$ such that both betting strategies, when betting on an infinite binary sequence, almost surely, for almost all $\ell$, bet on at most $\ell-g(\ell)$ positions among the first $\ell$ positions of the sequence.
(II) There is a sublinear function $g$ such that both betting strategies, when betting on an infinite binary sequence, almost surely, for almost all $\ell$, bet on at least $\ell-g(\ell)$ positions among the first $\ell$ positions of the sequence.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
Dynamic Median Consensus for Marine Multi-Robot Systems Using Acoustic Communication
Authors:
Goran Vasiljevic,
Tamara Petrovic,
Barbara Arbanas,
Stjepan Bogdan
Abstract:
In this paper, we present a dynamic median consensus protocol for multi-agent systems using acoustic communication. The motivating target scenario is a multi-agent system consisting of underwater robots acting as intelligent sensors, applied to continuous monitoring of the state of a marine environment. The proposed protocol allows each agent to track the median value of individual measurements of…
▽ More
In this paper, we present a dynamic median consensus protocol for multi-agent systems using acoustic communication. The motivating target scenario is a multi-agent system consisting of underwater robots acting as intelligent sensors, applied to continuous monitoring of the state of a marine environment. The proposed protocol allows each agent to track the median value of individual measurements of all agents through local communication with neighbouring agents. Median is chosen as a measure robust to outliers, as opposed to average value, which is usually used. In contrast to the existing consensus protocols, the proposed protocol is dynamic, uses a switching communication topology and converges to median of measured signals. Stability and correctness of the protocol are theoretically proven. The protocol is tested in simulation, and accuracy and influence of protocol parameters on the system output are analyzed. The protocol is implemented and validated by a set of experiments on an underwater group of robots comprising of aMussel units. This experimental setup is one of the first deployments of any type of consensus protocol for an underwater setting. Both simulation and experimental results confirm the correctness of the presented approach.
△ Less
Submitted 4 May, 2022;
originally announced May 2022.
-
Cooperative Aerial-Ground Multi-Robot System for Automated Construction Tasks
Authors:
Marko Krizmancic,
Barbara Arbanas,
Tamara Petrovic,
Frano Petric,
Stjepan Bogdan
Abstract:
In this paper, we study a cooperative aerial-ground robotic team and its application to the task of automated construction. We propose a solution for planning and coordinating the mission of constructing a wall with a predefined structure for a heterogeneous system consisting of one mobile robot and up to three unmanned aerial vehicles. The wall consists of bricks of various weights and sizes, som…
▽ More
In this paper, we study a cooperative aerial-ground robotic team and its application to the task of automated construction. We propose a solution for planning and coordinating the mission of constructing a wall with a predefined structure for a heterogeneous system consisting of one mobile robot and up to three unmanned aerial vehicles. The wall consists of bricks of various weights and sizes, some of which need to be transported using multiple robots simultaneously. To that end, we use hierarchical task representation to specify interrelationships between mission subtasks and employ effective scheduling and coordination mechanism, inspired by Generalized Partial Global Planning. We evaluate the performance of the method under different optimization criteria and validate the solution in the realistic Gazebo simulation environment.
△ Less
Submitted 29 April, 2022;
originally announced April 2022.
-
Distributed Mission Planning of Complex Tasks for Heterogeneous Multi-Robot Teams
Authors:
Barbara Arbanas Ferreira,
Tamara Petrović,
Stjepan Bogdan
Abstract:
In this paper, we propose a distributed multi-stage optimization method for planning complex missions for heterogeneous multi-robot teams. This class of problems involves tasks that can be executed in different ways and are associated with cross-schedule dependencies that constrain the schedules of the different robots in the system. The proposed approach involves a multi-objective heuristic searc…
▽ More
In this paper, we propose a distributed multi-stage optimization method for planning complex missions for heterogeneous multi-robot teams. This class of problems involves tasks that can be executed in different ways and are associated with cross-schedule dependencies that constrain the schedules of the different robots in the system. The proposed approach involves a multi-objective heuristic search of the mission, represented as a hierarchical tree that defines the mission goal. This procedure outputs several favorable ways to fulfill the mission, which directly feed into the next stage of the method. We propose a distributed metaheuristic based on evolutionary computation to allocate tasks and generate schedules for the set of chosen decompositions. The method is evaluated in a simulation setup of an automated greenhouse use case, where we demonstrate the method's ability to adapt the planning strategy depending on the available robots and the given optimization criteria.
△ Less
Submitted 21 September, 2021;
originally announced September 2021.
-
A Shadowcasting-Based Next-Best-View Planner for Autonomous 3D Exploration
Authors:
Ana Batinovic,
Antun Ivanovic,
Tamara Petrovic,
Stjepan Bogdan
Abstract:
In this paper, we address the problem of autonomous exploration of unknown environments with an aerial robot equipped with a sensory set that produces large point clouds, such as LiDARs. The main goal is to gradually explore an area while planning paths and calculating information gain in short computation time, suitable for implementation on an on-board computer. To this end, we present a planner…
▽ More
In this paper, we address the problem of autonomous exploration of unknown environments with an aerial robot equipped with a sensory set that produces large point clouds, such as LiDARs. The main goal is to gradually explore an area while planning paths and calculating information gain in short computation time, suitable for implementation on an on-board computer. To this end, we present a planner that randomly samples viewpoints in the environment map. It relies on a novel and efficient gain calculation based on the Recursive Shadowcasting algorithm. To determine the Next-Best-View (NBV), our planner uses a cuboid-based evaluation method that results in an enviably short computation time. To reduce the overall exploration time, we also use a dead end resolving strategy that allows us to quickly recover from dead ends in a challenging environment. Comparative experiments in simulation have shown that our approach outperforms the current state-of-the-art in terms of computational efficiency and total exploration time. The video of our approach can be found at https://www.youtube.com/playlist?list=PLC0C6uwoEQ8ZDhny1VdmFXLeTQOSBibQl.
△ Less
Submitted 20 September, 2021;
originally announced September 2021.
-
Distributed Allocation and Scheduling of Tasks with Cross-Schedule Dependencies for Heterogeneous Multi-Robot Teams
Authors:
Barbara Arbanas Ferreira,
Tamara Petrović,
Matko Orsag,
J. Ramiro Martínez-de-Dios,
Stjepan Bogdan
Abstract:
To enable safe and efficient use of multi-robot systems in everyday life, a robust and fast method for coordinating their actions must be developed. In this paper, we present a distributed task allocation and scheduling algorithm for missions where the tasks of different robots are tightly coupled with temporal and precedence constraints. The approach is based on representing the problem as a vari…
▽ More
To enable safe and efficient use of multi-robot systems in everyday life, a robust and fast method for coordinating their actions must be developed. In this paper, we present a distributed task allocation and scheduling algorithm for missions where the tasks of different robots are tightly coupled with temporal and precedence constraints. The approach is based on representing the problem as a variant of the vehicle routing problem, and the solution is found using a distributed metaheuristic algorithm based on evolutionary computation (CBM-pop). Such an approach allows a fast and near-optimal allocation and can therefore be used for online replanning in case of task changes. Simulation results show that the approach has better computational speed and scalability without loss of optimality compared to the state-of-the-art distributed methods. An application of the planning procedure to a practical use case of a greenhouse maintained by a multi-robot system is given.
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
Path continuity for multi-wheeled AGVs
Authors:
Mirko Kokot,
Damjan Miklić,
Tamara Petrović
Abstract:
Notwithstanding the growing presence of AGVs in the industry, there is a lack of research about multi-wheeled AGVs which offer higher maneuverability and space efficiency. In this paper, we present generalized path continuity conditions as a continuation of previous research done for vehicles with more constrained kinematic capabilities. We propose a novel approach for analytically defining variou…
▽ More
Notwithstanding the growing presence of AGVs in the industry, there is a lack of research about multi-wheeled AGVs which offer higher maneuverability and space efficiency. In this paper, we present generalized path continuity conditions as a continuation of previous research done for vehicles with more constrained kinematic capabilities. We propose a novel approach for analytically defining various kinematic modes (motion modes), that AGVs with multiple steer and drive wheels can utilize. This approach enables deriving vehicle kinematic equations based on the vehicle configuration and its constraints, path shape, and corresponding motion mode. Finally, we derive general continuity conditions for paths that multi-wheeled AGVs can follow, and show through examples how they can be utilized in layout design methods.
△ Less
Submitted 2 March, 2021;
originally announced March 2021.
-
A Multi-Resolution Frontier-Based Planner for Autonomous 3D Exploration
Authors:
Ana Batinović,
Tamara Petrović,
Antun Ivanovic,
Frano Petric,
Stjepan Bogdan
Abstract:
In this paper we propose a planner for 3D exploration that is suitable for applications using state-of-the-art 3D sensors such as lidars, which produce large point clouds with each scan. The planner is based on the detection of a frontier - a boundary between the explored and unknown part of the environment - and consists of the algorithm for detecting frontier points, followed by clustering of fr…
▽ More
In this paper we propose a planner for 3D exploration that is suitable for applications using state-of-the-art 3D sensors such as lidars, which produce large point clouds with each scan. The planner is based on the detection of a frontier - a boundary between the explored and unknown part of the environment - and consists of the algorithm for detecting frontier points, followed by clustering of frontier points and selecting the best frontier point to be explored. Compared to existing frontier-based approaches, the planner is more scalable, i.e. it requires less time for the same data set size while ensuring similar exploration time. Performance is achieved by not relying on data obtained directly from the 3D sensor, but on data obtained by a map** algorithm. In order to cluster the frontier points, we use the properties of the Octree environment representation, which allows easy analysis with different resolutions. The planner is tested in the simulation environment and in an outdoor test area with a UAV equipped with a lidar sensor. The results show the advantages of the approach.
△ Less
Submitted 4 November, 2020;
originally announced November 2020.
-
A pair of universal sequence-set betting strategies
Authors:
Tomislav Petrović
Abstract:
We introduce the sequence-set betting game, a generalization of An. A. Muchnik's non-monotonic betting game. Instead of successively partitioning the infinite binary strings by their value of a bit at a chosen position, as in the non-monotonic game, the player is allowed to partition the strings into any two clopen sets with equal measure. We show that, while there is no single computable sequence…
▽ More
We introduce the sequence-set betting game, a generalization of An. A. Muchnik's non-monotonic betting game. Instead of successively partitioning the infinite binary strings by their value of a bit at a chosen position, as in the non-monotonic game, the player is allowed to partition the strings into any two clopen sets with equal measure. We show that, while there is no single computable sequence-set betting strategy that predicts all non-Martin-Löf random strings, we can construct two strategies such that every non-Martin-Löf random string is predicted by at least one of them.
△ Less
Submitted 22 December, 2015; v1 submitted 22 October, 2012;
originally announced October 2012.
-
"Two betting strategies that predict all compressible sequences" presentation
Authors:
Tomislav Petrović
Abstract:
Presentation for a talk "Two betting strategies that predict all compressible sequences" given at Seventh International Conference on Computability, Complexity and Randomness (CCR 2012) http://www.newton.ac.uk/programmes/SAS/seminars/070217001.html
Presentation for a talk "Two betting strategies that predict all compressible sequences" given at Seventh International Conference on Computability, Complexity and Randomness (CCR 2012) http://www.newton.ac.uk/programmes/SAS/seminars/070217001.html
△ Less
Submitted 19 July, 2012;
originally announced July 2012.