Source author record

Enrico Bertolazzi

Enrico Bertolazzi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.NA math.AT Cryptography and Security eess.SY Information Theory math.IT math.OC Mathematical Software Numerical Analysis Robotics Systems and Control

Catalog footprint

What is connected

10works

11topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2026arXiv

Real-time Velocity Profile Optimization for Time-Optimal Maneuvering with Generic Acceleration Constraints

The computation of time-optimal velocity profiles along prescribed paths, subject to generic acceleration constraints, is a crucial problem in robot trajectory planning, with particular relevance to autonomous racing. However, the existing methods either support arbitrary acceleration constraints at high computational cost or use conservative box constraints for computational efficiency. We propose FBGA, a new \underline{F}orward-\underline{B}ackward algorithm with \underline{G}eneric \underline{A}cceleration constraints, which achieves both high accuracy and low computation time. FBGA operates forward and backward passes to maximize the velocity profile in short, discretized path segments, while satisfying user-defined performance limits. Tested on five racetracks and two vehicle classes, FBGA handles complex, non-convex acceleration constraints with custom formulations. Its maneuvers and lap times closely match optimal control baselines (within $0.11\%$-$0.36\%$), while being up to three orders of magnitude faster. FBGA maintains high accuracy even with coarse discretization, making it well-suited for online multi-query trajectory planning. Our open-source \texttt{C++} implementation is available at: https://anonymous.4open.science/r/FB_public_RAL.

preprint2022arXiv

The Object Oriented c++ library QIBSH++ for Hermite spline Quasi Interpolation

The library QIBSH++ is a C++ object oriented library for the solution of Quasi Interpolation problems. The library is based on a Hermite Quasi Interpolating operator, which was derived as continuous extensions of linear multistep methods applied for the numerical solution of Boundary Value Problems for Ordinary Differential Equations. The library includes the possibility to use Hermite data or to apply a finite difference scheme for derivative approximations, when derivative values are not directly available. The generalization of the quasi interpolation procedure to surfaces and volumes approximation by means of a tensor product technique is also implemented. The method has been also generalized for one dimensional vectorial data, periodic data, and for two dimensional data in cylindrical coordinates, periodic with respect to the angular argument. Numerical tests show that the library could be used efficiently in many practical problems.

preprint2019arXiv

Efficient computation of Linking number with certification

An efficient numerical algorithm for the computation of linking number is presented. The algorithm keep tracks or rounding error so that it can ensure the correctness of the results.

preprint2016arXiv

Geometric construction of bases of $H_2(\overlineΩ, \partialΩ, \mathbb{Z})$

We present an efficient algorithm for the construction of a basis of $H_2(\overlineΩ,\partialΩ;\mathbb Z)$ via the Poincaré--Lefschetz duality theorem. Denoting by $g$ the first Betti number of $\overline Ω$ the idea is to find, first $g$ different $1$-boundaries of $\overlineΩ$ with supports contained in $\partialΩ$ whose homology classes in $\mathbb R^3 \setminus Ω$ form a basis of $H_1(\mathbb R^3 \setminus Ω;\mathbb Z)$, and then to construct in $\overlineΩ$ a homological Seifert surface of each one of these $1$-boundaries. The Poincaré--Lefschetz duality theorem ensures that the relative homology classes of these homological Seifert surfaces in $\overlineΩ$ modulo $\partialΩ$ form a basis of $H_2(\overlineΩ,\partialΩ;\mathbb Z)$. We devise a simply procedure for the construction of the required set of $1$-boundaries of $\overlineΩ$ that, combined with a fast algorithm for the construction of homological Seifert surfaces, allows the efficient computation of a basis of $H_2(\overlineΩ,\partialΩ;\mathbb Z)$ via this very natural geometrical approach. Some numerical experiments show the efficiency of the method and its performance comparing with other algorithms.

preprint2016arXiv

Semi-Analytical Minimum Time Solution for the Optimal Control of a Vehicle subject to Limited Acceleration

The basic module for the solution of the minimum time optimal control of a car-like vehicle is herein presented. The vehicle is subject to the effect of laminar (linear) and aerodynamic (quadratic) drag, taking into account the asymmetric bounded longitudinal accelerations. This module is studied and designed to be fast and robust in sight to be the fundamental building block of a more extended optimal control problem that considers a given clothoid as the trajectory and the presence of a constraint on the lateral acceleration of the vehicle. The nonlinear dynamics and the different possible boundary conditions yield different analytical solutions of the differential equations, hence they by themselves a particular attention. The study of the numeric stability of the computation for limit values of the parameters is essential as showed in the numerical tests.

preprint2015arXiv

Simple finite element schemes for the solution of the curl-div system

New variational formulations are devised for the curl--div system, and the corresponding finite element approximations are shown to converge. Curl--free and divergence--free finite elements are employed for discretizing the problem.

preprint2014arXiv

Efficient construction of homological Seifert surfaces

Let $Ω$ be a bounded domain of $\mathbb{R}^3$ whose closure $\overlineΩ$ is polyhedral, and let $\mathcal{T}$ be a triangulation of $\overlineΩ$. Assuming that the boundary of $Ω$ is sufficiently regular, we provide an explicit formula for the computation of homological Seifert surfaces of any $1$-boundary $γ$ of $\mathcal{T}$; namely, $2$-chains of $\mathcal{T}$ whose boundary is $γ$. It is based on the existence of special spanning trees of the complete dual graph of $\mathcal{T}$, and on the computation of certain linking numbers associated with those spanning trees. If the triangulation $\mathcal{T}$ is fine, the explicit formula is too expensive to be used directly. For this reason, making also use of a simple elimination procedure, we devise a fast algorithm for the computation of homological Seifert surfaces. Some numerical experiments illustrate the efficiency of this algorithm.

preprint2014arXiv

Preconditioning complex symmetric linear systems

A new polynomial preconditioner for symmetric complex linear systems based on Hermitian and skew-Hermitian splitting (HSS) for complex symmetric linear systems is herein presented. It applies to Conjugate Orthogonal Conjugate Gradient (COCG) or Conjugate Orthogonal Conjugate Residual (COCR) iterative solvers and does not require any estimation of the spectrum of the coefficient matrix. An upper bound of the condition number of the preconditioned linear system is provided. Moreover, to reduce the computational cost, an inexact variant based on incomplete Cholesky decomposition or orthogonal polynomials is proposed. Numerical results show that the present preconditioner and its inexact variant are efficient and robust solvers for this class of linear systems. A stability analysis of the method completes the description of the preconditioner.

preprint2012arXiv

Fast and accurate clothoid fitting

An effective solution to the problem of Hermite $G^1$ interpolation with a clothoid curve is provided. At the beginning the problem is naturally formulated as a system of nonlinear equations with multiple solutions that is generally difficult to solve numerically. All the solutions of this nonlinear system are reduced to the computation of the zeros of a single nonlinear equation. A simple strategy, together with the use of a good and simple guess function, permits to solve the single nonlinear equation with a few iterations of the Newton--Raphson method. The computation of the clothoid curve requires the computation of Fresnel and Fresnel related integrals. Such integrals need asymptotic expansions near critical values to avoid loss of precision. This is necessary when, for example, the solution of interpolation problem is close to a straight line or an arc of circle. Moreover, some special recurrences are deduced for the efficient computation of asymptotic expansion. The reduction of the problem to a single nonlinear function in one variable and the use of asymptotic expansions make the solution algorithm fast and robust.

preprint2010arXiv

Do AES encryptions act randomly?

The Advanced Encryption Standard (AES) is widely recognized as the most important block cipher in common use nowadays. This high assurance in AES is given by its resistance to ten years of extensive cryptanalysis, that has shown no weakness, not even any deviation from the statistical behaviour expected from a random permutation. Only reduced versions of the ciphers have been broken, but they are not usually implemented. In this paper we build a distinguishing attack on the AES, exploiting the properties of a novel cipher embedding. With our attack we give some statistical evidence that the set of AES-$128$ encryptions acts on the message space in a way significantly different than that of the set of random permutations acting on the same space. While we feel that more computational experiments by independent third parties are needed in order to validate our statistical results, we show that the non-random behaviour is the same as we would predict using the property of our embedding. Indeed, the embedding lowers the nonlinearity of the AES rounds and therefore the AES encryptions tend, on average, to keep low the rank of low-rank matrices constructed in the large space. Our attack needs $2^{23}$ plaintext-ciphertext pairs and costs the equivalent of $2^{48}$ encryptions. We expect our attack to work also for AES-$192$ and AES-$256$, as confirmed by preliminary experiments.