arXiv subjects

Ionela Prodan

Publications and source records attributed to Ionela Prodan.

At least 19 recordsLinked to original sources

arXiv2026

On ANN-enhanced positive invariance for nonlinear flat systems

The concept of positively invariant (PI) sets has proven effective in the formal verification of stability and safety properties for autonomous systems. However, the characterization of such sets is challenging for nonlinear systems in general, especially in the presence of constraints. In this work, we show that, for a class of feedback linearizable systems, called differentially flat systems, a PI set can be derived by leveraging a neural network approximation of the linearizing mapping. More specifically, for the class of flat systems, there exists a linearizing variable transformation that converts the nonlinear system into linear controllable dynamics, albeit at the cost of distorting the constraint set. We show that by approximating the distorted set using a rectified linear unit neural network, we can derive a PI set inside the admissible domain through its set-theoretic description. This offline characterization enables the synthesis of various efficient online control strategies, with different complexities and performances. Numerical simulations are provided to demonstrate the validity of the proposed framework.

eess.SY↗

arXiv2026

On maximal positive invariant set computation for rank-deficient linear systems

The maximal positively invariant (MPI) set is obtained through a backward reachability procedure involving the iterative computation and intersection of predecessor sets under state and input constraints. However, standard static feedback synthesis may place some of the closed-loop eigenvalues at zero, leading to rank-deficient dynamics. This affects the MPI computation by inducing projections onto lower-dimensional subspaces during intermediate steps. By exploiting the Schur decomposition, we explicitly address this singular case and propose a robust algorithm that computes the MPI set in both polyhedral and constrained-zonotope representations.

eess.SY↗

arXiv2026

Safe Navigation in Cluttered Environments Via Spline-Based Harmonic Potential Fields

We provide a complete motion-planning mechanism that ensures target tracking and obstacle avoidance in a cluttered environment. For a given polyhedral decomposition of the feasible space, we adopt a novel procedure that constrains the agent to move only through a prescribed sequence of cells via a suitable control policy. For each cell, we construct a harmonic potential surface induced by a Dirichlet boundary condition given as a cardinal B-spline curve. A detailed analysis of the curve behavior (periodicity, support) and of the associated control point selection allows us to explicitly compute these harmonic potential surfaces, from which we subsequently derive the corresponding control policy. We illustrate that the resulting construction funnels the agent safely along the chain of cells from the starting point to the target.

eess.SY↗

arXiv2025

Tight displacement-based formation control under bounded disturbances. A set-theoretic perspective

This paper investigates the synthesis of controllers for displacement-based formation control in the presence of bounded disturbances, specifically focusing on uncertainties originating from measurement noise. While the literature frequently addresses such problems using stochastic frameworks, this work proposes a deterministic methodology grounded in set-theoretic concepts. By leveraging the principles of set invariance, we adapt the theory of ultimate boundedness to the specific dynamics of displacement-based formations. This approach provides a rigorous method for analyzing the system's behavior under persistent disturbances. Furthermore, this set-theoretic framework allows for the optimized selection of the proposed control law parameters to guarantee pre-specified performance bounds. The efficacy of the synthesized controller is demonstrated in the challenging application of maintaining tight formations in a multi-obstacles environment.

eess.SY↗

arXiv2025

An ANN-Enhanced Approach for Flatness-Based Constrained Control of Nonlinear Systems

Neural networks have proven practical for a synergistic combination of advanced control techniques. This work analyzes the implementation of rectified linear unit neural networks to achieve constrained control in differentially flat systems. Specifically, the class of flat systems enjoys the benefit of feedback linearizability, i.e., the systems can be linearized by means of a proper variable transformation. However, the price for linearizing the dynamics is that the constraint descriptions are distorted geometrically. Our results show that, by using neural networks, these constraints can be represented as a union of polytopes, enabling the use of mixed-integer programming tools to guarantee constraint satisfaction. We further analyze the integration of the characterization into efficient settings such as control Lyapunov function-based and model predictive control (MPC). Interestingly, this description also allows us to explicitly compute the solution of the MPC problem for the nonlinear system. Several examples are provided to illustrate the effectiveness of our framework.

eess.SY↗

arXiv2025

Reducing real-time complexity via sub-control Lyapunov functions: from theory to experiments

The techniques to design control Lyapunov functions (CLF), along with a proper stabilizing feedback, possibly in the presence of constraints, often provide control laws that are too complex for proper implementation online, especially when an optimization problem is involved. In this work, we show how to acquire an alternative, computationally attractive feedback. Given a nominal CLF and a nominal state feedback, we say that a different positive definite function is a Sub-control Lyapunov function (SCLF) if its Lyapunov derivative is negative-definite and bounded above by the Lyapunov derivative of the nominal function with the nominal control. It turns out that if we consider a family of basis functions, then a SCLF can be computed by linear programming, with an infinite number of constraints. The idea is that although the offline computational burden to achieve the new controller and solve the linear program is considerable, the online computational burden is drastically reduced. Comprehensive simulations and experiments on drone control are conducted to demonstrate the effectiveness of the study.

eess.SY↗

arXiv2024

On the constrained feedback linearization control based on the MILP representation of a ReLU-ANN

In this work, we explore the efficacy of rectified linear unit artificial neural networks in addressing the intricate challenges of convoluted constraints arising from feedback linearization mapping. Our approach involves a comprehensive procedure, encompassing the approximation of constraints through a regression process. Subsequently, we transform these constraints into an equivalent representation of mixed-integer linear constraints, seamlessly integrating them into other stabilizing control architectures. The advantage resides in the compatibility with the linear control design and the constraint satisfaction in the model predictive control setup, even for forecasted trajectories. Simulations are provided to validate the proposed constraint reformulation.

eess.SY↗

arXiv2024

ANN-Based Adaptive NMPC for Uranium Extraction-Scrubbing Operation in Spent Nuclear Fuel Treatment Process

This paper addresses the particularities in optimal control of the uranium extraction-scrubbing operation in the PUREX process. The control problem requires optimally stabilizing the system at a desired solvent saturation level, guaranteeing constraints, disturbance rejection, and adapting to set point variations. A qualified simulator named PAREX was developed by the French Alternative Energies and Atomic Energy Commission (CEA) to simulate liquid-liquid extraction operations in the PUREX process. However, since the mathematical model is complex and is described by a system of nonlinear, stiff, high-dimensional differential-algebraic equations (DAE), applying optimal control methods will lead to a large-scale nonlinear programming problem with a huge computational burden. The solution we propose in this work is to train a neural network to predict the process outputs using the measurement history. This neural network architecture, which employs the long short-term memory (LSTM), linear regression and logistic regression networks, allows reducing the number of state variables, thus reducing the complexity of the optimization problems in the control scheme. Furthermore, nonlinear model predictive control (NMPC) and moving horizon estimation (MHE) problems are developed and solved using the PSO (Particle Swarm Optimization) algorithm. Simulation results show that the proposed adaptive optimal control scheme satisfies the requirements of the control problem and provides promise for experimental testing.

eess.SY↗

arXiv2024

A Stabilizing NMPC Strategy for a Class of Nonholonomic Systems with Drift

In this paper, we present a stabilizing Nonlinear Model Predictive Control (NMPC) scheme tailored for a class of nonholonomic systems with drift, where the acceleration is laterally restrained. Examples include a mobile robot with drifting wheels on a planar surface or a spacecraft maneuvering in a vacuum. The novelty lies in the formulation of the terminal set, reachable from a significant distance from the equilibrium, and the terminal cost, represented as the integration of the stage cost. The proposed approach establishes essential steps for ensuring stability and feasibility guarantees. Simulation results substantiate the viability and effectiveness of the NMPC scheme.

math.OC↗

arXiv2024

PSO-Based Adaptive NMPC for Uranium Extraction-Scrubbing Operation in Spent Nuclear Fuel Treatment Process

This paper addresses the particularities of adaptive optimal control of the uranium extraction-scrubbing operation in the PUREX process. The process dynamics are nonlinear, high dimensional, and have limited online measurements. In addition, analysis and developments are based on a qualified simulation program called PAREX, which was validated with laboratory and industrial data. The control objective is to stabilize the process at a desired solvent saturation level, guaranteeing constraints and handling disturbances. The developed control strategy relies on optimization-based methods for computing control inputs and estimates, i.e., Nonlinear Model Predictive Control (NMPC) and Nonlinear Moving Horizon Estimation (NMHE). The designs of these two associated algorithms are tailored for this process's particular dynamics and are implemented through an enhanced Particle Swarm Optimization (PSO) to guarantee constraint satisfaction. Software-in-the-loop simulations using PAREX show that the designed control scheme effectively satisfies control objectives and guarantees constraints during operation.

eess.SY↗

arXiv2023

Nonlinear Model Predictive Control for Uranium Extraction-Scrubbing Operation in Spent Nuclear Fuel Treatment Process

This paper addresses the particularities of the uranium extraction-scrubbing operation in a spent nuclear fuel treatment process (PUREX-Plutonium Uranium Refining by Extraction) through the use of set-point tracking MPC (Model Predictive Control). The presented controller uses the feed solution flow rate as the manipulated variable to control the saturation of the solvent at the extraction step. In addition, it guarantees not to loose uranium in the raffinates, and ensures equipment limitations during operation time. Simulation results show that the tracking NMPC effectively ensures accurate set point tracking and constraints guarantee. As a result, the system can be driven to its optimal working condition, avoid and recover from constraint violations. The control performance was compared with PID and openloop controllers.

eess.SY↗

arXiv2023

Experimental validation of an explicit flatness-based MPC design for quadcopter position tracking

Due to the nonlinearities and operational constraints typical to quadcopter missions, Model Predictive Control (MPC) encounters the major challenge of high computational power necessary for the online implementation. This problem may prove impractical, especially for a hardware-limited or small-scale setup. By removing the need for online solvers while keeping the constraint satisfaction and optimality, Explicit MPC (ExMPC) stands out as a strong candidate for this application. Yet, the formulation was usually hindered by the two main problems: nonlinearity and dimensionality. In this paper, we propose an ExMPC solution for the quadcopter position stabilization by analyzing its description (dynamics and constraints) in the flat output space. With the former issue, the system is exactly linearized into a concatenation of three double integrators at a price of cumbersome constraints in the new coordinates. For the latter, with a suitable characterization of these constraints, the stabilizing ExMPC can be computed for each double integrator separately. The controller is then validated via simulations and experimental tests. The proposed scheme achieves similar performance and guarantees to the state-of-the-art solution but with notably less computational effort, allowing scalability in a centralized manner

eess.SY↗

arXiv2023

Enhancements on a saturated control for stabilizing a quadcopter: adaptive and robustness analysis in the flat output space

This paper extends our previous study on an explicit saturated control for a quadcopter, which ensures both constraint satisfaction and stability thanks to the linear representation of the system in the flat output space. The novelty here resides in the adaptivity of the controller's gain to enhance the system's performance without exciting its parasitic dynamics and avoid lavishing the input actuation with excessively high gain parameters. Moreover, we provide a thorough robustness analysis of the proposed controller when additive disturbances are affecting the system behavior. Finally, simulation and experimental tests validate the proposed controller.

eess.SY↗

arXiv2023

Passivity-based economic ports for optimal operation of networked DC microgrids

In this paper, we introduce the novel concept of economic ports, allowing modular and distributed optimal operation of networked microgrids. Firstly, we design a novel price-based controller for optimal operation of a single microgrid and show asymptotic stability. Secondly, we define novel physical and economic interconnection ports for the microgrid and study the dissipativity properties of these ports. Lastly, we propose an interconnection scheme for microgrids via the economic ports. This interconnection scheme requires only an exchange of the local prices and allows a globally economic optimal operation of networked microgrids at steady state, while guaranteeing asymptotic stability of the networked microgrids via the passivity properties of economic ports. The methods are demonstrated through various academic examples.

eess.SY↗

arXiv2023

On MPC-based Strategies for Optimal Voltage References in DC Microgrids

Modern power systems are characterized by low inertia and fast voltage dynamics due to the increase of sources connecting via power electronics and the removal of large traditional thermal generators. Power electronics are commonly equipped with fast controllers that are able to reach a desired voltage setpoint within seconds. In this paper, we propose and compare two approaches using Model Predictive Control (MPC) to compute optimal voltage references for the power electronic devices in order to minimize the losses in a DC microgrid: i) a traditional setpoint-tracking MPC which receives a previously computed optimal setpoint; ii) an economic MPC which does not require a priori computed setpoints. We show that the economic MPC outperforms the setpoint-tracking MPC in simulations with the CIGRE benchmark system when multiple load disturbances occur. Some insights and discussions related to the stability of the closed-loop system using its dissipativity properties are highlighted for both approaches.

eess.SY↗

arXiv2023

A flatness-based saturated controller design for a quadcopter with experimental validation

Using the properties of differential flatness, a controllable system, such as a quadcoper model, may be transformed into a linear equivalent system via a coordinate change and an input mapping. This is a straightforward advantage for the quadcopter's controller design and its real-time implementation. However, one significant hindrance is that, while the dynamics become linear in the new coordinates (the flat output space), the input constraints become convoluted. This paper addresses an explicit pre-stabilization based control scheme which handles the input constraints for the quadcopter in the flat output space with a saturation component. The system's stability is shown to hold by Lyapunov-stability arguments. Moreover, the practical viability of the proposed method is validated both in simulation and experiments over a nano-drone platform. Hence, the flatness-based saturated controller not only ensures stability and constraints satisfaction, but also requires very low computational effort, allowing for embedded implementations.

eess.SY↗

arXiv2023

Indoor experimental validation of MPC-based trajectory tracking for a quadcopter via a flat mapping approach

Differential flatness has been used to provide diffeomorphic transformations for non-linear dynamics to become a linear controllable system. This greatly simplifies the control synthesis since in the flat output space, the dynamics appear in canonical form (as chains of integrators). The caveat is that mapping from the original to the flat output space often leads to nonlinear constraints. In particular, the alteration of the feasible input set greatly hinders the subsequent calculations. In this paper, we particularize the problem for the case of the quadcopter dynamics and investigate the deformed input constraint set. An optimization-based procedure will achieve a non-conservative, linear, inner-approximation of the non-convex, flat-output derived, input constraints. Consequently, a receding horizon problem (linear in the flat output space) is easily solved and, via the inverse flat mapping, provides a feasible input to the original, nonlinear, dynamics. Experimental validation and comparisons confirm the benefits of the proposed approach and show promise for other class of flat systems.

eess.SY↗

arXiv2022

Trajectory Optimization and NMPC Tracking for a Fixed Wing UAV in Deep Stall with Perch Landing

This paper presents a novel recovery technique for a fixed-wing UAV (Unmanned Aerial Vehicle) based on constrained optimization: i) we propose a trajectory generation for landing the UAV where it first reduces its altitude by deep stalling, then perches on a recovery net, ii) we design an NMPC (Nonlinear Model Predictive Control) tracking controller with terminal constraints for the optimal generated trajectory under disturbances. Compared to nominal net recovery procedures, this technique greatly reduces the landing time and the final airspeed of the UAV. Simulation results for various wind conditions demonstrate the feasibility of the idea.

math.OC↗