BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Carlos Esteve-Yagüe

Carlos Esteve-Yagüe contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.OCmath.APeess.SYMachine LearningSystems and Control

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
5topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2022arXiv

Reachable set for Hamilton-Jacobi equations with non-smooth Hamiltonian and scalar conservation laws

We give a full characterization of the range of the operator which associates, to any initial condition, the viscosity solution at time $T$ of a Hamilton-Jacobi equation with convex Hamiltonian. Our main motivation is to be able to treat the case of convex Hamiltonians with no further regularity assumptions. We give special attention to the case $H(p) = |p|$, for which we provide a rather geometrical description of the range of the viscosity operator by means of an interior ball condition on the sublevel sets. From our characterization of the reachable set, we are able to deduce further results concerning, for instance, sharp regularity estimates for the reachable functions, as well as structural properties of the reachable set. The results are finally adapted to the case of scalar conservation laws in dimension one.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Sparsity in long-time control of neural ODEs

We consider the neural ODE and optimal control perspective of supervised learning, with $\ell^1$-control penalties, where rather than only minimizing a final cost (the \emph{empirical risk}) for the state, we integrate this cost over the entire time horizon. We prove that any optimal control (for this cost) vanishes beyond some positive stopping time. When seen in the discrete-time context, this result entails an \emph{ordered} sparsity pattern for the parameters of the associated residual neural network: ordered in the sense that these parameters are all $0$ beyond a certain layer. Furthermore, we provide a polynomial stability estimate for the empirical risk with respect to the time horizon. This can be seen as a \emph{turnpike property}, for nonsmooth dynamics and functionals with $\ell^1$-penalties, and without any smallness assumptions on the data, both of which are new in the literature.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Turnpike in Lipschitz-nonlinear optimal control

We present a new proof of the turnpike property for nonlinear optimal control problems, when the running target is a steady control-state pair of the underlying system. Our strategy combines the construction of quasi-turnpike controls via controllability, and a bootstrap argument, and does not rely on analyzing the optimality system or linearization techniques. This in turn allows us to address several optimal control problems for finite-dimensional, control-affine systems with globally Lipschitz (possibly nonsmooth) nonlinearities, without any smallness conditions on the initial data or the running target. These results are motivated by applications in machine learning through deep residual neural networks, which may be fit within our setting. We show that our methodology is applicable to controlled PDEs as well, such as the semilinear wave and heat equation with a globally Lipschitz nonlinearity, once again without any smallness assumptions.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Differentiability with respect to the initial condition for Hamilton-Jacobi equations

We prove that the viscosity solution to a Hamilton-Jacobi equation with a smooth convex Hamiltonian of the form $H(x,p)$ is differentiable with respect to the initial condition. Moreover, the directional Gâteaux derivatives can be explicitly computed almost everywhere in $\mathbb{R}^N$ by means of the optimality system of the associated optimal control problem. We also prove that, in the one-dimensional case in space and in the quadratic case in any space dimension, these directional Gâteaux derivatives actually correspond to the unique duality solution to the linear transport equation with discontinuous coefficient, resulting from the linearization of the Hamilton-Jacobi equation. The motivation behind these differentiability results arises from the following optimal inverse-design problem: given a time horizon $T>0$ and a target function $u_T$, construct an initial condition such that the corresponding viscosity solution at time $T$ minimizes the $L^2$-distance to $u_T$. Our differentiability results allow us to derive a necessary first-order optimality condition for this optimization problem, and the implementation of gradient-based methods to numerically approximate the optimal inverse design.

0 citations0 reviewsNo code linkedOpen access