arXiv subjects

Francesco Sanfedino

Publications and source records attributed to Francesco Sanfedino.

At least 19 recordsLinked to original sources

arXiv2026

A partitioned fluid-structure interaction solver for two-phase sloshing and flexible spacecraft dynamics

This paper presents a high-fidelity direct numerical simulation (DNS)-fluid-structure interaction (FSI) framework for rigid-liquid-flexible spacecraft dynamics under microgravity conditions. The liquid-gas flow is simulated with the incompressible two-phase solver implemented in DIVA, validated against FLUIDICS experiments conducted aboard the International Space Station (ISS). The flexible appendages are described by a rotating assumed-mode plate model that accounts for geometric stiffening. The fluid and structural operators are coupled through a Dirichlet-Neumann fixed-point algorithm with Aitken relaxation, and a closed-system mechanical energy balance is used as an a posteriori diagnostic to assess the energy imbalance of the partitioned discretisation. The coupling strategy is validated against an experimental free-decay sloshing benchmark, and its numerical consistency is assessed through spatial sensitivity studies of the energy-balance defect. Prescribed-motion, rigid open-loop, and flexible open-loop simulations of a spin-up manoeuvre are compared to isolate the effect of structural feedback on the sloshing response. Reduced liquid models identified from the different simulation architectures exhibit different predictive capabilities when embedded in the same rigid-flexible plant. A controller synthesized from the reduced model identified from the flexible simulation is replayed in the nonlinear CFD-FSI environment. The reduced model reproduces the principal attitude and actuator responses for the considered manoeuvre but does not recover the detailed nonlinear sloshing-load history. The framework provides a high-fidelity environment for analysing coupled spacecraft dynamics, identifying control-oriented models, and assessing reduced-model-based control strategies beyond their linear design representation.

eess.SY↗

arXiv2026

Mixed finite element discretization of intrinsic geometrically exact beams for explicit multibody dynamics

The Reissner-Simo and Hodges models are two equivalent continuous descriptions of finite-strain beam dynamics. The Reissner-Simo formulation uses displacements and rotations, while the Hodges formulation is intrinsic and avoids both variables. Although equivalent in theory, the two approaches behave differently after discretization and offer distinct numerical advantages. In this work, we develop a structure-preserving discretization of the intrinsic formulation. Because the intrinsic equations involve linear differential operators, both kinematic and dynamic boundary conditions can be imposed naturally using mixed finite elements. The resulting formulation also enables multibody systems to be assembled without algebraic constraints, avoiding the stiff differential-algebraic equations typically introduced by kinematic constraints. We demonstrate the approach on different examples, also showing that closed kinematic loops can be modeled without algebraic constraints. The resulting interconnected systems retain a port-Hamiltonian structure,with all nonlinearities confined to the interconnection operator. This structure allows exact energy preservation when combined with implicit midpoint time integration. Furthermore the scheme appear to require less Newton iterations compared to existing energy preserving scheme.

math.NA↗

arXiv2026

Worst-case search in constrained uncertainty space for robust H-infinity synthesis

Standard linear H-infinity/H2 robust control and analysis tools operate on uncertain parameters assumed to vary independently within prescribed bounds. This paper extends their capabilities in the presence of nonlinear constraints coupling these parameters and restricting the parametric space. Based on the theory of upper-C1 functions, it is shown that the sequential quadratic programming (SQP) algorithm can be slightly adapted to address the search for worst-case H-infinity norm, a nonsmooth constrained optimization problem, and the search for worst-case stability under some assumptions. Specifically, we prove that for such upper-C1 functions, any subgradient provides a descent direction and satisfies Karush-Kuhn-Tucker (KKT) conditions at a local minimum, and that any accumulation point generated by SQP is a KKT point. This worst-case search then enables robust controller synthesis using a standard active configurations approach. Through an application to the robust control of a satellite, the proposed approach is shown to provide a scalable framework for robustness analysis and robust controller synthesis.

eess.SY↗

arXiv2026

Modeling of Spinning Plates: Geometric Stiffening and Modal Approximation for GNC Applications

This work presents a modal formulation for flexible rectangular plates, accounting for nonlinear geometric effects arising from in-plane foreshortening and centrifugal stiffening. The model is linearized with respect to elastic deformations while retaining the full dependence on spacecraft angular velocities and accelerations. System matrices depend nonlinearly on spacecraft states through squared and cross-product terms, capturing gyroscopic coupling and dynamic stiffening phenomena for arbitrary rotational maneuvers. Polynomial approximation of mode shapes enables efficient computation while preserving accuracy. Model predictions are validated against finite element simulations and literature data for transient response under prescribed hub motion.

eess.SY↗

arXiv2026

Robust H2/H-infinity control under stochastic requirements: minimizing conditional value-at-risk instead of worst-case performance

Conventional robust H2/H-infinity control minimizes the worst-case performance, often leading to a conservative design driven by very rare parametric configurations. To reduce this conservatism while taking advantage of the stochastic properties of Monte Carlo sampling and its compatibility with parallel computing, we introduce an alternative paradigm that optimizes the controller with respect to a stochastic criterion, namely the conditional value at risk. We present the problem formulation and discuss several open challenges toward a general synthesis framework. The potential of this approach is illustrated on a mechanical system, where it significantly improves overall performance by tolerating some degradation in very rare worst-case scenarios.

eess.SY↗

arXiv2025

Closed-loop control of sloshing fuel in a spinning spacecraft

New-generation space missions require satellites to carry substantial amounts of liquid propellant, making it essential to analyse the coupled control-structure-propellant dynamics in detail. While Computational Fluid Dynamics (CFD) offers high-fidelity predictions, its computational cost limits its use in iterative design. Equivalent Mechanical Models (EMMs) provide a faster alternative, though their predictive performance, especially in closed-loop scenarios, remains largely unexplored. This work presents a comparative analysis of a spacecraft under feedback control, using both CFD and a reduced-order sloshing model. Results show good agreement, validating the simplified model for the manoeuvrer considered. This validation enables efficient sensitivity and stability studies, offering a practical tool for early-stage spacecraft design.

eess.SY↗

arXiv2025

Non-linear dynamics of multibody systems: a system-based approach

This paper presents causal block-diagram models to represent the equations of motion of multi-body systems in a very compact and simple closed form. Both the forward dynamics (from the forces and torques imposed at the various degrees-of-freedom to the motions of these degrees-of-freedom) or the inverse dynamics (from the motions imposed at the degrees-of-freedom to the resulting forces and torques) can be considered and described by a block diagram model. This work extends the Two-Input Two-Output Port (TITOP) theory by including all non-linear terms and uniform or gravitational acceleration fields. Connection among different blocks is possible through the definition of the motion vector. The model of a system composed of a floating base, rigid bodies, revolute and prismatic joints, working under gravity is developed to illustrate the methodology. The proposed model is validated by simulation and cross-checking with a model built using an alternative modeling tool on a scenario where the nonlinear terms are determining.

eess.SY↗

arXiv2025

Efficient Multifidelity Uncertainty Propagation in the Presence of Process Noise

A multifidelity method for the nonlinear propagation of uncertainties in the presence of stochastic accelerations is presented. The proposed algorithm treats the uncertainty propagation (UP) problem by separating the propagation of the initial uncertainty from that of the process noise. The initial uncertainty is propagated using an adaptive Gaussian mixture model (GMM) method which exploits a low-fidelity dynamical model to minimize the computational costs. The effects of process noise are instead computed using the PoLynomial Algebra Stochastic Moments Analysis (PLASMA) technique, which considers a high-fidelity model of the stochastic dynamics. The main focus of the paper is on the latter and on the key idea to approximate the probability density function (pdf) of the solution by a polynomial representation of its moments, which are efficiently computed using differential algebra (DA) techniques. The two estimates are finally combined to restore the accuracy of the low-fidelity surrogate and account for both sources of uncertainty. The proposed approach is applied to the problem of nonlinear orbit UP and its performance compared to that of Monte Carlo (MC) simulations.

math.NA↗

arXiv2024

Dynamics modelling and path optimization for the on-orbit assembly of large flexible structures using a multi-arm robot

This paper presents a comprehensive methodology for modeling an on-orbit assembly mission scenario of a large flexible structure using a multi-arm robot. This methodology accounts for significant changes in inertia and flexibility throughout the mission, addressing the problem of coupling dynamics between the robot and the evolving flexible structure during the assembly phase. A three-legged walking robot is responsible for building the structure, with its primary goal being to walk stably on the flexible structure while picking up, carrying and assembling substructure components. To accurately capture the dynamics and interactions of all subsystems in the assembly scenario, various linear fractional representations (LFR) are developed, considering the changing geometrical configuration of the multi-arm robot, the varying flexible dynamics and uncertainties. A path optimization algorithm is proposed for the multi-arm robot, capable of selecting trajectories based on various cost functions related to different performance and stability metrics. The obtained results demonstrate the effectiveness of the proposed modeling methodology and path optimization algorithm.

eess.SY↗

arXiv2024

European Satellite Benchmark for Control Education and Industrial Training

To overcome the innovation gap of the Guidance, Navigation and Control (GNC) design process between research and industrial practice a benchmark of industrial relevance has been developed and is presented. This initiative is driven as well by the necessity to train future GNC engineers and the GNC space community on a set of identified complex problems. It allows to demonstrate the relevance of state-of-the-art modeling, control and analysis algorithms for future industrial adoption. The modeling philosophy for robust control synthesis, analysis including the control architecture that enables the simulation of the mission, i.e. the acquisition of a high pointing space mission, are provided.

eess.SY↗

arXiv2024

Modeling and analysis of a flexible spinning Euler-Bernoulli beam with centrifugal stiffening and softening: A Linear Fractional Representation approach with application to spinning spacecraft

The derivation of a linear fractional representation (LFR) model for a flexible, spinning and uniform Euler-Bernoulli beam is accomplished using the {Lagrange} technique, fully capturing the centrifugal force generated by the spinning motion and accounting for its dependence on the angular velocity. This six degrees of freedom (DOF) model accounts for the behavior of deflection in the moving body frame, encompassing the bending, traction and torsion dynamics. The model is also designed to be compliant with the Two-Input-Two-Output Port (TITOP) approach, which offers the possibility to model complex multibody mechanical systems, while keeping the uncertain nature of the plant and condensing all the possible mechanical configurations in a single LFR. To evaluate the effectiveness of the model, various scenarios are considered and their results are tabulated. These scenarios include uniform beams with fixed root boundary conditions for different values of tip mass, root offset and angular velocity. The results from the analysis of the uniform cantilever beam are compared with solutions found in the literature and obtained from a commercial finite element software. Ultimately, this paper presents a multibody model for a spinning spacecraft mission scenario. A comprehensive analysis of the system dynamics is conducted, providing insights into the behavior of the spacecraft under spinning conditions.

eess.SY↗

arXiv2023

A Multifidelity Approach to Robust Orbit Determination

This paper presents an algorithm for the preprocessing of observation data aimed at improving the robustness of orbit determination tools. Two objectives are fulfilled: obtain a refined solution to the initial orbit determination problem and detect possible outliers in the processed measurements. The uncertainty on the initial estimate is propagated forward in time and progressively reduced by exploiting sensor data available in said propagation window. Differential algebra techniques and a novel automatic domain splitting algorithm for second-order Taylor expansions are used to efficiently propagate uncertainties over time. A multifidelity approach is employed to minimize the computational effort while retaining the accuracy of the propagated estimate. At each observation epoch, a polynomial map is obtained by projecting the propagated states onto the observable space. Domains that do no overlap with the actual measurement are pruned thus reducing the uncertainty to be further propagated. Measurement outliers are also detected in this step. The refined estimate and retained observations are then used to improve the robustness of batch orbit determination tools. The effectiveness of the algorithm is demonstrated for a geostationary transfer orbit object using synthetic and real observation data from the TAROT network.

math.NA↗

arXiv2023

Graph-Based Convexification of Nested Signal Temporal Logic Constraints for Trajectory Optimization

Optimizing high-level mission planning constraints is traditionally solved in exponential time and requires to split the problem into several ones, making the connections between them a convoluted task. This paper aims at generalizing recent works on the convexification of Signal Temporal Logic (STL) constraints converting them into linear approximations. Graphs are employed to build general linguistic semantics based on key words (such as Not, And, Or, Eventually, Always), and super-operators (e.g., Until, Implies, If and Only If) based on already defined ones. Numerical validations demonstrate the performance of the proposed approach on two practical use-cases of satellite optimal guidance using a modified Successive Convexification scheme.

math.OC↗

arXiv2023

Robust Optimization, Structure/Control co-design, Distributed Optimization, Monolithic Optimization, Robust Control, Parametric Uncertainty

This paper presents an end-to-end framework for robust structure/control optimization of an industrial benchmark. When dealing with space structures, a reduction of the spacecraft mass is paramount to minimize the mission cost and maximize the propellant availability. However, a lighter design comes with a bigger structural flexibility and the resulting impact on control performance. Two optimization architectures (distributed and monolithic) are proposed in order to face this issue. In particular the Linear Fractional Transformation (LFT) framework is exploited to formally set the two optimization problems by including parametric uncertainties. Large sets of uncertainties have to be indeed taken into account in spacecraft control design due to the impossibility to completely validate structural models in micro-gravity conditions with on-ground experiments and to the evolution of spacecraft dynamics during the mission (structure degradation and fuel consumption). In particular the Two-Input Two-Output Port (TITOP) multi-body approach is used to build the flexible dynamics in a minimal LFT form. The two proposed optimization algorithms are detailed and their performance are compared on an ESA future exploration mission, the ENVISION benchmark. With both approaches, an important reduction of the mass is obtained by coping with the mission's control performance/stability requirements and a large set of uncertainties.

eess.SY↗

arXiv2023

Satellite Dynamics Toolbox Library: a tool to model multi-body space systems for robust control synthesis and analysis

The level of maturity reached by robust control theory techniques nowadays contributes to a considerable minimization of the development time of an end-to-end control design of a spacecraft system. The advantage offered by this framework is twofold: all system uncertainties can be included from the very beginning of the design process; the validation and verification (V\&V) process is improved by fast detection of worst-case configurations that could escape to a classical sample-based Monte Carlo simulation campaign. Before proceeding to the control synthesis and analysis, a proper uncertain plant model has to be available in order to push these techniques to their limits of performance. In this spirit, the Satellite Dynamics Toolbox Library (SDTlib) offers many features to model a spacecraft system in a multi-body fashion on SIMULINK. Parametric models can be easily built in a Linear Fractional Transformation (LFT) form by including uncertainties and varying parameters with minimal number of repetitions. Uncertain Linear Time Invariant (LTI) and uncertain Linear Parameter-Varying (LPV) controllers can then be synthesized and analyzed in a straightforward way. The authors present in this article a tutorial, that can be downloaded at https://nextcloud.isae.fr/index.php/s/XDfRfHntejHTmmp, to show how to deal with an end-to-end robust design of a spacecraft mission and to provide to researchers a benchmark to test their own algorithms.

eess.SY↗

arXiv2022

Advances in Fine Line-Of-Sight Control for Large Space Flexible Structures

The increased need in pointing performance for Earth observation and science Space missions together with the use of lighter and flexible structures directly come with the need of a robust pointing performance budget from the very beginning of the mission design. An extensive understanding of the system physics and its uncertainties is then necessary in order to push control design to the limits of performance and constrains the choice of the set of sensors and actuators. A multi-body framework, the TITOP approach, is used to build all the elementary flexible bodies and mechanisms involved in a fine pointing mission. This framework allows the authors to easily include all system dynamics with an analytical dependency on varying and uncertain mechanical parameters in a unique Linear Fractional Transformation model. This approach opens the doors to modern robust control techniques that robustly guarantee the expected fine pointing requirements. A novel control architecture is proposed to reduce the microvibrations induced both by reaction wheel imbalances and Solar Array Drive Mechanism driving signal, by letting them work during the imaging phase. Thanks to a set of accelerometers placed at the isolated base of the payload and in correspondence of the mirrors with the largest size in a Space telescope (typically the primary and secondary ones), it is possible to estimate the line-of-sight error at the payload level by hybridizing them with the low-frequency measurements of the camera. While a classical Fast Steering Mirror in front of the camera can compensate for a large amount of microvibration, an innovative architecture with a set of six Proof-Mass Actuators installed at the payload isolator level can further improve the pointing performance.

eess.SY↗

arXiv2022

Modeling, robust control synthesis and worst-case analysis for an on-orbit servicing mission with large flexible spacecraft

This paper outlines a complete methodology for modeling an on-orbit servicing mission scenario and designing a feedback control system for the attitude dynamics that is guaranteed to robustly meet pointing requirements, despite model uncertainties as well as large inertia and flexibility changes throughout the mission scenario. A model of the uncertain plant was derived, which fully captures the dynamics and couplings between all subsystems as well as the decoupled/coupled configurations of the chaser/target system in a single linear fractional representation (LFR). In addition, a new approach is proposed to model and analyze a closed-loop kinematic chain formed by the chaser and the target spacecraft through the chaser's robotic arm, which uses two local spring-damper systems with uncertain damping and stiffness. This approach offers the possibility to model the dynamical behaviour of a docking mechanism with dynamic stiffness and damping. The controller was designed by taking into account all the interactions between subsystems and uncertainties as well as the time-varying and coupled flexible dynamics. Lastly, the robust stability and worst-case performances were assessed by means of a structured singular value analysis.

eess.SY↗

arXiv2022

Multifidelity Orbit Uncertainty Propagation using Taylor Polynomials

A new multifidelity method is developed for nonlinear orbit uncertainty propagation. This approach guarantees improved computational efficiency and limited accuracy losses compared to fully high-fidelity counterparts. The initial uncertainty is modeled as a weighted sum of Gaussian distributions whose number is adapted online to satisfy the required accuracy. As needed, univariate splitting libraries are used to split the mixture components along the direction of maximum nonlinearity. Differential Algebraic techniques are used to propagate these Gaussian kernels and compute a measure of nonlinearity required for the split decision and direction identification. Taylor expansions of the flow of the dynamics are computed using a low-fidelity dynamical model to maximize computational efficiency and corrected with selected high-fidelity samples to minimize accuracy losses. The effectiveness of the proposed method is demonstrated for different dynamical regimes combining SGP4 theory and numerical propagation as low- and high-fidelity models respectively.

math.NA↗