arXiv subjects

Francesco Ferrante

Publications and source records attributed to Francesco Ferrante.

At least 19 recordsLinked to original sources

arXiv2026

Two-Player Zero-Sum Hybrid Games with Set-Valued Dynamics

In this paper, we formulate a two-player zero-sum game under dynamic constraints defined in terms of a hybrid inclusion. The game consists of a min-max problem involving a cost functional that depends on the actions and corresponding (potentially non-unique) solutions, defined as functions of hybrid time and, hence, can flow or jump. We present sufficient conditions given in terms of Hamilton-Jacobi-Isaacs-like equations to establish a bound and to exactly evaluate the worst-case cost under the optimal strategy. Under additional conditions, we show that the proposed optimal state-feedback laws render a set of interest pre-asymptotically stable for the resulting hybrid closed-loop system. The results are illustrated in an application with sporadic jumps and linear quadratic hybrid dynamics.

math.OC↗

arXiv2026

Uniform Exponential Stability Analysis of Impulsive Linear Time-Invariant Systems on Banach and Hilbert Spaces: Non-Coercive and Coercive Stability Conditions

We consider the uniform exponential stability analysis of infinite-dimensional impulsive systems defined on a Banach or Hilbert space, whose flow is governed by a fixed $C_0$-semigroup generator and whose jumps occur at a prescribed time sequence. While the flow and jump maps are themselves time-invariant, the time-triggered impulses render the propagator a genuinely time-varying evolution family, which is the source of the analysis difficulty addressed here. We combine ideas from hybrid systems theory and infinite-dimensional systems to produce operator-based stability conditions, which can be analytically or numerically checked via convex programming. Necessary and sufficient conditions for the uniform exponential stability of impulsive systems on Banach spaces are obtained in the context of a fixed impulse-times sequence but also of arbitrary, constant, minimum, and range dwell-times using both non-coercive and coercive Lyapunov functionals. Some of those results are then adapted to systems on a Hilbert space and quadratic Lyapunov functionals. As an application, linear switched systems are shown to be an exact special case: reformulated as impulsive systems with unit-norm selector jumps, they inherit non-coercive and clock-dependent dwell-time stability conditions on both Banach and Hilbert spaces. Theoretical and numerical examples are given for illustration, notably on the sampled-data control of time-delay systems.

math.OC↗

arXiv2025

Robust Aperiodic Sampled-Data Washout Control for Uncertain Affine Systems

In this paper, we address the problem of designing an aperiodic sampled-data controller stabilizing the zero-input equilibrium of an uncertain affine plant. The closed-loop system is modeled as a hybrid dynamical system incorporating a timer triggering the occurrence of the sampling events and two memory states storing the value of the controller state and controller output at each sampling time. Necessary and sufficient conditions on the controller parameters are given to establish the sought property. A constructive controller design algorithm based on sum-of-squares programming is given. A numerical example illustrates the effectiveness of the approach.

eess.SY↗

arXiv2024

Almost Global Trajectory Tracking for Quadrotors Using Thrust Direction Control on $\mathcal{S}^2$

Many of the existing works on quadrotor control address the trajectory tracking problem by employing a cascade design in which the translational and rotational dynamics are stabilized by two separate controllers. The stability of the cascade is often proved by employing trajectory-based arguments, most notably, integral input-to-state stability. In this paper, we follow a different route and present a control law ensuring that a composite function constructed from the translational and rotational tracking errors is a Lyapunov function for the closed-loop cascade. In particular, starting from a generic control law for the double integrator, we develop a suitable attitude control extension, by leveraging a backstepping-like procedure. Using this construction, we provide an almost global stability certificate. The proposed design employs the unit sphere $\mathcal{S}^2$ to describe the rotational degrees of freedom required for position control. This enables a simpler controller tuning and an improved tracking performance with respect to previous global solutions. The new design is demonstrated via numerical simulations and on real-world experiments.

eess.SY↗

arXiv2024

Parameter identification for an uncertain reaction-diffusion equation via setpoint regulation

The problem of estimating the reaction coefficient of a system governed by a reaction-diffusion partial differential equation is tackled. An estimator relying on boundary measurements only is proposed. The estimator is based upon a setpoint regulation strategy and leads to an asymptotically converging estimate of the unknown reaction coefficient. The proposed estimator is combined with a state observer and shown to provide an asymptotic estimate of the actual system state. A numerical example supports and illustrates the theoretical results.

math.OC↗

arXiv2023

Exponential stabilization of infinite-dimensional systems by finite-dimensional controllers

This paper studies the feedback stabilization of abstract Cauchy problems with unbounded output operators by finite-dimensional controllers. Both necessary conditions and sufficient conditions for feedback stabilizability are presented. The proof of closed-loop stability is based on a novel input-output gain introduced in this paper. For systems satisfying a property we call quasi-finite, an equivalent characterization of feedback stabilizability is obtained. Quasi-finiteness is verified for classes of parabolic and hyperbolic equations.

math.OC↗

arXiv2023

Sampled-data control design for systems with quantized actuators

This paper deals with the problem of designing a sampled-data state feedback control law for continuous-time linear control systems subject to uniform input quantization. The sampled-data state feedback is designed to ensure the uniform global asymptotic stability (UGAS) of an attractor surrounding the origin. The closed-loop system is rewritten as a hybrid dynamical system. To do this, an auxiliary clock variable triggering the occurrence of sampling events is introduced. A numerically tractable algorithm with feasibility guarantees, based on concave-convex decomposition, is then proposed allowing to minimize the size of the attractor. Theoretical results are illustrated in a numerical example.

eess.SY↗

arXiv2023

Output Regulation of Stochastic Sampled-Data Systems with Post-processing Internal Model

This paper deals with the output regulation problem (ORP) of a linear time-invariant (LTI) system in the presence of sporadically sampled measurement streams with the inter-sampling intervals following a stochastic process. Under such sporadically available measurement streams, a regulator consisting of a hybrid observer, continuous-time post-processing internal model, and stabilizer are proposed, which resets with the arrival of new measurements. The resulting system exhibits a deterministic behavior except for the jumps that occur at random sampling times and therefore the overall closed-loop system can be categorized as a piecewise deterministic Markov process (PDMP). In existing works on ORPs with aperiodic sampling, the requirement of boundedness on inter-sampling intervals precludes extending the solution to the random sampling intervals with possibly unbounded support. Using the Lyapunov-like theorem for the stability analysis of stochastic systems, we offer sufficient conditions to ensure that the overall closed-loop system is mean exponentially stable (MES) and the objectives of the ORP are achieved under stochastic sampling of measurement streams. The resulting LMI conditions lead to a numerically tractable design of the hybrid regulator. Finally, with the help of an illustrative example, the effectiveness of the theoretical results are verified.

eess.SY↗

arXiv2022

Unknown Input Observer Design for a class of Semilinear Hyperbolic Systems with Dynamic Boundary Conditions

The problem of unknown input observer design is considered for coupled PDE/ODE systems subject to incremental sector bounded nonlinearities and unknown boundary inputs. Assuming available measurements at the boundary of the distributed domain, the synthesis of the unknown input observer is based on Lyapunov methods and convex optimization. Numerical simulations support and confirm the theoretical findings, illustrating the robust estimation performances of the proposed nonlinear unknown input observer.

math.OC↗

arXiv2022

On DoS Resiliency Analysis of Networked Control Systems: Trade-Off Between Jamming Actions and Network Delays

This letter deals with the problem of quantifying resiliency of Networked Control Systems (NCSs) to Denial-of-Service (DoS) attacks and variable network delays. Internal exponential stability and $\mathcal{L}_2$ external stability are studied. The closed-loop system is augmented with an auxiliary timer variable and analyzed in a hybrid system framework. Lyapunov-like conditions are given to ensure $0$-input global exponential stability and $\mathcal{L}_2$ external stability. A computationally affordable algorithm based on linear matrix inequalities is devised to provide trade-off curves between maximum length of DoS attacks and largest network delays. Finally, the effectiveness of the proposed approach is shown in a numerical example.

eess.SY↗

arXiv2022

Control Design under Actuator Saturation and Multi-Rate Sampling

The problem of designing a stabilizing feedback controller in the presence of saturating actuators and multi-rate (asynchronous) aperiodic state measurements is studied. Specifically, we consider a scenario in which measurements of the plant states are collected at the controller end in a sporadic and asynchronous fashion. A hybrid controller is used to perform a fusion of measurements sampled at different times. In between sampling events, the controller behaves as a copy of the plant and provides a feedback control signal based on the reconstruction of the plant state. The presence of saturation at the plant input limits the value of the components of this signal to a bounded range. When a new measurement is available, the controller state undergoes an instantaneous jump. The resulting system is augmented with a set of timers triggering the arrival of new measurements and analyzed in a hybrid systems framework. Relying on Lyapunov tools for hybrid systems and techniques for control design under saturation, we propose sufficient conditions in the form of matrix inequalities to ensure regional exponential stability of a closed-set containing the origin of the plant, i.e., exponential stability with a guaranteed region of attraction. Specifically, explicit estimates of the basin of attraction are provided in the form of ellipsoidal sets. Leveraging those conditions, a design procedure based on semidefinite programming is proposed to design a stabilizing controller with maximized size of the basin attraction. The effectiveness of the proposed methodology is shown in an example.

eess.SY↗

arXiv2022

Robust Output Feedback Control Design in the Presence of Sporadic Measurements

Output feedback control design for linear time-invariant systems in the presence of sporadic measurements and exogenous perturbations is addressed. To cope with the sporadic availability of measurements of the output, a hybrid dynamic output feedback controller equipped with a holding device whose state is reset when a new measurement is available is designed. The closed-loop system, resulting from the interconnection of the controller and the plant, is augmented with a timer variable triggering the arrival of new measurements and its properties are analyzed using hybrid system tools. Building upon Lyapunov theory for hybrid systems, sufficient conditions for internal and L2 input-to-output stability are proposed. An LMI-based design methodology for the co-design of the gains of the controller and the parameters of the holding device is presented. The effectiveness of the proposed LMI-based design approach is showcased in a numerical example.

eess.SY↗

arXiv2022

Velocity Stabilization of a Wave Equation with a Nonlinear Dynamic Boundary Condition

This paper deals with a one-dimensional wave equation with a nonlinear dynamic boundary condition and a Neumann-type boundary control acting on the other extremity. We consider a class of nonlinear stabilizing feedbacks that only depend on the velocity at the controlled extremity. The uncontrolled boundary is subject to a nonlinear first-order term, which may represent nonlinear boundary anti-damping. Initial data is taken in the optimal energy space associated with the problem. Exponential decay of the mechanical energy is investigated in different cases. Stability and attractivity of suitable invariant sets are established.

math.AP↗

arXiv2022

Stabilization of the wave equation through nonlinear Dirichlet actuation

In this paper, we consider the problem of nonlinear (in particular, saturated) stabilization of the high-dimensional wave equation with Dirichlet boundary conditions. The wave dynamics are subject to a dissipative nonlinear velocity feedback and generate a strongly continuous semigroup of contractions on the optimal energy space $L^2(Ω) \times H^{-1}(Ω)$. It is first proved that any solution to the closed-loop equations converges to zero in the aforementioned topology. Secondly, under the condition that the feedback nonlinearity has linear growth around zero, polynomial energy decay rates are established for solutions with smooth initial data. This constitutes new Dirichlet counterparts to well-known results pertaining to nonlinear stabilization in $H^1(Ω)\times L^2(Ω)$ of the wave equation with Neumann boundary conditions.

math.AP↗

arXiv2022

Stability Analysis of a Class of Discontinuous Discrete-Time Systems

The stability analysis of a class of discontinuous discrete-time systems is studied in this paper. The system under study is modeled as a feedback interconnection of a linear system and a set-valued nonlinearity. An equivalent representation, based on a constrained optimization problem, is proposed to represent the set-valued nonlinearity via a collection of linear and quadratic constraints. Relying on this description and on the use of a generalized quadratic set-valued Lyapunov functions, sufficient conditions in the form of linear matrix inequalities for global exponential stability are obtained. Numerical examples corroborate the theoretical findings.

eess.SY↗

arXiv2022

Anti-windup-like Compensator Synthesis for Discrete-Time Quantized Control Systems

This paper addresses the problem of designing an anti-windup like compensator for discrete-time linear control systems with quantized input. The proposed compensator provides a correction signal proportional to the quantization error that fed to the controller. The compensator is designed to ensure that solutions to the closed-loop systems converge in finite time into a compact set containing the origin that can be tuned by the designer. A numerically tractable algorithm with feasibility guarantees is provided for the design of the compensator. The proposed results are illustrated on an academic example and an open-loop unstable aircraft system.

math.OC↗

arXiv2022

Design of saturated boundary control for hyperbolic systems with in-domain disturbances

Boundary feedback control design is studied for 1D hyperbolic systems with an in-domain disturbance and a boundary feedback controller under the effect of actuator saturation. Nonlinear semigroup theory is used to prove well-posedness of mild solution pairs to the closed-loop system. Sufficient conditions in the form of dissipation functional inequalities are derived to establish global stability for the closed-loop system and $\mathcal{L}^2$-stability in presence of in-domain disturbances. The control design problem is then recast as an optimization problem over linear matrix inequality constraints. Numerical results are shown to validate the effectiveness of the proposed control design.

math.OC↗

arXiv2022

Output Regulation of Linear Aperiodic Sampled-Data Systems

This paper deals with the output regulation problem of a linear time-invariant system in the presence of sporadically available measurement streams. A regulator with a continuous intersample injection term is proposed, where the intersample injection is provided by a linear dynamical system and the state of which is reset with the arrival of every new measurement updates. The resulting system is augmented with a timer triggering an instantaneous update of the new measurement and the overall system is then analyzed in a hybrid system framework. With the Lyapunov based stability analysis, we offer sufficient conditions to ensure the objectives of the output regulation problem are achieved under intermittency of the measurement streams. Then, from the solution to linear matrix inequalities, a numerically tractable regulator design procedure is presented. Finally, with the help of an illustrative example, the effectiveness of the theoretical results are validated.

eess.SY↗