-
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.
-
Low-$Q^2$ elastic electron-proton scattering using a gas jet target
Authors:
Y. Wang,
J. C. Bernauer,
B. S. Schlimme,
P. Achenbach,
S. Aulenbacher,
M. Ball,
M. Biroth,
D. Bonaventura,
D. Bosnar,
P. Brand,
S. Caiazza,
M. Christmann,
E. Cline,
A. Denig,
M. O. Distler,
L. Doria,
P. Eckert,
A. Esser,
I. Friscic,
S. Gagneur,
J. Geimer,
S. Grieser,
P. Gulker,
P. Herrmann,
M. Hoek
, et al. (32 additional authors not shown)
Abstract:
In this paper, we describe an experiment measuring low-$Q^2$ elastic electron-proton scattering using a newly developed cryogenic supersonic gas jet target in the A1 three-spectrometer facility at the Mainz Microtron. We measured the proton electric form factor within the four-momentum transfer range of $0.01\le Q^2 \le 0.045(\text{GeV/c})^2$. The experiment showed consistent results with the exis…
▽ More
In this paper, we describe an experiment measuring low-$Q^2$ elastic electron-proton scattering using a newly developed cryogenic supersonic gas jet target in the A1 three-spectrometer facility at the Mainz Microtron. We measured the proton electric form factor within the four-momentum transfer range of $0.01\le Q^2 \le 0.045(\text{GeV/c})^2$. The experiment showed consistent results with the existing measurements. The data we collected demonstrated the feasibility of the gas jet target and the potential of future scattering experiments using high-resolution spectrometers with this gas jet target.
△ Less
Submitted 29 August, 2022;
originally announced August 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.
-
Operation and characterization of a windowless gas jet target in high-intensity electron beams
Authors:
B. S. Schlimme,
S. Aulenbacher,
P. Brand,
M. Littich,
Y. Wang,
P. Achenbach,
M. Ball,
J. C. Bernauer,
M. Biroth,
D. Bonaventura,
D. Bosnar,
S. Caiazza,
M. Christmann,
E. Cline,
A. Denig,
M. O. Distler,
L. Doria,
P. Eckert,
A. Esser,
I. Friščić,
S. Gagneur,
J. Geimer,
S. Grieser,
P. Gülker,
P. Herrmann
, et al. (32 additional authors not shown)
Abstract:
A cryogenic supersonic gas jet target was developed for the MAGIX experiment at the high-intensity electron accelerator MESA. It will be operated as an internal, windowless target in the energy-recovering recirculation arc of the accelerator with different target gases, e.g., hydrogen, deuterium, helium, oxygen, argon, or xenon. Detailed studies have been carried out at the existing A1 multi-spect…
▽ More
A cryogenic supersonic gas jet target was developed for the MAGIX experiment at the high-intensity electron accelerator MESA. It will be operated as an internal, windowless target in the energy-recovering recirculation arc of the accelerator with different target gases, e.g., hydrogen, deuterium, helium, oxygen, argon, or xenon. Detailed studies have been carried out at the existing A1 multi-spectrometer facility at the electron accelerator MAMI. This paper focuses on the developed handling procedures and diagnostic tools, and on the performance of the gas jet target under beam conditions. Considering the special features of this type of target, it proves to be well suited for a new generation of high-precision electron scattering experiments at high-intensity electron accelerators.
△ Less
Submitted 16 July, 2021; v1 submitted 27 April, 2021;
originally announced April 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.
-
Microlensing of the X-ray, UV and optical emission regions of quasars: Simulations of the time-scales and amplitude variations of microlensing events
Authors:
P. Jovanović,
A. F. Zakharov,
L. Č. Popović,
T. Petrović
Abstract:
We consider the influence of microlensing on different spectral bands of lensed QSOs. We assumed that the emitting X-ray, UV and optical regions are different in size, but that the continuum emission in these spectral bands is originating from an accretion disc. Estimations of the time scales for microlensing and flux amplification in different bands are given. We found that the microlensing dur…
▽ More
We consider the influence of microlensing on different spectral bands of lensed QSOs. We assumed that the emitting X-ray, UV and optical regions are different in size, but that the continuum emission in these spectral bands is originating from an accretion disc. Estimations of the time scales for microlensing and flux amplification in different bands are given. We found that the microlensing duration should be shorter in the X-ray (several months) than in UV/optical emitting region (several years). This result indicates that monitoring of the X-ray variations in lensed QSOs that show a 'flux anomaly' can clarify the source of this anomaly.
△ Less
Submitted 29 January, 2008;
originally announced January 2008.
-
Amplification and variability of the AGN X-ray emission due to microlensing
Authors:
L. C. Popovic,
P. Jovanovic,
T. Petrovic,
V. N. Shalyapin
Abstract:
We consider the contribution of microlensing to the AGN Fe K$α$ line and X-ray continuum amplification and variation. To investigate the variability of the line and X-ray continuum, we studied the effects of microlensing on quasar X-ray spectra produced by crossing of a microlensing pattern across a standard relativistic accretion disk. To describe the disk emission we used a ray tracing method…
▽ More
We consider the contribution of microlensing to the AGN Fe K$α$ line and X-ray continuum amplification and variation. To investigate the variability of the line and X-ray continuum, we studied the effects of microlensing on quasar X-ray spectra produced by crossing of a microlensing pattern across a standard relativistic accretion disk. To describe the disk emission we used a ray tracing method considering both metrics, Schwarzschild and Kerr. We found that the Fe K$α$ and continuum may experience significant amplification by a microlensing event (even for microlenses of very small mass). Also, we investigate a contribution of microlensing to the X-ray variability of high-redshifted QSOs, finding that cosmologically distributed deflector may contribute significantly to the X-ray variability of high-redshifted QSOs (z>2).
△ Less
Submitted 1 November, 2006;
originally announced November 2006.