arXiv Science⌕ Search

arXiv subjects

Yacine Chitour

Publications and source records attributed to Yacine Chitour.

At least 19 recordsLinked to original sources
arXiv2026

Finite-Time Stabilization of Linear Systems via Optimal Control

This paper presents an optimal control framework for achieving finite-time stabilization of linear systems. By introducing a suitably constructed integral cost function, we derive a new class of nonlinear controllers that guarantee finite-time stability through the application of the optimality principle. The relationship between the resulting optimal control law and the associated value function is analyzed, leading to the derivation of a Hamilton-Jacobi-Bellman (HJB) equation and the study of its regularity properties. Numerical simulations validate the theoretical findings and illustrate the effectiveness of the proposed method. Furthermore, a discussion on estimating the convergence time is provided.

math.OC↗
arXiv2026

Strong Stability of Linear Functional Equations with Distributed Delays

This paper considers linear functional equations on $\mathbb R^d$ with distributed delays defined by matrix-valued measures of bounded variation. More precisely, we are interested in providing conditions to ensure that the exponential stability of these systems is preserved under small changes of the parameters which define them. In the special case of difference equations, it is known that exponential stability is preserved under small perturbations of the matrices defining the system, but not of the delays, and an additional condition for preservation of exponential stability under perturbation of the delays is given by the Hale--Silkowski criterion (HSC). In this paper, we extend the treatment of these issues to more general systems. For that purpose, we first put forward an appropriate definition of perturbation on the delays and then propose a conjecture in the spirit of (HSC). We prove several partial results related to that conjecture.

math.DS↗
arXiv2026

On Robust Fixed-Time Stabilization of the Cauchy Problem in Hilbert Spaces

This paper presents finite-time and fixed-time stabilization results for inhomogeneous abstract evolution problems, extending existing theories. We prove well-posedness for strong and weak solutions, and estimate upper bounds for settling times for both homogeneous and inhomogeneous systems. We generalize finite-dimensional results to infinite-dimensional systems and demonstrate partial state stabilization with actuation on a subset of the domain. The interest of these results are illustrated through an application of a heat equation with memory term.

eess.SY↗
arXiv2026

A Berger-Wang formula for impulsive switched systems

This paper addresses a class of impulsive systems defined by a mix of continuous-time and discrete-time switched linear dynamics. We first analyze a related class of weighted discrete-time switched systems for which we establish a Berger--Wang-type result. An analogous result is then derived for impulsive systems and subsequently used to characterize their exponential stability through a spectral approach, thereby extending existing results in switched-systems theory.

math.OC↗
arXiv2026

Stability criteria for singularly perturbed impulsive linear switched systems

We study a class of singularly perturbed impulsive linear switched systems exhibiting switching between slow and fast dynamics. To analyze their behavior, we construct auxiliary switched systems evolving in a single time scale. We prove that the stability or instability of these auxiliary systems directly determines that of the original system in the regime of small singular perturbation parameters.

math.OC↗
arXiv2025

Hadamard-Lévy theorems for maps taking values in a finite dimensional space

We propose global surjectivity theorems of differentiable maps based on second order conditions. Using the homotopy continuation method, we demonstrate that, for a $C^2$ differentiable map from a Hilbert space to a finite-dimensional Euclidean space, when its second-order differential has uniform upper and lower bounds, it has a global path-lifting property in the presence of singularities. This is then applied to the nonlinear motion planning problem, establishing in some cases the well-posedness of the continuation method despite critical values of the endpoint maps.

math.CA↗
arXiv2025

Interval Estimation for Bounded Jacobian Nonlinear Systems by Zonotope Analysis

This paper introduces an interval state estimation method for discrete-time bounded Jacobian nonlinear systems allying Luenberger-like observer with zonotope set computation. First, a robust observer is designed to obtain bounded-error and point-estimation with a peak-to-peak performance. This allows one to cope with the unknown but bounded process disturbance and measurement noise. Then, based on the stable dynamics of the observation error, tight interval estimation is obtained by applying zonotope set computation and analysis. To sum up, a comprehensive interval estimation algorithm is proposed by integrating the robust (in the sense of peak-to-peak performance index) point-valued estimate with the feasible zonotope set of the estimation error. Numerical simulation tests are conducted to assess the effectiveness of the proposed approach.

math.DS↗
arXiv2025

Hautus--Yamamoto criteria for approximate and exact controllability of linear difference delay equations

The paper deals with the controllability of finite-dimensional linear difference delay equations, i.e., dynamics for which the state at a given time $t$ is obtained as a linear combination of the control evaluated at time $t$ and of the state evaluated at finitely many previous instants of time $t-Λ_1,\dots,t-Λ_N$. Based on the realization theory developed by Y.Yamamoto for general infinite-dimensional dynamical systems, we obtain necessary and sufficient conditions, expressed in the frequency domain, for the approximate controllability in finite time in $L^q$ spaces, $q \in [1, +\infty)$. We also provide a necessary condition for $L^1$ exact controllability, which can be seen as the closure of the $L^1$ approximate controllability criterion. Furthermore, we provide an explicit upper bound on the minimal times of approximate and exact controllability, given by $d\max\{Λ_1,\dots,Λ_N\}$, where $d$ is the dimension of the state space.

math.OC↗
arXiv2025

Strong stability of linear delay-difference equations

This paper considers linear delay-difference equations, that is, equations relating the state at a given time with its past values over a given bounded interval. After providing a well-posedness result and recalling Hale--Silkowski Criterion for strong stability in the case of equations with finitely many pointwise delays, we propose a generalization of the notion of strong stability to the more general class of linear delay-difference equations with an integral term defined by a matrix-valued measure. Our main result is an extension of Melvin Criterion for the strong stability of scalar equations, showing that local and global strong stability are equivalent, and that they can be characterized in terms of the total variation of the function defining the equation. We also provide numerical illustrations of our main result.

math.DS↗
arXiv2025

One dimensional wave equation with in-domain localized damping and Wentzell boundary conditions

This paper is devoted to the exponential stability for one-dimensional linear wave equations with in-domain localized damping and several types of Wentzell (or dynamic) boundary conditions. In a quite general boundary setting, we establish the exponential decay of solutions towards the corresponding steady states. The results are obtained either by the multiplier method or spectral analysis in an $L^2$-functional framework, and then with input-to-state technics in an $L^p$-functional framework for $p \in (2,\infty)$.

math.AP↗
arXiv2025

Not all sub-Riemannian minimizing geodesics are smooth

A longstanding open question in sub-Riemannian geometry is the following: are sub-Riemannian length minimizers smooth? We give a negative answer to this question, exhibiting an example of a $C^2$ but not $C^3$ length-minimizer of a real-analytic (even polynomial) sub-Riemannian structure.

math.DG↗
arXiv2024

Reproducibility via neural fields of visual illusions induced by localized stimuli

This paper focuses on the modeling of experiments conducted by Billock and Tsou [V. A. Billock and B. H. Tsou, Proc. Natl. Acad. Sci. USA, 104 (2007), pp. 8490--8495] using an Amari-type neural field that models the average membrane potential of neuronal activity in the primary visual cortex (V1). The study specifically focuses on a regular funnel pattern localized in the fovea or the peripheral visual field. It aims to comprehend and model the visual phenomena induced by this pattern, emphasizing their nonlinear nature. The research involves designing sensory inputs that mimic the visual stimuli from Billock and Tsou's experiments. The cortical outputs induced by these sensory inputs are then theoretically and numerically studied to assess their ability to model the experimentally observed visual effects at the V1 level. A crucial aspect of this study is the exploration of the effects induced by the nonlinear nature of neural responses. By highlighting the significance of excitatory and inhibitory neurons in the emergence of these visual phenomena, the research suggests that an interplay of both types of neuronal activities plays a crucial role in visual processes, challenging the assumption that the latter is primarily driven by excitatory activities alone.

q-bio.NC↗
arXiv2024

A mathematical model of the visual MacKay effect

This paper investigates the intricate connection between visual perception and the mathematical modeling of neural activity in the primary visual cortex (V1). The focus is on modeling the visual MacKay effect [D. M. MacKay, Nature, 180 (1957), pp. 849--850]. While bifurcation theory has been a prominent mathematical approach for addressing issues in neuroscience, especially in describing spontaneous pattern formations in V1 due to parameter changes, it faces challenges in scenarios with localized sensory inputs. This is evident, for instance, in MacKay's psychophysical experiments, where the redundancy of visual stimuli information results in irregular shapes, making bifurcation theory and multiscale analysis less effective. To address this, we follow a mathematical viewpoint based on the input-output controllability of an Amari-type neural fields model. In this framework, we consider sensory input as a control function, a cortical representation via the retino-cortical map of the visual stimulus that captures its distinct features. This includes highly localized information in the center of MacKay's funnel pattern "MacKay rays". From a control theory point of view, the Amari-type equation's exact controllability property is discussed for linear and nonlinear response functions. For the visual MacKay effect modeling, we adjust the parameter representing intra-neuron connectivity to ensure that cortical activity exponentially stabilizes to the stationary state in the absence of sensory input. Then, we perform quantitative and qualitative studies to demonstrate that they capture all the essential features of the induced after-image reported by MacKay.

math.OC↗
arXiv2024

On universal classes of Lyapunov functions for linear switched systems

In this paper we discuss the notion of universality for classes of candidate common Lyapunov functions of linear switched systems. On the one hand, we prove that a family of absolutely homogeneous functions is universal as soon as it approximates arbitrarily well every convex absolutely homogeneous function for the $C^0$ topology of the unit sphere. On the other hand, we prove several obstructions for a class to be universal, showing, in particular, that families of piecewise-polynomial continuous functions whose construction involves at most $l$ polynomials of degree at most $m$ (for given positive integers $l,m$) cannot be universal.

math.OC↗
arXiv2024

$L^p$ asymptotic stability of 1D damped wave equation with nonlinear distributed damping

In this paper, we study the one-dimensional wave equation with localized nonlinear damping and Dirichlet boundary conditions, in the $L^p$ framework, with $p\in [1,\infty)$. We start by addressing the well-posedness problem. We prove the existence and the uniqueness of weak and strong solutions for $p\in [1,\infty)$, under suitable assumptions on the damping function. Then we study the asymptotic behaviour of the associated energy when $p \in (1,\infty)$, and we provide decay estimates that appear to be almost optimal as compared to a similar problem with boundary damping. Our study is motivated by earlier works, in particular, \cite{Haraux2009, Chitour-Marx-Prieur-2020}. Our proofs combine arguments from \cite{KMJC2022} (wave equation in the $L^p$ framework with a linear damping) with a technique of weighted energy estimates (\cite{PM-COCV}) and new integral inequalities when $p>2$, and with convex analysis tools when $p\in (1,2)$.

math.AP↗
arXiv2024

Approximate and exact controllability criteria for linear one-dimensional hyperbolic systems

This paper deals with the controllability of linear one-dimensional hyperbolic systems. Reformulating the problem in terms of linear difference equations and making use of infinite-dimensional realization theory, we obtain both necessary and sufficient conditions for approximate and exact controllability, expressed in the frequency domain. The results are applied to flows in networks.

math.OC↗
arXiv2024

Intrinsic Derivation of the Equations of a Snake Robot based on a Cosserat Beam Model

In this paper, we present an intrinsic derivation of the equations ruling the dynamics motion of a snake robot dynamics. Based on a Cosserat beam model, we first show that the extended configuration space is a Lie group. Endowing it with an appropriate left invariant metric, the corresponding Euler-Poincaré equations can be reduced to a system of hyperbolic PDEs in the Lie algebra $\mathfrak{se}(3)$. We also provide the constitutive law describing the actuation in this system of PDEs.

math.OC↗