Concept

Axiome de fondation

Publications associées (23)

A Combination Technique for Optimal Control Problems Constrained by Random PDEs

We present a combination technique based on mixed differences of both spatial approximations and quadrature formulae for the stochastic variables to solve efficiently a class of optimal control problems (OCPs) constrained by random partial differential equ ...

2024

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having po ...

2024

A combination technique for optimal control problems constrained by random PDEs

Fabio Nobile, Tommaso Vanzan

We present a combination technique based on mixed differences of both spatial approximations and quadrature formulae for the stochastic variables to solve efficiently a class of Optimal Control Problems (OCPs) constrained by random partial differential equ ...

EPFL2022

Free Boundary Regularity for Almost Every Solution to the Signorini Problem

Xavier Fernandez-Real Girona

We investigate the regularity of the free boundary for the Signorini problem in Rn+1. It is known that regular points are (n−1)-dimensional and C∞. However, even for C∞ obstacles φ, the set of non-regular (or degenerate) points could be very large—e.g. wit ...

2021

Stability for the mailing problem

Maria Colombo

We prove that optimal traffic plans for the mailing problem in Rd are stable with respect to variations of the given coupling, above the critical exponent α=1−1/d, thus solving an open problem stated in the book Optimal transportation networks, by Bernot, ...

2019

Learning Non-Parametric Models with Guarantees: A Smooth Lipschitz Interpolation Approach

Colin Neil Jones, Emilio Maddalena

We propose a non-parametric regression method that does not rely on the structure of the ground-truth, but only on its regularity properties. The methodology can be readily used for learning surrogate models of nonlinear dynamical systems from data, while ...

2019

Control and stabilization of the periodic fifth order Korteweg-de Vries equation

Derek Lee Smith

We establish local exact control and local exponential stability of periodic solutions of fifth order Korteweg-de Vries type equations in H-s(& x1d54b;), s > 2. A dissipative term is incorporated into the control which, along with a propagation of regulari ...

2019

Stochastic approximation methods for PDE constrained optimal control problems with uncertain parameters

Matthieu Claude Martin

This thesis work focuses on optimal control of partial differential equations (PDEs) with uncertain parameters, treated as a random variables. In particular, we assume that the random parameters are not observable and look for a deterministic control which ...

EPFL2019

A local discontinuous Galerkin gradient discretization method for linear and quasilinear elliptic equations

Assyr Abdulle, Giacomo Rosilho De Souza

A local weighted discontinuous Galerkin gradient discretization method for solving elliptic equations is introduced. The local scheme is based on a coarse grid and successively improves the solution solving a sequence of local elliptic problems in high gra ...

EDP SCIENCES S A2019

No-Regret Learning in Unknown Games with Correlated Payoffs

Maryam Kamgarpour, Andreas Krause, Ilija Bogunovic

We consider the problem of learning to play a repeated multi-agent game with an unknown reward function. Single player online learning algorithms attain strong regret bounds when provided with full information feedback, which unfortunately is unavailable i ...

Curran Associates, Inc.2019

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search