arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Benoit Legat

22 papers · 2018–2026

2018: 22019: 12020: 52021: 32022: 42023: 22024: 22025: 22026: 1
2018peak 5 in 20202026

Frequent co-authors

Papers

showing 1–22 of 22 RSS

MathOptInterface: a data structure for mathematical optimization problems

Benoit Legat, Oscar Dowson, Joaquim Dias Garcia +1 more

math.OC · · cited 82× · arXiv ↗ · more like this ·

We introduce MathOptInterface, an abstract data structure for representing mathematical optimization problems based on combining pre-defined functions and sets. MathOptInterface is significantly more general than existing data structures in the literature, encompassing, for example, a spectrum of problems classes from integer programming with indicator constraints to bilinear semidefinite programming. We also outline an automated rewriting system between equivalent formulations of a constraint. MathOptInterface has been implemented in practice, forming the foundation of a recent rewrite of JuMP, an open-source algebraic modeling language in the Julia language. The regularity of the MathOptInterface representation leads naturally to a general file format for mathematical optimization we call MathOptFormat. In addition, the automated rewriting system provides modeling power to users while…

Piecewise semi-ellipsoidal control invariant sets

Benoît Legat, Saša V. Raković, Raphaël M. Jungers

math.OC · · cited 8× · arXiv ↗ · more like this ·

Computing control invariant sets is paramount in many applications. The families of sets commonly used for computations are ellipsoids and polyhedra. However, searching for a control invariant set over the family of ellipsoids is conservative for systems more complex than unconstrained linear time invariant systems. Moreover, even if the control invariant set may be approximated arbitrarily closely by polyhedra, the complexity of the polyhedra may grow rapidly in certain directions. An attractive generalization of these two families are piecewise semi-ellipsoids. We provide in this paper a convex programming approach for computing control invariant sets of this family.

Sequential sum-of-squares programming for analysis of nonlinear systems<sup>⋆</sup>

Torbjørn Cunis, Benoît Legat

Numerical Analysis · Lirias (KU Leuven) · · cited 6× · DOI ↗ · more like this ·

Numerous interesting properties in nonlinear systems analysis can be written as polynomial optimization problems with nonconvex sum-of-squares problems. To solve those problems efficiently, we propose a sequential approach of local linearizations leading to tractable, convex sum-of-squares problems. We prove local convergence under the assumption of strong regularity, a common condition in variational analysis. The new approach is applied to estimate the region of attraction of a polynomial aircraft model, where it outperforms previous methods for nonconvex sum-of-squares problems.

Flexible Differentiable Optimization via Model Transformations

Mathieu Besançon, Joaquim Dias Garcia, Benoît Legat +1 more

cs.LG · · cited 6× · arXiv ↗ · more like this ·

We introduce DiffOpt.jl, a Julia library to differentiate through the solution of optimization problems with respect to arbitrary parameters present in the objective and/or constraints. The library builds upon MathOptInterface, thus leveraging the rich ecosystem of solvers and composing well with modeling languages like JuMP. DiffOpt offers both forward and reverse differentiation modes, enabling multiple use cases from hyperparameter optimization to backpropagation and sensitivity analysis, bridging constrained optimization with end-to-end differentiable programming. DiffOpt is built on two known rules for differentiating quadratic programming and conic programming standard forms. However, thanks ability to differentiate through model transformation, the user is not limited to these forms and can differentiate with respect to the parameters of any model that can be reformulated into…

Alternating Simulation on Hierarchical Abstractions

Julien Calbert, Benoît Legat, Lucas N. Egidio +1 more

Computational Theory and Mathematics · 2021 60th IEEE Conference on Decision and Control (CDC) · · cited 6× · DOI ↗ · more like this ·

Abstraction techniques provide formal guarantees for generic optimal control problems on nonlinear and hybrid systems. Computing an abstraction solving the problem over the whole state-space is computationally demanding in high-dimensional spaces. We circumvent this curse of dimensionality by introducing a hierarchical abstraction approach for solving an optimal control problem for nonlinear systems with three nested partitions. These nested partitions allow the construction of auxiliary systems that characterize simulation relations, which are suitably exploited to provide upper and lower bounds for a branch and bound algorithm to yield an optimal solution for the control problem. An example illustrates the proposed method.

Low-Rank Univariate Sum of Squares Has No Spurious Local Minima

Benoît Legat, Chenyang Yuan, Pablo A. Parrilo

math.OC · · cited 5× · arXiv ↗ · more like this ·

We study the problem of decomposing a polynomial $p$ into a sum of $r$ squares by minimizing a quadratically penalized objective $f_p(\mathbf{u}) = \left\lVert \sum_{i=1}^r u_i^2 - p\right\lVert^2$. This objective is nonconvex and is equivalent to the rank-$r$ Burer-Monteiro factorization of a semidefinite program (SDP) encoding the sum of squares decomposition. We show that for all univariate polynomials $p$, if $r \ge 2$ then $f_p(\mathbf{u})$ has no spurious second-order critical points, showing that all local optima are also global optima. This is in contrast to previous work showing that for general SDPs, in addition to genericity conditions, $r$ has to be roughly the square root of the number of constraints (the degree of $p$) for there to be no spurious second-order critical points. Our proof uses tools from computational algebraic geometry and can be interpreted as constructing…

Dionysos.jl: a Modular Platform for Smart Symbolic Control

Julien Calbert, Adrien Banse, Benoît Legat +1 more

eess.SY · · cited 2× · arXiv ↗ · more like this ·

We introduce Dionysos.jl, a modular package for solving optimal control problems for complex dynamical systems using state-of-the-art and experimental techniques from symbolic control, optimization, and learning. More often than not with Cyber-Physical systems, the only sensible way of developing a controller is by discretizing the different variables, thus transforming the control task into a purely combinatorial problem on a finite-state mathematical object, called an abstraction of this system. Although this approach offers a safety-critical framework, the available techniques suffer important scalability issues. In order to render these techniques practical, it is necessary to construct smarter abstractions that differ from classical techniques by partitioning the state-space in a non trivial way.

Certifying ground-state properties of quantum many-body systems

Jie Wang, Jacopo Surace, Irénée Frérot +4 more

quant-ph · · cited 1× · arXiv ↗ · more like this ·

A ubiquitous problem in quantum physics is to understand the ground-state properties of many-body systems. Confronted with the fact that exact diagonalisation quickly becomes impossible when increasing the system size, variational approaches are typically employed as a scalable alternative: energy is minimised over a subset of all possible states and then different physical quantities are computed over the solution state. Despite remarkable success, rigorously speaking, all what variational methods offer are upper bounds on the ground-state energy. On the other hand, so-called relaxations of the ground-state problem based on semidefinite programming represent a complementary approach, providing lower bounds to the ground-state energy. However, in their current implementation, neither variational nor relaxation methods offer provable bound on other observables in the ground state beyond…

Sequential sum-of-squares programming for analysis of nonlinear systems

Torbjørn Cunis, Benoît Legat

math.OC · · cited 1× · arXiv ↗ · more like this ·

Numerous interesting properties in nonlinear systems analysis can be written as polynomial optimization problems with nonconvex sum-of-squares problems. To solve those problems efficiently, we propose a sequential approach of local linearizations leading to tractable, convex sum-of-squares problems. Local convergence is proven under the assumption of strong regularity and the new approach is applied to estimate the region of attraction of a polynomial aircraft model.

Stability of Planar Switched Systems under Delayed Event Detection

Benoît Legat, Cláudio Gomes, Paschalis Karalis +3 more

math.DS · · cited 1× · arXiv ↗ · more like this ·

In this paper, we analyse the impact of delayed event detection on the stability of a 2-mode planar hybrid automata. We consider hybrid automata with a unique equilibrium point for all the modes, and we find the maximum delay that preserves stability of that equilibrium point. We also show for the class of hybrid automata treated that the instability of the equilibrium point for the equivalent hybrid automaton with delay in the transitions is equivalent to the existence of a closed orbit in the hybrid state space, a result that is inspired by the Joint Spectral Radius theorem. This leads to an algorithm for computing the maximum stable delay exactly. Other potential applications of our technique include co-simulation, networked control systems and delayed controlled switching with a state feedback control.

Set programming : theory and computation

Benoît Legat

Computer Networks and Communications · Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)) · · cited 1× · OpenAlex ↗ · more like this ·

The complexity of systems that are relevant to engineering today has grown tremendously. The control techniques based on frequency analysis that were perfectly adequate for simple systems tend to be difficult to use for more complex systems. An important challenge arising for these complex systems is the need to obtain sets satisfying given properties. Once the intended end-use of the sets as well as the properties it should satisfy are clarified, a specific family of sets, called template, is chosen to formulate the search of the appropriate set as a problem that is numerically tractable. In this thesis, we introduce Set Programming as an interface between the requirements that sets should satisfy and the numerical algorithms used to compute sets satisfying given requirements. Several templates are studied in this thesis including the classical templates (polyhedra, zonotopes and…

A Parametric Linear Conic Projection for Structured Sparse Attention

Michel Barlaud, Clement Genninasca, Maxime Zanella +2 more

cs.AI · · cited 0× · arXiv ↗ · more like this ·

In this paper, we introduce the Cone Alignment Index (CAI), a scale-invariant sparsity measure associated with a Lorentz-cone geometry. We provide a probabilistic analysis of the distribution of the CAI score, including a general theorem and explicit corollaries for Gaussian and uniform distributions. As a consequence, we show that, in the high-sparsity regime, the probability that the samples lie within the convex cone tends to one. Building upon this formulation, we derive two complementary projections: the \emph{Parametric Linear Conic Projection} (PLCP), an efficient closed-form approximation, and the \emph{Parametric Euclidean Conic Projection} (PECP), the exact Euclidean projection onto the cone boundary. Our analysis establishes several fundamental theoretical properties. We prove that PLCP and PECP are collinear, differ only by a positive radial scaling factor, and induce…

MutableArithmetics: An API for mutable operations

Benoît Legat

Software · JuliaCon Proceedings · · cited 0× · DOI ↗ · more like this ·

Arithmetic operations defined in Julia do not modify their arguments.However, in many situations, a variable represents an accumulator that can be modified in-place to contain the result, e.g., when summing the elements of an array.Moreover, for types that support mutation, mutating the value may have a significant performance benefit over creating a new instance.This paper presents an interface that allows algorithms to exploit mutability in arithmetic operations in a generic manner.

Geometric control of algebraic systems

Benoît Legat, Raphaël M. Jungers

math.OC · · cited 0× · arXiv ↗ · more like this ·

In this paper, we present a geometric approach for computing the controlled invariant set of a continuous-time control system. While the problem is well studied for in the ellipsoidal case, this family is quite conservative for constrained or switched linear systems. We reformulate the invariance of a set as an inequality for its support function that is valid for any convex set. This produces novel algebraic conditions for the invariance of sets with polynomial or piecewise quadratic support function. We compare it with the common algebraic approach for polynomial sublevel sets and show that it is significantly more conservative than our method.

An entropy-based bound for the computational complexity of a switched system

Benoît Legat, Pablo A. Parrilo, Raphaël M. Jungers

math.OC · · cited 0× · arXiv ↗ · more like this ·

The joint spectral radius (JSR) of a set of matrices characterizes the maximal asymptotic growth rate of an infinite product of matrices of the set. This quantity appears in a number of applications including the stability of switched and hybrid systems. A popular method used for the stability analysis of these systems searches for a Lyapunov function with convex optimization tools. We analyse the accuracy of this method for constrained switched systems, a class of systems that has attracted increasing attention recently. We provide a new guarantee for the upper bound provided by the sum of squares implementation of the method. This guarantee relies on the p-radius of the system and the entropy of the language of allowed switching sequences. We end this paper with a method to reduce the computation of the JSR of low rank matrices to the computation of the constrained JSR of matrices of…

A General and Streamlined Differentiable Optimization Framework

Andrew W. Rosemberg, Joaquim Dias Garcia, François Pacaud +5 more

cs.LG · · arXiv ↗ · more like this ·

Differentiating through constrained optimization problems is increasingly central to learning, control, and large-scale decision-making systems, yet practical integration remains challenging due to solver specialization and interface mismatches. This paper presents a general and streamlined framework-an updated DiffOpt.jl-that unifies modeling and differentiation within the Julia optimization stack. The framework computes forward - and reverse-mode solution and objective sensitivities for smooth, potentially nonconvex programs by differentiating the KKT system under standard regularity assumptions. A first-class, JuMP-native parameter-centric API allows users to declare named parameters and obtain derivatives directly with respect to them - even when a parameter appears in multiple constraints and objectives - eliminating brittle bookkeeping from coefficient-level interfaces. We…

Fast, Differentiable, GPU-Accelerated Ray Tracing for Multiple Diffraction and Reflection Paths

Jérome Eertmans, Sophie Lequeu, Benoît Legat +2 more

eess.SP · · arXiv ↗ · more like this ·

We present a fast, differentiable, GPU-accelerated optimization method for ray path tracing in environments containing planar reflectors and straight diffraction edges. Based on Fermat's principle, our approach reformulates the path-finding problem as the minimization of total path length, enabling efficient parallel execution on modern GPU architectures. Unlike existing methods that require separate algorithms for reflections and diffractions, our unified formulation maintains consistent problem dimensions across all interaction sequences, making it particularly suitable for vectorized computation. Through implicit differentiation, we achieve efficient gradient computation without differentiating through solver iterations, significantly outperforming traditional automatic differentiation approaches. Numerical simulations demonstrate convergence rates comparable to specialized Newton…

JuMP 1.0: Recent improvements to a modeling language for mathematical optimization

Miles Lubin, Oscar Dowson, Joaquim Dias Garcia +3 more

cs.PL · · arXiv ↗ · more like this ·

JuMP is an algebraic modeling language embedded in the Julia programming language. JuMP allows users to model optimization problems of a variety of kinds, including linear programming, integer programming, conic optimization, semidefinite programming, and nonlinear programming, and handles the low-level details of communicating with solvers. After nearly 10 years in development, JuMP 1.0 was released in March, 2022. In this short communication, we highlight the improvements to JuMP from recent releases up to and including 1.0.

Geometric control of hybrid systems

Benoît Legat, Raphaël M. Jungers

math.OC · · arXiv ↗ · more like this ·

In this paper, we present a geometric approach for computing controlled invariant sets for hybrid control systems. While the problem is well studied in the ellipsoidal case, this family is quite conservative for constrained or switched linear systems. We reformulate the invariance of a set as an inequality for its support function that is valid for any convex set. This produces novel algebraic conditions for the invariance of sets with polynomial or piecewise quadratic support function.

Abstraction-based branch and bound approach to Q-learning for hybrid optimal control

Benoît Legat, Raphaël M. Jungers, Jean Bouchat

math.OC · · arXiv ↗ · more like this ·

In this paper, we design a theoretical framework allowing to apply model predictive control on hybrid systems. For this, we develop a theory of approximate dynamic programming by leveraging the concept of alternating simulation. We show how to combine these notions in a branch and bound algorithm that can further refine the Q-functions using Lagrangian duality. We illustrate the approach on a numerical example.

Minimally Constrained Stable Switched Systems and Application to Co-simulation

Cláudio Gomes, Raphaël M. Jungers, Benoît Legat +1 more

math.OC · · arXiv ↗ · more like this ·

We propose an algorithm to restrict the switching signals of a constrained switched system in order to guarantee its stability, while at the same time attempting to keep the largest possible set of allowed switching signals. Our work is motivated by applications to (co-)simulation, where numerical stability is a hard constraint, but should be attained by restricting as little as possible the allowed behaviours of the simulators. We apply our results to certify the stability of an adaptive co-simulation orchestration algorithm, which selects the optimal switching signal at run-time, as a function of (varying) performance and accuracy requirements.

Computing controlled invariant sets for hybrid systems with applications to model-predictive control

Benoît Legat, Paulo Tabuada, Raphaël M. Jungers

math.OC · · arXiv ↗ · more like this ·

In this paper, we develop a method for computing controlled invariant sets using Semidefinite Programming. We apply our method to the controller design problem for switching affine systems with polytopic safe sets. The task is reduced to a semidefinite programming problem by enforcing an invariance relation in the dual space of the geometric problem. The paper ends with an application to safety critical model predictive control.