arXiv subjects

Renato Quartullo

Publications and source records attributed to Renato Quartullo.

10 recordsLinked to original sources

arXiv2026

Learning Social Robot Navigation By Sensing Human Legs

Robots navigating among pedestrians typically sense their surroundings with a 2D LiDAR mounted close to the ground. At that height, the sensor mostly sees moving legs rather than whole people, yet most learning-based navigation methods still treat pedestrians as simple shapes like circles. This paper addresses that gap with CALF (Convolutional Attention for Leg Features), an end-to-end neural architecture that combines convolutional layers, attention, and MLP to interpret leg motion directly from LiDAR scans and produce safe navigation commands. The CALF policy is trained using deep reinforcement learning algorithms within LegNav, a custom lightweight 2D simulator that combines 2D LiDAR ray tracing with a novel pedestrian gait model. The resulting policy is compared against classical and learning-based baselines in terms of navigation performance and social compliance. The approach is validated through real-world experiments via zero-shot deployment on a TurtleBot 4, yielding smooth and socially compliant trajectories. Written in JAX, the LegNav simulator enables the training of a deployment-ready CALF policy in under an hour on a single consumer GPU.

cs.RO↗

arXiv2026

Time-Optimal Model Predictive Control for Linear Systems with Multiplicative Uncertainties

This paper presents a time-optimal Model Predictive Control (MPC) scheme for linear discrete-time systems subject to multiplicative uncertainties represented by interval matrices. To render the uncertainty propagation computationally tractable, the set-valued error system dynamics are approximated using a matrix-zonotope-based bounding operator. Recursive feasibility and finite-time convergence are ensured through an adaptive terminal constraint mechanism. A key advantage of the proposed approach is that all the necessary bounding sets can be computed offline, substantially reducing the online computational burden. The effectiveness of the method is illustrated via a numerical case study on an orbital rendezvous maneuver between two satellites.

eess.SY↗

arXiv2026

Data-Driven Robust Predictive Control with Interval Matrix Uncertainty Propagation

This paper presents a new data-driven robust predictive control law, for linear systems affected by unknown-but-bounded process disturbances. A sequence of input-state data is used to construct a suitable uncertainty representation based on interval matrices. Then, the effect of uncertainty along the prediction horizon is bounded through an operator leveraging matrix zonotopes. This yields a tube that is exploited within a variable-horizon optimal control problem, to guarantee robust satisfaction of state and input constraints. The resulting data-driven predictive control scheme is proven to be recursively feasible and practically stable. A numerical example shows that the proposed approach compares favorably to existing methods based on zonotopic tubes.

eess.SY↗

arXiv2026

Robust Model Predictive Control for Linear Systems with Interval Matrix Model Uncertainty

This paper proposes a novel robust Model Predictive Control (MPC) scheme for linear discrete-time systems affected by model uncertainty described by interval matrices. The key feature of the proposed method is a bound on the uncertainty propagation along the prediction horizon which exploits a set-theoretic over-approximation of each term of the uncertain system impulse response. Such an approximation is based on matrix zonotopes and leverages the interval matrix structure of the uncertainty model. Its main advantage is that all the relevant bounds are computed offline, thus making the online computational load independent of the number of uncertain parameters. A variable-horizon MPC formulation is adopted to guarantee recursive feasibility and to ensure robust asymptotic stability of the closed-loop system. Numerical simulations demonstrate that the proposed approach is able to match the feasibility regions of the most effective state-of-the-art methods, while significantly reducing the computational burden, thereby enabling the treatment of nontrivial dimensional systems with multiple uncertain parameters.

eess.SY↗

arXiv2025

A Comparative Study of Human Motion Models in Reinforcement Learning Algorithms for Social Robot Navigation

Social robot navigation is an evolving research field that aims to find efficient strategies to safely navigate dynamic environments populated by humans. A critical challenge in this domain is the accurate modeling of human motion, which directly impacts the design and evaluation of navigation algorithms. This paper presents a comparative study of two popular categories of human motion models used in social robot navigation, namely velocity-based models and force-based models. A system-theoretic representation of both model types is presented, which highlights their common feedback structure, although with different state variables. Several navigation policies based on reinforcement learning are trained and tested in various simulated environments involving pedestrian crowds modeled with these approaches. A comparative study is conducted to assess performance across multiple factors, including human motion model, navigation policy, scenario complexity and crowd density. The results highlight advantages and challenges of different approaches to modeling human behavior, as well as their role during training and testing of learning-based navigation policies. The findings offer valuable insights and guidelines for selecting appropriate human motion models when designing socially-aware robot navigation systems.

cs.HC↗

arXiv2024

Robust Variable-Horizon MPC with Adaptive Terminal Constraints

This paper presents a novel robust variable-horizon model predictive control scheme designed to intercept a target moving along a known trajectory, in finite time. Linear discrete-time systems affected by bounded process disturbances are considered and a tube-based MPC approach is adopted. The main contribution is an adaptive mechanism for choosing the terminal constraint set sequence in the MPC optimization problem. This mechanism is designed to ensure recursive feasibility while promoting minimization of the final distance to the target. Finite-time convergence of the proposed control scheme is proven. In order to evaluate its effectiveness, the designed control law is tested through numerical simulations, including a case study involving orbital rendezvous of a satellite with a tumbling object. The results indicate a significant reduction in conservatism compared to existing state-of-the-art methods using a fixed terminal set sequence.

eess.SY↗

arXiv2023

Learning-based Parameter Optimization for a Class of Orbital Tracking Control Laws

This paper presents a machine learning approach for tuning the parameters of a family of stabilizing controllers for orbital tracking. An augmented random search algorithm is deployed, which aims at minimizing a cost function combining convergence time and fuel consumption. The main feature of the proposed learning strategy is that closed-loop stability is always guaranteed during the exploration of the parameter space, {a property that allows one to streamline the training process by restricting the search domain to well-behaved control policies.} The proposed approach is tested on two case studies: an orbital transfer and a rendezvous and docking mission. It is shown that in both cases the learned control parameters lead to a significant improvement of the considered performance measure.

eess.SY↗

arXiv2021

Variable-Horizon Guidance for Autonomous Rendezvous and Docking to a Tumbling Target

In this paper, the trajectory planning problem for autonomous rendezvous and docking between a controlled spacecraft and a tumbling target is addressed. The use of a variable planning horizon is proposed in order to construct an appropriate maneuver plan, within an optimization-based framework. The involved optimization problem is nonconvex and features nonlinear constraints. The main contribution is to show that such problem can be tackled effectively by solving a finite number of linear programs. To this aim, a specifically conceived horizon search algorithm is employed in combination with a polytopic constraint approximation technique. The resulting guidance scheme provides the ability to identify favourable docking configurations, by exploiting the time-varying nature of the optimization problem endpoint. Simulation results involving the capture of the nonoperational EnviSat spacecraft indicate that the method is able to generate optimal trajectories at a fraction of the computational cost incurred by a state-of-the-art nonlinear solver.

eess.SY↗

arXiv2021

Optimal Low-Thrust Orbit Transfers Made Easy: A Direct Approach

The optimization of low-thrust, multi-revolution orbit transfer trajectories is often regarded as a difficult problem in modern astrodynamics. In this paper, a flexible and computationally efficient approach is presented for the optimization of low-thrust orbit transfers under eclipse constraints. The proposed approach leverages a new dynamic model of the orbital motion and a Lyapunov-based initial guess generation scheme that is very easy to tune. A multi-objective, single-phase formulation of the optimal control problem is devised, which provides a convenient way to trade off fuel consumption and time of flight. A distinctive feature of such a formulation is that it requires no prior information about the structure of the optimal solution. Simulation results for two benchmark orbit transfer scenarios indicate that minimum-time, minimum-fuel and mixed time/fuel-optimal instances of the control problem can be readily solved via direct collocation, while incurring a significantly lower computational demand with respect to existing techniques.

math.OC↗

arXiv2020

Satellite Relative Motion Modeling and Estimation via Nodal Elements

In this paper, a new parametrization of the relative motion between two satellites orbiting a central body is presented. The parametrization is based on the nodal elements: a set of angles describing the orbit geometry with respect to the relative line of nodes. These are combined with classical orbital elements to yield a nonsingular relative motion description. The exact nonlinear, perturbed dynamic model resulting from the new parametrization is established. The proposed parameter set captures the fundamental Keplerian invariants, while retaining a simple relationship with local orbital coordinates. An angles-only relative navigation filter and a collision avoidance scheme are devised by exploiting these features. The navigation solution is validated on a case study of an asteroid flyby mission. It is shown that a collision can be detected early on in the estimation process, which allows one to issue a timely evasive maneuver.

eess.SY↗