Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.31225

Exact controllability and rapid stabilization of linear difference delay equations and one-dimensional hyperbolic systems

Yacine Chitour·Sébastien Fueyo·Pierre Lissy·Guilherme Mazanti
View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper addresses exact controllability and rapid stabilization issues for linear difference delay systems with finitely many pointwise delays. We first establish a criterion for exact controllability in $L^r$, $r \in [1, +\infty)$, characterized by a necessary and sufficient Hautus-type frequency-domain condition. The sufficiency of this condition in $L^r$ was already known [https://hal.science/hal-04830757/], whereas its necessity had previously been established only in $L^1$ [arXiv:2210.13590]. We answer [arXiv:2210.13590, Conjecture 3.8] by proving that this condition is also necessary for $r \in (1, +\infty)$. The analysis is based on rewriting the system as an evolution equation in a suitable Banach space, which allows one to apply duality arguments in the spirit of [https://doi.org/10.1137/S036301299119795X]. Building on this controllability analysis and the abstract stabilization framework developed in [https://doi.org/10.1137/S0363012996301609, arXiv:1301.5744], we prove that our exact controllability criterion in $L^r$ is also a sufficient condition for rapid stabilization in $L^2$, i.e., that the system of interest can be stabilized by a family of state feedback control laws ensuring that the closed-loop system is exponentially stable in $L^2$ with an arbitrarily large decay rate. As an application, we extend our results to linear one-dimensional hyperbolic partial differential equations, which can be reduced to linear difference delay systems via the method of characteristics, obtaining also a necessary and sufficient frequency-domain criterion for exact controllability in $L^r$, $r\in [1, +\infty)$, which, as before, is a sufficient condition for rapid stabilization in $L^2$.

Explore related subjects

math.OCmath.AP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yacine Chitour, Sébastien Fueyo, Pierre Lissy, Guilherme Mazanti. 2026-10-22. Exact controllability and rapid stabilization of linear difference delay equations and one-dimensional hyperbolic systems. https://arxiv.org/abs/2610.31225

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

ItsDEAL: Inexact two-level smoothing descent algorithms for weakly convex optimization

This paper addresses nonconvex optimization problems via a two-level smoothing framework, where the high-order Moreau envelope (HOME) provides a smooth approximation of weakly convex cost functions. We study the differentiability and weak smoothness of HOME. Building on the inexact two-level smoothing optimization framework (ItsOPT), we propose an inexact two-level smoothing descent algorithm (ItsDEAL) by: (i) approximately solving the proximal subproblem to obtain an inexact first-order oracle for HOME at the lower level; and (ii) applying an inexact first-order method at the upper level. We derive computable sufficient conditions for lower-level inexactness, enabling approximate high-order proximal-points to be certified without access to the exact proximal-point or HOME value. In particular, we study a parameter-free Hölderian inexact gradient method and an inexact descent method with Armijo line search, both exploiting the weak smoothness of HOME. We establish subsequential convergence under mild inexactness assumptions, and global and linear convergence under the Kurdyka--Łojasiewicz (KL) property. Preliminary experiments on ridge-regularized hinge-loss classification, a high-dimensional MCP-regularized classification model, and robust matrix completion illustrate the numerical behavior of the proposed methods and the role of the HOME order.

math.OC↗
arXiv2026

OFF Newton-type Methods for Unconstrained Optimization with Inexact Derivatives

We study objective-function-free (OFF) Newton-type methods for smooth unconstrained optimization with inexact gradients and Hessians. We propose two methods for first- and second-order stationarity, coupling explicit step-size rules with derivative-accuracy and linear-solver residual conditions to guarantee sufficient decrease without evaluating the objective function. The OFF regularized Newton method finds an $\varepsilon$-first-order stationary point in $\mathcal{O}(\varepsilon^{-2})$ iterations. Under strong convexity, a local Newton variant converges with \(Q\)-order at least $1+θ$, where \(θ\in (0, 1]\). For second-order stationarity, we combine regularized Newton steps with approximate eigenvectors associated with the minimum eigenvalue. With high probability, the resulting method finds an $(\varepsilon, \sqrt{L_h\varepsilon})$-second-order stationary point in $\mathcal{O}(\varepsilon^{-3/2})$ iterations, using a total of $\widetilde{\mathcal{O}}(\varepsilon^{-7/4})$ approximate gradient evaluations and Hessian-vector products. For finite-sum problems, we develop subsampling schemes that yield best-iterate convergence in expectation in the nonconvex first-order setting and local \(R\)-linear convergence with high probability in the strongly convex setting, followed by \(Q\)-order at least \(1+θ\) once full sampling is reached. The subsampled second-order method achieves a high-probability $\widetilde{\mathcal{O}}(\varepsilon^{-7/2})$ total sample-operation bound, counting component gradient evaluations and component Hessian-vector products.

math.OC↗
arXiv2026

An efficient mixed-integer linear programming formulation for solving influence diagrams

Influence diagrams represent decision-making problems with interdependencies between random events, decisions, and consequences. Traditionally, they have been solved using tailored algorithms that determine the expected utility-maximizing decision strategy. Towards this end, most recent state-of-the-art solution approaches convert them into mixed-integer linear programming (MILP) models that can be solved using off-the-shelf MILP solvers. Computationally, these approaches are most efficient for influence diagrams that represent periodic (or sequential) decision processes, which can be cast as partially observable Markov Decision Processes. However, they are inefficient for problems that lack this periodic structure or whose influence diagrams have large state spaces. The efficient MILP formulation presented in this paper is specifically designed for influence diagrams that are challenging for earlier MILP formulations. Additionally, this formulation can be adapted to optimize conditional value-at-risk and to incorporate chance and logical constraints, thereby retaining the modeling flexibility of MILP-based methods. Finally, computational experiments on a range of problems from the literature are reported to show that the proposed formulation is much more efficient than earlier MILP formulations, particularly in problems which cannot be modeled as partially observable Markov decision processes and which lead to influence diagrams whose decision or chance nodes may have large state spaces.

math.OC↗