-
Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain
We aim at proving automatically the correctness of numerical behavior of a program by inferring invariants on numerical variables. More precisely, we over-approximate... -
A Fresh Variational-Analysis Look at the Positive Semidefinite Matrices World
International audience -
Modeling very oscillating signals. Application to image processing
This article is a companion paper of a previous work \cite{Aujol[3]} where we have developed the numerical analysis of a variational model first introduced by L.... -
Absolute stability and the Lagrange-Dirichlet theorem with monotone multivalu...
This note presents an extension of the absolute stability problem and of the Lagrange-Dirichlet theorem, when the nonlinearities entering the model are considered... -
Stability and Unstability Matrices for Linear Evolution Variational Inequalities
This paper deals with the characterisation of the stability and unstability matrices for a class of unilaterally constrained dynamical systems, represente- d as linear... -
Stability Analysis and Attractivity Results of a DC-DC Buck Converter
International audience -
A Convex-Analysis Perspective on Disjunctive Cuts
An updated version of this paper has appeared in Math. Program., Ser. A 106, pp 567-586 (2006), DOI 10.1007/s10107-005-0670-8 -
Higher order Moreau's sweeping process: Mathematical formulation and numerica...
In this paper we present an extension of Moreau's sweeping process for higher order systems. The dynamical framework is carefully introduced, and preliminary... -
Cut-Generating Functions
International audience -
Newton methods for nonsmooth convex minimization: connections among U-Lagrang...
International audience -
Approximation of dynamic and quasi-static evolutions in elasto-plasticity by ...
This work is devoted to the analysis of elasto-plasticity models arising in soil mechanics. Contrary to the typical models mainly used for metals, it is required here... -
Quasistatic evolution in non-associative plasticity - The cap model
International audience -
Monotone operator splitting for optimization problems in sparse recovery
International audience -
About saddle values of a class of convex-concave functions
International audience -
Prices stabilization for inexact unit-commitment problems
International audience -
Irregular sampling restoration. Theory and applications to satellite images a...
Performances of remote-sensing satellite instruments have been increasing fast thanks to developing technologies but also thanks to the better understanding and... -
Convexity and thermodynamics
International audience
