9 citations · 33 across the 49 of their papers we have counts for
60 papers
Conditional Infimum, Hidden Convexity and S-Procedure
Jean-Philippe Chancelier, Michel de Lara
Detecting hidden convexity is one of the tools to address nonconvex minimization problems, and find global minimizers. We introduce the notion of conditional infimum, develop the t…
A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect
Jean-Philippe Chancelier
We present a formal proof of the Sands-Sauer-Woodrow (SSW) theorem using the Rocq proof assistant and the MathComp/SSReflect library. The SSW theorem states that in a directed grap…
Optimal Operation and Valuation of Electricity Storages in Intraday Markets
Jean-Philippe Chancelier, Michel de Lara, François Pacaud +3
This paper applies computational techniques of convex stochastic optimization to optimal operation and valuation of electricity storages in the face of uncertain electricity prices…
Temporal and Spatial Decomposition for Prospective Studies in Energy Systems under Uncertainty
Camila Martinez Parra, Michel de Lara, Jean-Philippe Chancelier +2
The increasing penetration of renewable energy requires greater use of storage resources to manage system intermittency. As a result, there is growing interest in evaluating the op…
Low-thrust Interplanetary Trajectories with Missed Thrust Events: a Numerical Approach
Jean-Philippe Chancelier, Pierre Carpentier, Guy Cohen +2
The problem under consideration is to drive a spatial vehicle to a target at a given final time while minimizing fuel consumption. This is a classical optimal control problem in a…
What are Capra-Convex Sets?
Jean-Philippe Chancelier, Michel de Lara, Adrien Le Franc +1
This paper focuses on a specific form of abstract convexity known as Capra-convexity, where a constant along primal rays (Capra) coupling replaces the scalar product used in standa…