Towards safe and optimal flight: Viability Kernel MPC for Fully Actuated Multirotor
Authors: Massimiliano Bertoni, Alberto Piccina, Gianni Lunardi, Elias Fontanari, Andrea Del Prete, Angelo Cenedese, Giulia Michieletto
Organizations: Department of Management and Engineering, University of Padova, Vicenza, Italy · Industrial Engineering Department, University of Trento, Trento, Italy · Department of Information Engineering, University of Padova, Padova, Italy · Department of Industrial Engineering, University of Padova, Padova, Italy
Industrial aerial robotics demands safety guarantees for navigation in unstructured environments while optimizing performance and computational efficiency. This paper presents a method for generating safe pose trajectories for fully actuated multirotors within a Model Predictive Control (MPC) framework, leveraging both viability theory and data-driven methods. Obstacle avoidance is enforced through dynamically computed axis-aligned bounding boxes, providing formal safety guarantees without exhaustive offline reachability analysis. Numerical simulations on a fully actuated tilted hexarotor validate the approach, demonstrating successful navigation in cluttered environments with real-time computational performance.
Figures & tables
Fig. 1 : Planar representative example of AABB (red area) in presence of obstacles (grey boxes).
Fig. 2 : Viability kernel for the α -Ted6R along only y -axis. Background color represents the outcomes of NN with red area identifying the viable set, black dots are the solution of the OCP ( 5 )
center [m]
dimensions [m]
obstacle
co,x
co,y
co,z
ℓo,x
ℓo,y
ℓo,z
1
2.0
0.0
0.5
0.5
2.0
2.0
2
−1.5
0.0
1.0
0.5
3.0
3.0
3
0.0
0.0
3.0
2.0
2.0
0.5
TABLE I : Obstacle parameters.
m
[kg]
mass
3.500
J
[kgm2]
inertia matrix
diag(0.155,0.147,0.251)
l
[m]
arm length
0.385
rp
[m]
propeller radius
0.172
r
[m]
safe radius
0.557
uˉ
[Hz2]
max squared spinning rate
1082
TABLE II : UAV platform parameters.
Fig. 3 : Pose trajectory tracking performance of the α -Ted6R using the terminal-constraint MPC with safe abort. 3Dview: red boxes indicate the time-varying AABBs, while gray blocks represent obstacles.
Fig. 4 : Pose trajectory tracking performance of the α -Ted6R using the terminal-constraint MPC with safe abort. States’ evolution (blue) over the reference (red).
Safe motion planning develops methods for robots and vehicles to reach goals while avoiding collisions and respecting dynamic and uncertainty constraints.
Fully-actuated multirotor aerial vehicles must not only track nominal wrenches but retain the "readiness" to modulate them rapidly under disturbances. Classical effort-minimizing allocators ignore this dynamic limit, whereas maximizing readiness leads to topologically disconnected optimal sheets demanding physically impossible actuator rates. Enforcing a readiness safety floor on fixed-geometry symmetric platforms further encounters a zero-sum degeneracy: motor-speed redistribution cannot improve authority without conceding wrench tracking. This paper uses active morphology to break the degeneracy, treating servo tilt as a geometric resource supplying authority-recovery directions unavailable to static rotors. We construct a configuration-dependent, motor-only readiness certificate - the log-volume of the reachable wrench-rate set - that explicitly excludes servo capacity, preventing a "ghost capacity fallacy" in which the certificate would falsely credit slow mechanical kinematic limits instead of collapsing accurately at motor saturation. The certificate is enforced as a Control Barrier Function (CBF) within a Unified Physical-Command Quadratic Program acting on motor torques and servo setpoints. Closed-loop simulations of an articulated octorotor under severe gust disturbances show classical allocators diverging and uncertified articulated allocators violating the safety floor, while the proposed CBF filter bounds the system state and preserves vehicle authority.
Giuseppe Silano, Martin Saska
Department of Power Generation Technologies and Materials, Ricerca sul Sistema Energetico (RSE) S.p.A., 20134 Milan, Italy · Department of Cybernetics, Czech Technical University in Prague, 12135 Prague, Czech Republic
This paper presents a new robust integrated planning and control (IPC) strategy for multirotor uncrewed aerial vehicles. We propose a nonlinear model predictive control (NMPC) formulation that embeds control barrier functions (CBFs) as exponential penalties, improving feasibility while ensuring smooth obstacle avoidance under tight input bounds. The penalty weights provide a practical tuning knob to trade off tracking accuracy against avoidance aggressiveness. We enhance the system robustness by employing a high-gain disturbance observer (HGDO) to estimate and compensate for external disturbances. We also incorporate a Kalman filter (KF) for computationally efficient, real-time prediction of obstacle motion, enabling avoidance of moving obstacles. Comparative studies against both conventional NMPC and NMPC with hard CBF constraints, validated in Gazebo and hardware experiments, demonstrate superior feasibility, safety, and robustness. To the best of our knowledge, this is the first hardware-validated NMPC-CBF IPC framework, offering a practical step toward safe quadrotor deployment in dynamic environments.
Zeinab Shayan, Mohammadreza Izadi, Reza Faieghi
Autonomous Vehicles Laboratory, Department of Aerospace Engineering, Toronto Metropolitan University, Toronto, Canada.
Model Predictive Control (MPC) is widely adopted for agile multirotor vehicles, yet achieving both stability and obstacle-free flight is particularly challenging when a payload is suspended beneath the airframe. This paper introduces a Safety Enhanced Passivity-Based Nonlinear MPC (SEP-NMPC) that provides formal guarantees of stability and safety for a quadrotor transporting a slung payload through cluttered environments. Stability is enforced by embedding a strict passivity inequality, which is derived from a shaped energy storage function with adaptive damping, directly into the NMPC. This formulation dissipates excess energy and ensures asymptotic convergence despite payload swings. Safety is guaranteed through high-order control barrier functions (HOCBFs) that render user-defined clearance sets forward-invariant, obliging both the quadrotor and the swinging payload to maintain separation while interacting with static and dynamic obstacles. The optimization remains quadratic-program compatible and is solved online at each sampling time without gain scheduling or heuristic switching. Extensive simulations and real-world experiments confirm stable payload transport, collision-free trajectories, and real-time feasibility across all tested scenarios. The SEP-NMPC framework therefore unifies passivity-based closed-loop stability with HOCBF-based safety guarantees for UAV slung-payload transportation.