arXiv subjects

Vinicius M. Gonçalves

Publications and source records attributed to Vinicius M. Gonçalves.

7 recordsLinked to original sources

arXiv2026

Safe whole-body backstepping control for quadcopter path-following

This paper presents a novel whole-body Backstepping control strategy for safe quadcopter path-following. The proposed approach introduces an integrated control scheme that combines a translational guidance controller with a rigid-body attitude controller. To guarantee asymptotic path convergence, the method utilizes a nominal Integrated Guidance and Control (IGC) based on Artificial Vector Fields (AVF). To ensure reactive safety and collision avoidance, the control law is modified using a smooth distance function within the High-Order Control Barrier Function (HOCBF) framework. The quadcopter dynamics are modeled using quaternion algebra to represent position, velocity, and attitude. By combining the Backstepping approach with HOCBF, the controller guarantees that the vehicle avoids obstacle sets while successfully converging to the target path when unobstructed. The proposed methodology is validated through software-in-the-loop simulations and real-world experimental results using the Crazyflie platform.

eess.SY↗

arXiv2026

Hölder Signed Distance: A Differentiable, Signed, Parallelizable Metric for Robotics

Computing distances between sets is essential in robotic motion planning and control, where differentiable gradients enable real-time optimization. The Euclidean Signed Distance Function (SDF), however, is not differentiable everywhere, and existing alternatives often sacrifice differentiability, sign information, or computational efficiency. In this letter, we introduce a novel differentiable signed distance between convex polyhedra. To this end, we first propose differentiable versions of the minimum and maximum operators, termed the Hölder minimum and Hölder maximum. We then replace the original min-max operators in the classical SDF formulation, yielding the Hölder signed distance. Unlike prior differentiable distance formulations that rely on iterative algorithms, our approach is computed in closed form, eliminating convergence issues while remaining naturally amenable to GPU parallelization. We validate the practical advantages and computational performance of the proposed distance through runtime comparisons with existing approaches. We also present a robotic manipulator experiment, demonstrating its suitability for applications in control.

cs.RO↗

arXiv2026

Safe and robust tube-based path-following for robot navigation

In this paper, we propose a new robust navigation framework for path following tasks in robots operating within unknown, cluttered environments. Our approach ensures reactive safety through obstacle avoidance and guaranteed convergence to a target path, while simultaneously mitigating the impact of unknown-but-bounded disturbances using a tube-based control strategy. The methodology integrates key aspects in the robot navigation: (i) a nominal Integrated Guidance and Control scheme for path-following employing Artificial Vector Fields guidance and Backstepping control; (ii) a smooth distance function that enables a continuous control law formulation for seamless obstacle avoidance; (iii) a unified control objective that balances collision avoidance with path-following; and (iv) an adaptive control component to provide robustness against external disturbances. We provide formal proofs of safety and stability using barrier functions and Lyapunov stability theory. The effectiveness of the proposed framework is validated through extensive numerical simulations.

eess.SY↗

arXiv2026

Efficient Computation of Distance Functions for Navigation Vector Fields in Lie Groups

Vector-field-based methods are widely used for robot control and are often applied to the path-tracking problem. Some vector field approaches require repeatedly computing the distance between the robot configuration and the curve, as well as the corresponding closest point. Recently, vector fields have been extended to Lie Groups. In this case, this computation can be expensive, especially when performed at high control frequencies on embedded platforms. This paper proposes a method for efficiently computing the distance between a point and a curve represented as what is called a G-polynomial curve, which is a curve representation that generalizes polynomial curves to matrix Lie groups. The proposed approach exploits the structure of these curves to reduce the problem to a small number of polynomial root-finding computations. Simulation results show that the method significantly reduces computation time while maintaining accuracy compared to existing optimization-based approaches. Practical formulas are also provided for the case of the group SE(3), and the method is validated experimentally on a robotic manipulator. The methodology is implemented in a computational package, available online.

cs.RO↗

arXiv2026

Vector Fields for Path Following on Lie Groups with Application in Robot Control

Many robotic systems allow independent control of position and orientation (pose), including omnidirectional aerial vehicles, underwater robots, and manipulator end-effectors. In many applications, these systems must follow a continuous sequence of poses, leading to either trajectory-tracking or path following formulations. Compared to trajectory-tracking, path following offers important practical advantages. In particular, we focus on the problem of path following on Lie groups. Considering the robots as rigid bodies moving in the 3D space, this path-following problem can be posed as a problem of designing guiding vector fields on the matrix Lie group SE(3). In this paper, we develop a general vector-field framework for path following on connected matrix Lie groups, of which SE(3) is a prominent special case. The proposed vector field guarantees convergence to a desired parametric curve from almost all initial conditions while ensuring continuous motion along the path. Furthermore, another interesting feature is that, as opposed to previous works, the control input is "minimal" in terms of representation and closer to the engineering application (e.g., the body twist in the case SE(3)). After establishing the general case, the framework is then specialized to SE(3), of special interest in robotics, yielding an efficient algorithm suitable for real-time robotic control. Experiments with a robotic manipulator tracking complex pose paths demonstrate the effectiveness of the approach. An open-source implementation is also provided.

cs.RO↗

arXiv2026

Point-to-Cloud NMPC with Smooth Avoidance Constraints

This paper proposes a finite-horizon optimal control strategy for set-point tracking using a nonlinear model predictive control framework with integrated avoidance capabilities. The formulation employs a smooth point-to-cloud distance metric that ensures continuously differentiable and numerically well-conditioned gradients, even in the presence of regions with complex and nonconvex geometries. This smoothness allows safety constraints to be formulated consistently and differentiably through control barrier functions, resulting in a reliable avoidance behavior for the closed-loop system. Additionally, stationary artificial variables are introduced in the optimal control problem to preserve feasibility under changing set-points. The proposed approach is validated through numerical experiments of an aerial robot, demonstrating accurate tracking and smooth obstacle avoidance in complex environments.

eess.SY↗

arXiv2025

A Differentiable Distance Metric for Robotics Through Generalized Alternating Projection

In many robotics applications, it is necessary to compute not only the distance between the robot and the environment, but also its derivative - for example, when using control barrier functions. However, since the traditional Euclidean distance is not differentiable, there is a need for alternative distance metrics that possess this property. Recently, a metric with guaranteed differentiability was proposed [1]. This approach has some important drawbacks, which we address in this paper. We provide much simpler and practical expressions for the smooth projection for general convex polytopes. Additionally, as opposed to [1], we ensure that the distance vanishes as the objects overlap. We show the efficacy of the approach in experimental results. Our proposed distance metric is publicly available through the Python-based simulation package UAIBot.

cs.RO↗