-
Reactive Navigation of an Unmanned Aerial Vehicle with Perception-based Obstacle Avoidance Constraints
Authors:
Björn Lindqvist,
Sina Sharif Mansouri,
Jakub Haluška,
George Nikolakopoulos
Abstract:
In this article we propose a reactive constrained navigation scheme, with embedded obstacles avoidance for an Unmanned Aerial Vehicle (UAV), for enabling navigation in obstacle-dense environments. The proposed navigation architecture is based on Nonlinear Model Predictive Control (NMPC), and utilizes an on-board 2D LiDAR to detect obstacles and translate online the key geometric information of the…
▽ More
In this article we propose a reactive constrained navigation scheme, with embedded obstacles avoidance for an Unmanned Aerial Vehicle (UAV), for enabling navigation in obstacle-dense environments. The proposed navigation architecture is based on Nonlinear Model Predictive Control (NMPC), and utilizes an on-board 2D LiDAR to detect obstacles and translate online the key geometric information of the environment into parametric constraints for the NMPC that constrain the available position-space for the UAV. This article focuses also on the real-world implementation and experimental validation of the proposed reactive navigation scheme, and it is applied in multiple challenging laboratory experiments, where we also conduct comparisons with relevant methods of reactive obstacle avoidance. The solver utilized in the proposed approach is the Optimization Engine (OpEn) and the Proximal Averaged Newton for Optimal Control (PANOC) algorithm, where a penalty method is applied to properly consider obstacles and input constraints during the navigation task. The proposed novel scheme allows for fast solutions, while using limited on-board computational power, that is a required feature for the overall closed loop performance of an UAV and is applied in multiple real-time scenarios. The combination of built-in obstacle avoidance and real-time applicability makes the proposed reactive constrained navigation scheme an elegant framework for UAVs that is able to perform fast nonlinear control, local path-planning and obstacle avoidance, all embedded in the control layer.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
Slider: On the Design and Modeling of a 2D Floating Satellite Platform
Authors:
Avijit Banerjee,
Jakub Haluska,
Sumeet G. Satpute,
Dariusz Kominiak,
George Nikolakopoulos
Abstract:
In this article, a floating robotic emulation platform for a virtual demonstration of satellite motion in space is presented. The robotic platform design is characterized by its friction-less, levitating, yet planar motion over a hyper-smooth surface. The robotic platform, integrated with sensor and actuator units, is fully designed and manufactured from the Robotics and Artificial Intelligence Te…
▽ More
In this article, a floating robotic emulation platform for a virtual demonstration of satellite motion in space is presented. The robotic platform design is characterized by its friction-less, levitating, yet planar motion over a hyper-smooth surface. The robotic platform, integrated with sensor and actuator units, is fully designed and manufactured from the Robotics and Artificial Intelligence Team at Luleå University of Technology. A detailed design description along with the mathematical modeling describing the platform's dynamic motion is formulated. Finally, the proposed design is validated in extensive simulation studies, while the overall test bed experimental setup, as well as the vehicle hardware and software architectures, are discussed in detail. Furthermore, the entire design, including 3D printing CAD model and different testbed elements, is provided in an open-source repository and a test campaign is used to showcase its capabilities and illustrate its operations.
△ Less
Submitted 15 January, 2021;
originally announced January 2021.
-
On a 4-dimensional subalgebra of the 12-tone Equal Tempered Tuning
Authors:
Ján Haluška,
Małgorzata Jastrzębska
Abstract:
An operation of associative, commutative and distributive multiplication on { Euclidean vector space} $\mathbb{E}_4$ is introduced by a skew circulant matrix. The resulting algebra $\mathbb{W}$ over $\mathbb{R}$ is isomorphic to $\mathbb{C} \times \mathbb{C}.$ The related algebraic, geometrical, and topological properties are given.There are subplanes of $\mathbb{W}$ isomorphic to the Gauss and Cl…
▽ More
An operation of associative, commutative and distributive multiplication on { Euclidean vector space} $\mathbb{E}_4$ is introduced by a skew circulant matrix. The resulting algebra $\mathbb{W}$ over $\mathbb{R}$ is isomorphic to $\mathbb{C} \times \mathbb{C}.$ The related algebraic, geometrical, and topological properties are given.There are subplanes of $\mathbb{W}$ isomorphic to the Gauss and Clifford complex number planes. A topology on $\mathbb{W}$ is given by a norm which is a sum of two norms. A hint how to apply this 4 dimensional algebra over $\mathbb{R}$ to the 12-tone Equally Tempered Tuning algebra is given.
△ Less
Submitted 31 July, 2020;
originally announced July 2020.
-
A Subterranean Virtual Cave World for Gazebo based on the DARPA SubT Challenge
Authors:
Anton Koval,
Christoforos Kanellakis,
Emil Vidmark,
Jakub Haluska,
George Nikolakopoulos
Abstract:
Subterranean environments with lots of obstacles, including narrow passages, large voids, rock falls and absence of illumination were always challenging for control, navigation, and perception of mobile robots. The limited availability and access to such environments restricts the development pace of capabilities for robotic platforms to autonomously accomplish tasks in such challenging areas. The…
▽ More
Subterranean environments with lots of obstacles, including narrow passages, large voids, rock falls and absence of illumination were always challenging for control, navigation, and perception of mobile robots. The limited availability and access to such environments restricts the development pace of capabilities for robotic platforms to autonomously accomplish tasks in such challenging areas. The Subterranean Challenge is a competition focusing on bringing robotic exploration a step closer to real life applications for man-made underground tunnels, urban areas and natural cave networks, envisioning advanced assistance tools for first responders and disaster relief agencies. The challenge offers a software-based virtual part to showcase technologies in autonomy perception, networking and mobility for such areas. Thus, the presented open-source virtual world aims to become a test-bed for evaluating the developed algorithms and software and to foster mobile robotics developments.
△ Less
Submitted 21 April, 2020; v1 submitted 17 April, 2020;
originally announced April 2020.
-
A three dimensional modification of the Gaussian number field
Authors:
Ján Haluška
Abstract:
For vectors in $\mathbb{E}_3$ we introduce an associative, commutative and distributive multiplication. We describe the related algebraic and geometrical properties, and hint some applications. Based on properties of hyperbolic (Clifford) complex numbers, we prove that the resulting algebra $\mathbb{T}$ is an associative algebra over a field and contains a subring isomorphic to hyperbolic complex…
▽ More
For vectors in $\mathbb{E}_3$ we introduce an associative, commutative and distributive multiplication. We describe the related algebraic and geometrical properties, and hint some applications. Based on properties of hyperbolic (Clifford) complex numbers, we prove that the resulting algebra $\mathbb{T}$ is an associative algebra over a field and contains a subring isomorphic to hyperbolic complex numbers. Moreover, the algebra $\mathbb{T}$ is isomorphic to direct product $\mathbb{C} \times \mathbb{R}$, and so it contains a subalgebra isomorphic to the Gaussian complex plane.
△ Less
Submitted 31 July, 2020; v1 submitted 24 January, 2019;
originally announced January 2019.
-
On fields inspired with the polar HSV -- RGB theory of Colour
Authors:
Ján Haluška
Abstract:
A three-polar, cf. T. Gregor, J. Haluška, Lexicographical ordering and field operations in the complex plane. Stud. Mat. 41(2014), 123--133., $HSV-RGB$ Colour space $\triangle$ was introduced and studied. It was equipped with operations of addition, subtraction, multiplication, and (partially) division. Achromatic Grey Hues form an ideal $\mathfrak{S}$. Factorizing $\triangle$ by the ideal…
▽ More
A three-polar, cf. T. Gregor, J. Haluška, Lexicographical ordering and field operations in the complex plane. Stud. Mat. 41(2014), 123--133., $HSV-RGB$ Colour space $\triangle$ was introduced and studied. It was equipped with operations of addition, subtraction, multiplication, and (partially) division. Achromatic Grey Hues form an ideal $\mathfrak{S}$. Factorizing $\triangle$ by the ideal $\mathfrak{S}$, we obtain a field $\triangle | \mathfrak{S}$. An element (i.e an individual Colour) in $\triangle | \mathfrak{S}$ is a triplet of three triangular coefficients. The set of all triangular coefficients is a subset of a semi-field of parabolic-complex functions. For the parabolic-complex number set, cf.~A. A. Harkin--J. B. Harkin, Geometry of general complex numbers. Mathematics magazine, 77(2004), 118--129.
△ Less
Submitted 30 November, 2015;
originally announced December 2015.
-
Two-dimensional Einstein numbers and associativity
Authors:
Tomáš Gregor,
Ján Haluška
Abstract:
In this paper, we deal with generalizations of real Einstein numbers to various spaces and dimensions. We search operations and their properties in generalized settings. Especially, we are interested in the generalized operation of hyperbolic addition to more-dimensional spaces, which is associative and commutative. We extend the theory to some abstract spaces, especially to Hilbert-like ones. Fur…
▽ More
In this paper, we deal with generalizations of real Einstein numbers to various spaces and dimensions. We search operations and their properties in generalized settings. Especially, we are interested in the generalized operation of hyperbolic addition to more-dimensional spaces, which is associative and commutative. We extend the theory to some abstract spaces, especially to Hilbert-like ones. Further, we bring two different two-dimensional generalizations of Einstein numbers and study properties of new-defined operations -- mainly associativity, commutativity, and distributive laws.
△ Less
Submitted 3 September, 2013;
originally announced September 2013.
-
The Egoroff Theorem for Operator-Valued Measures in Locally Convex Spaces
Authors:
Ján Haluška,
Ondrej Hutník
Abstract:
The Egoroff theorem for measurable $\bold X$-valued functions and operator-valued measures $\bold m: Σ\to L(\bold X, \bold Y)$, where $Σ$ is a $σ$-algebra of subsets of $T \neq \emptyset$ and $\bold X$, $\bold Y$ are both locally convex spaces, is proved. The measure is supposed to be atomic and the convergence of functions is net.
The Egoroff theorem for measurable $\bold X$-valued functions and operator-valued measures $\bold m: Σ\to L(\bold X, \bold Y)$, where $Σ$ is a $σ$-algebra of subsets of $T \neq \emptyset$ and $\bold X$, $\bold Y$ are both locally convex spaces, is proved. The measure is supposed to be atomic and the convergence of functions is net.
△ Less
Submitted 24 January, 2011;
originally announced January 2011.