<?xml version="1.0" encoding="utf-8"?>
<raweb xmlns:xlink="http://www.w3.org/1999/xlink" xml:lang="en" year="2013">
  <identification id="commands" isproject="true">
    <shortname>COMMANDS</shortname>
    <projectName>Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems</projectName>
    <theme-de-recherche>Optimization and control of dynamic systems</theme-de-recherche>
    <domaine-de-recherche>Applied Mathematics, Computation and Simulation</domaine-de-recherche>
    <urlTeam>http://commands.saclay.inria.fr/</urlTeam>
    <datecreation>2009 January 01</datecreation>
    <structure_exterieure type="Labs">
      <libelle>Centre de Mathématiques Appliquées (CMAP)</libelle>
    </structure_exterieure>
    <structure_exterieure type="Organism">
      <libelle>CNRS</libelle>
    </structure_exterieure>
    <structure_exterieure type="Organism">
      <libelle>Ecole nationale supérieure des techniques avancées</libelle>
    </structure_exterieure>
    <structure_exterieure type="Organism">
      <libelle>Ecole Polytechnique</libelle>
    </structure_exterieure>
    <structure_exterieure type="Labs">
      <libelle>Unité de Mathématiques Appliquées (UMA - ENSTA)</libelle>
    </structure_exterieure>
    <UR name="Saclay"/>
    <keywords>
      <term>System Analysis And Control</term>
      <term>Nonlinear Control</term>
      <term>Optimal Control</term>
      <term>Numerical Methods</term>
      <term>Nonsmooth Analysis</term>
    </keywords>
    <moreinfo/>
  </identification>
  <team id="uid1">
    <person key="commands-2013-idp140298399033984">
      <firstname>Joseph Frédéric</firstname>
      <lastname>Bonnans</lastname>
      <categoryPro>Chercheur</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Team leader, Inria, Senior
Researcher</moreinfo>
      <hdr>oui</hdr>
    </person>
    <person key="sydoco-2006-id18291">
      <firstname>Pierre</firstname>
      <lastname>Martinon</lastname>
      <categoryPro>Chercheur</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Inria, Researcher</moreinfo>
    </person>
    <person key="commands-2007-id18114">
      <firstname>Hasnaa</firstname>
      <lastname>Zidani</lastname>
      <categoryPro>Enseignant</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Team coleader, ENSTA, Associate Professor</moreinfo>
      <hdr>oui</hdr>
    </person>
    <person key="commands-2010-id59529">
      <firstname>Anna</firstname>
      <lastname>Désilles</lastname>
      <categoryPro>Enseignant</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>DGA, until May 2013</moreinfo>
    </person>
    <person key="commands-2012-idp140658102563744">
      <firstname>Daphné</firstname>
      <lastname>Giorgi</lastname>
      <categoryPro>Technique</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Inria</moreinfo>
    </person>
    <person key="commands-2013-idp140298399046272">
      <firstname>Stéphan</firstname>
      <lastname>Maindrault</lastname>
      <categoryPro>Technique</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Inria, from Apr 2013</moreinfo>
    </person>
    <person key="commands-2011-idp140463656740144">
      <firstname>Mohamed</firstname>
      <lastname>Assellaou</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Eleve Officier (Maroc) + bourse Ensta</moreinfo>
    </person>
    <person key="commands-2013-idp140298399050880">
      <firstname>Xavier</firstname>
      <lastname>Dupuis</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>ENS Lyon, until Nov. 2013</moreinfo>
    </person>
    <person key="commands-2013-idp140298399053184">
      <firstname>Nicolas</firstname>
      <lastname>Grebille</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>EDF, CIFRE</moreinfo>
    </person>
    <person key="commands-2011-idp140463656748208">
      <firstname>Cristopher</firstname>
      <lastname>Hermosilla</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Inria, FP7 ITN SADCO project</moreinfo>
    </person>
    <person key="commands-2013-idp140298399057792">
      <firstname>Benjamin</firstname>
      <lastname>Heymann</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Ecole Polytechnique, from Oct. 2013</moreinfo>
    </person>
    <person key="commands-2013-idp140298399060096">
      <firstname>Laurent</firstname>
      <lastname>Pfeiffer</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Ecole Polytechnique, until Nov. 2013</moreinfo>
    </person>
    <person key="commands-2011-idp140463656745520">
      <firstname>Athena</firstname>
      <lastname>Picarelli</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Inria, FP7 ITN SADCO project</moreinfo>
    </person>
    <person key="commands-2010-id59802">
      <firstname>Zhiping</firstname>
      <lastname>Rao</lastname>
      <categoryPro>PhD</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Ecole Polytechnique, FP7 ITN SADCO project, until Dec. 2013</moreinfo>
    </person>
    <person key="commands-2013-idp140298399067008">
      <firstname>Adriano</firstname>
      <lastname>Festa</lastname>
      <categoryPro>Visiteur</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Post-doc ICL, from Mar 2013 until Aug 2013</moreinfo>
    </person>
    <person key="commands-2013-idp140298399069312">
      <firstname>Philip</firstname>
      <lastname>Graber</lastname>
      <categoryPro>PostDoc</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Inria, until May 2013</moreinfo>
    </person>
    <person key="commands-2007-id18461">
      <firstname>Nicolas</firstname>
      <lastname>Forcadel</lastname>
      <categoryPro>CollaborateurExterieur</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Insa Rouen</moreinfo>
    </person>
    <person key="commands-2011-idp140463656715712">
      <firstname>Olivier</firstname>
      <lastname>Bokanowski</lastname>
      <categoryPro>CollaborateurExterieur</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Univ. Paris VII</moreinfo>
    </person>
    <person key="commands-2013-idp140298399076224">
      <firstname>Bean San</firstname>
      <lastname>Goh</lastname>
      <categoryPro>Visiteur</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Prof. U. Curtin, Miri, Malaysia, from Feb 2013 until Mar 2013</moreinfo>
    </person>
    <person key="commands-2013-idp140298399078592">
      <firstname>Ibtissam</firstname>
      <lastname>Medarhri</lastname>
      <categoryPro>Visiteur</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Inria, from Sep 2013 until Oct 2013</moreinfo>
    </person>
    <person key="commands-2013-idp140298399080896">
      <firstname>Arthur</firstname>
      <lastname>Marly</lastname>
      <categoryPro>AutreCategorie</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>ENS Lyon, internship, from May 2013 until Jul 2013</moreinfo>
    </person>
    <person key="commands-2013-idp140298399083264">
      <firstname>Wallis</firstname>
      <lastname>Chaussebourg</lastname>
      <categoryPro>Assistant</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Inria, until Aug. 2013</moreinfo>
    </person>
    <person key="commands-2013-idp140298399085568">
      <firstname>Jessica</firstname>
      <lastname>Gameiro</lastname>
      <categoryPro>Assistant</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Inria, since Oct 2013</moreinfo>
    </person>
    <person key="commands-2013-idp140298399087872">
      <firstname>Teresa</firstname>
      <lastname>Scarinci</lastname>
      <categoryPro>AutreCategorie</categoryPro>
      <research-centre>Saclay</research-centre>
      <moreinfo>Inria, internship, FP7 ITN SADCO project, since Oct 2013</moreinfo>
    </person>
  </team>
  <presentation id="uid2">
    <bodyTitle>Overall Objectives</bodyTitle>
    <subsection id="uid3" level="1">
      <bodyTitle>Scientific directions</bodyTitle>
      <p>Commands is a team devoted to dynamic optimization, both for deterministic and stochastic systems.
This includes the following approaches: trajectory optimization, deterministic and stochastic optimal control, stochastic programming,
dynamic programming and Hamilton-Jacobi-Bellman equation.</p>
      <p>Our aim is to derive new and powerful algorithms for solving numerically these problems, with applications in several industrial fields.
While the numerical aspects are the core of our approach it happens that the study of convergence of these algorithms and the verification
of their well-posedness and accuracy raises interesting and difficult theoretical questions, such as, for trajectory optimization:
qualification conditions and second-order optimality condition, well-posedness of the shooting algorithm, estimates for discretization errors;
for the Hamilton-Jacobi-Bellman approach: accuracy estimates, strong uniqueness principles when state constraints are present,
for stochastic programming problems: sensitivity analysis.
</p>
    </subsection>
    <subsection id="uid4" level="1">
      <bodyTitle>Industrial impact</bodyTitle>
      <p>For many years the team members have been deeply involved in various industrial applications, often in the framework of PhD
theses or of postdocs. The Commands team itself has dealt since its foundation in 2007 with several types of applications:</p>
      <simplelist>
        <li id="uid5">
          <p noindent="true">Space vehicle trajectories, in collaboration with CNES, the French space agency.</p>
        </li>
        <li id="uid6">
          <p noindent="true">Aeronautics, in collaboration with the startup Safety Line.</p>
        </li>
        <li id="uid7">
          <p noindent="true">Production, management, storage and trading of energy resources (in collaboration with EDF, GDF and TOTAL).</p>
        </li>
        <li id="uid8">
          <p noindent="true">Energy management for hybrid vehicles (in collaboration with Renault).</p>
        </li>
      </simplelist>
      <p>We give more details in the Bilateral contracts section.
</p>
    </subsection>
    <subsection id="uid9" level="1">
      <bodyTitle>Highlights of the Year</bodyTitle>
      <p>In collaboration with L. Giraldi and M. Zopello, we started in 2013 to study the optimal swimming strategies for
micro-swimmers. Our approach allows us to solve the optimal control problem without making restrictive assumptions
on the shape of the swimming movements. The first numerical results on the 3-link swimmer indicate the existence
of a periodic stroke with a better displacement speed than the canonical stroke presented by Purcell in 1977.
Further directions include optimal design of micro-swimmers and comparing our simulations to the movement of
live micro-organisms.</p>
      <p>In collaboration with CNES, a trajectory optimization problem for Ariane 5 was studied and analyzed by HJB approach.
In this study, the flight model is considered in dimension 6 without simplification. The problem consists in
maximizing the payload to steer the launcher from the launch base (Kourou) to the GEO orbit. The mission includes
ballistic phases and the optimization also encompasses the intermediate GTO orbit parameters. The optimization
criterion is the mass of the payload to be injected on the GEO.</p>
      <p>Finally, the team completed 3 PhD and 4 patents in 2013.</p>
    </subsection>
  </presentation>
  <fondements id="uid10">
    <bodyTitle>Research Program</bodyTitle>
    <subsection id="uid11" level="1">
      <bodyTitle>Historical aspects</bodyTitle>
      <p>The roots of deterministic optimal control are the “classical” theory of
the calculus of variations, illustrated by the work of Newton, Bernoulli,
Euler, and Lagrange (whose famous multipliers were introduced in
<ref xlink:href="#commands-2013-bid0" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>), with improvements due to the “Chicago school”,
Bliss <ref xlink:href="#commands-2013-bid1" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> during the first part of the 20th century,
and by the notion of relaxed problem and generalized solution
(Young <ref xlink:href="#commands-2013-bid2" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>).</p>
      <p><i>Trajectory optimization</i> really started with the
spectacular achievement done by Pontryagin's group <ref xlink:href="#commands-2013-bid3" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>
during the fifties, by stating, for general optimal control
problems, nonlocal optimality conditions generalizing those of Weierstrass.
This motivated the application to many industrial problems
(see the classical books by Bryson and Ho <ref xlink:href="#commands-2013-bid4" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>,
Leitmann <ref xlink:href="#commands-2013-bid5" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, Lee and Markus <ref xlink:href="#commands-2013-bid6" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>,
Ioffe and Tihomirov <ref xlink:href="#commands-2013-bid7" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>).
Since then, various theoretical achievements have been obtained
by extending the results to nonsmooth problems, see Aubin <ref xlink:href="#commands-2013-bid8" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>,
Clarke <ref xlink:href="#commands-2013-bid9" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, Ekeland <ref xlink:href="#commands-2013-bid10" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.</p>
      <p><i>Dynamic programming</i> was introduced and systematically studied by
R. Bellman during the fifties. The HJB equation, whose solution is the
value function of the (parameterized) optimal control problem,
is a variant of the classical Hamilton-Jacobi equation of mechanics
for the case of dynamics parameterized by a control variable.
It may be viewed as a differential form of the dynamic programming principle.
This nonlinear first-order PDE appears to be well-posed in the framework of
<i>viscosity solutions</i> introduced by Crandall and Lions
<ref xlink:href="#commands-2013-bid11" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid12" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid13" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>. These tools also allow to perform the
numerical analysis of discretization schemes.
The theoretical contributions in this direction
did not cease growing, see the books by Barles <ref xlink:href="#commands-2013-bid14" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> and
Bardi and Capuzzo-Dolcetta <ref xlink:href="#commands-2013-bid15" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.
</p>
    </subsection>
    <subsection id="uid12" level="1">
      <bodyTitle>Trajectory optimization</bodyTitle>
      <p>The so-called <i>direct methods</i> consist in an optimization of the trajectory,
after having discretized time, by a nonlinear programming solver that possibly
takes into account the dynamic structure.
So the two main problems are the choice of the discretization and the
nonlinear programming algorithm.
A third problem is the possibility of refinement of the discretization
once after solving on a coarser grid.</p>
      <p>In the <i>full discretization approach</i>, general
Runge-Kutta schemes with different values of control for each inner
step are used. This allows to obtain and control high
orders of precision, see Hager <ref xlink:href="#commands-2013-bid16" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, Bonnans <ref xlink:href="#commands-2013-bid17" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.
In an interior-point algorithm context, controls can be eliminated and the
resulting system of equation is easily solved due to its band structure.
Discretization errors due to constraints are discussed in
Dontchev et al. <ref xlink:href="#commands-2013-bid18" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.
See also Malanowski et al. <ref xlink:href="#commands-2013-bid19" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.</p>
      <p>In the <i>indirect</i> approach, the control is eliminated
thanks to Pontryagin's
maximum principle.
One has then to solve the two-points boundary value problem
(with differential variables state and costate) by a single or multiple shooting method.
The questions are here the choice of a discretization scheme for the integration of the boundary value problem, of a
(possibly globalized) Newton
type algorithm for solving the resulting finite dimensional problem
in <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msup><mrow><mi>I</mi><mspace width="-1.70717pt"/><mi>R</mi></mrow><mi>n</mi></msup></math></formula> (<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>n</mi></math></formula> is the number of state variables), and a methodology for
finding an initial point.</p>
      <p>For state constrained problems or singular arcs, the formulation of the shooting function may be quite elaborate <ref xlink:href="#commands-2013-bid20" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid21" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid22" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.
As initiated in <ref xlink:href="#commands-2013-bid23" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we focus more specifically on the handling of discontinuities, with ongoing work on the geometric integration aspects (Hamiltonian conservation).
</p>
    </subsection>
    <subsection id="uid13" level="1">
      <bodyTitle>Hamilton-Jacobi-Bellman approach</bodyTitle>
      <p>This approach consists in calculating the value function associated with the optimal control problem, and then synthesizing the feedback control and the optimal
trajectory using Pontryagin's principle.
The method has the great particular advantage of reaching directly the global optimum, which can be very interesting, when the problem is not convex.</p>
      <p><i>Characterization of the value function</i>
From the dynamic programming principle, we derive a characterization of the value function
as being a solution (in viscosity sense) of an Hamilton-Jacobi-Bellman equation, which is a nonlinear PDE of dimension equal to the number n of state variables.
Since the pioneer works of Crandall and Lions <ref xlink:href="#commands-2013-bid11" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid12" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid13" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, many theoretical contributions were carried out, allowing an understanding of the properties
of the value function as well as of the set of admissible trajectories.
However, there remains an important effort to provide for the
development of effective and adapted numerical tools, mainly because of numerical complexity (complexity is exponential with respect to n).</p>
      <p><i>Numerical approximation for continuous value function</i>
Several numerical schemes have been already studied to treat the case when the solution of the HJB equation (the value function) is continuous. Let us quote for example
the Semi-Lagrangian methods <ref xlink:href="#commands-2013-bid24" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid25" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> studied by the team of M. Falcone (La Sapienza, Rome), the high order schemes WENO,
ENO, Discrete galerkin introduced by S. Osher, C.-W. Shu, E. Harten
<ref xlink:href="#commands-2013-bid26" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid27" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid27" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid28" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, and also the schemes on nonregular grids by
R. Abgrall <ref xlink:href="#commands-2013-bid29" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid30" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.
All these schemes rely on finite differences or/and interpolation techniques
which lead to numerical diffusions. Hence, the
numerical solution is unsatisfying for long time approximations even
in the continuous case.</p>
      <p>One of the (nonmonotone) schemes for solving the HJB equation is
based on the Ultrabee algorithm proposed, in the case of advection equation with constant velocity, by Roe <ref xlink:href="#commands-2013-bid31" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>
and recently revisited by Després-Lagoutière <ref xlink:href="#commands-2013-bid32" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid33" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.
The numerical results on several academic problems show the relevance of the antidiffusive schemes. However, the theoretical study of the convergence is a difficult
question and is only partially done.</p>
      <p><i>Optimal stochastic control problems</i> occur when the dynamical system is
uncertain. A decision typically has to be taken at each time, while
realizations of future events are unknown (but some information is given
on their distribution of probabilities).
In particular, problems of economic nature deal with large uncertainties
(on prices, production and demand).
Specific examples are the portfolio selection problems in a market with risky
and non-risky assets, super-replication with uncertain volatility,
management of power resources (dams, gas).
Air traffic control is another example of such problems.</p>
      <p><i>Nonsmoothness of the value function</i>.
Sometimes the value function is smooth (e.g. in the case
of Merton's portfolio problem, Oksendal <ref xlink:href="#commands-2013-bid34" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>)
and the associated HJB equation can be solved explicitly.
Still, the value function is not smooth enough to satisfy the
HJB equation in the classical sense. As for the deterministic
case, the notion of viscosity solution provides a convenient framework for
dealing with the lack of smoothness, see Pham <ref xlink:href="#commands-2013-bid35" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>,
that happens also to be
well adapted to the study of discretization errors for numerical
discretization schemes <ref xlink:href="#commands-2013-bid36" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid37" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.</p>
      <p><i>Numerical approximation for optimal stochastic control problems</i>.
The numerical discretization of second order HJB equations was the subject of several contributions.
The book of Kushner-Dupuis <ref xlink:href="#commands-2013-bid38" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> gives a complete synthesis on the Markov chain schemes
(i.e Finite Differences, semi-Lagrangian, Finite Elements, ...).
Here a main difficulty of these equations comes from the fact that the second order operator
(i.e. the diffusion term) is not uniformly elliptic and can be degenerated.
Moreover, the diffusion term (covariance matrix) may change direction at any space point and at any time (this matrix is associated the dynamics volatility).</p>
      <p>For solving stochastic control problems,
we studied the so-called Generalized Finite Differences (GFD), that
allow to choose at any node, the stencil approximating the diffusion
matrix up to a certain threshold <ref xlink:href="#commands-2013-bid39" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.
Determining the stencil and the associated coefficients boils down to
a quadratic program to be solved at each point of the grid, and for each
control. This is definitely expensive, with the exception of special
structures where the coefficients can be computed at low cost.
For two dimensional systems, we designed a (very) fast algorithm for
computing the coefficients of the GFD scheme, based on the Stern-Brocot
tree <ref xlink:href="#commands-2013-bid40" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.
</p>
    </subsection>
  </fondements>
  <logiciels id="uid14">
    <bodyTitle>Software and Platforms</bodyTitle>
    <subsection id="uid15" level="1">
      <bodyTitle>
        <ref xlink:href="http://www.bocop.org" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">Bocop</ref>
      </bodyTitle>
      <participants>
        <person key="sydoco-2006-id18291">
          <firstname>Pierre</firstname>
          <lastname>Martinon</lastname>
          <moreinfo>corresponding author</moreinfo>
        </person>
        <person key="commands-2012-idp140658102563744">
          <firstname>Daphné</firstname>
          <lastname>Giorgi</lastname>
        </person>
        <person key="commands-2013-idp140298399033984">
          <firstname>Joseph Frédéric</firstname>
          <lastname>Bonnans</lastname>
        </person>
      </participants>
      <p noindent="true">Web page: <ref xlink:href="http://bocop.org" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>bocop.<allowbreak/>org</ref></p>
      <p>The Bocop project aims to develop an open-source toolbox for solving optimal control problems, with collaborations with industrial and academic partners.
Optimal control (optimization of dynamical systems governed by differential equations) has numerous applications in transportation, energy, process optimization, and biology.
The software reuses some packages from the COIN-OR library, in particular the well-known nonlinear programming solver Ipopt, features a user-friendly interface
and can be deployed on Windows / Mac / Linux.</p>
      <p>The project is supported by Inria with the recruitment of Vincent Grelard as developer in 2010-2012, and then Daphné Giorgi since October 2012.
The first prototype was released at the end of 2011, Bocop is currently at version 1.1.4 and has been downloaded more than 700 times.
The software was first succesfully tested on several academic problems, see <ref xlink:href="#commands-2013-bid41" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> available on http://bocop.org.
Starting in 2012, several research collaborations were initiated in fields such as bio-reactors for energy production (<ref xlink:href="#commands-2013-bid42" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid43" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>),
swimming micro-robots (<ref xlink:href="#commands-2013-bid44" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>), and quantum control for medical imaging (<ref xlink:href="#commands-2013-bid45" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>).
Bocop was also featured during our participation in the Imatch "Optimisation and Control" in october, which resulted in a contract with the startup Safety Line (aeronautics).</p>
      <p>
        <i>Bocop auto-assessment according to Inria notice: A3up4, SO3, SM3, EM3up4, SDL4up5</i>
      </p>
      <object id="uid16">
        <table>
          <tr>
            <td>
              <ressource xlink:href="IMG/bocop-screen-init.png" type="inline" width="199.16928pt" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest" media="WEB"/>
            </td>
            <td>
              <ressource xlink:href="IMG/bocop-screen-batch.png" type="inline" width="199.16928pt" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest" media="WEB"/>
            </td>
          </tr>
        </table>
        <caption>BOCOP</caption>
      </object>
    </subsection>
    <subsection id="uid17" level="1">
      <bodyTitle>CollAv</bodyTitle>
      <participants>
        <person key="commands-2007-id18114">
          <firstname>Hasnaa</firstname>
          <lastname>Zidani</lastname>
          <moreinfo>corresponding author</moreinfo>
        </person>
        <person key="commands-2011-idp140463656715712">
          <firstname>Olivier</firstname>
          <lastname>Bokanowski</lastname>
        </person>
        <person key="commands-2010-id59529">
          <firstname>Anna</firstname>
          <lastname>Désilles</lastname>
        </person>
      </participants>
      <p>This software simulates the evolution of controlled dynamical systems (possibly under uncertainties). The numerical algorithm here is based on HJB or viability approaches,
and allows the design of optimal planning strategies (according to a criterion determined by the user: time, energy, ...). It also provides conflict resolution and avoidance
of collisions with fixed or moving obstacles.
So far, the software is used in collaboration with DGA for avoidance collision of UaVs, and by Volkswagen in some
studies related to collision avoidance of cars.
</p>
    </subsection>
    <subsection id="uid18" level="1">
      <bodyTitle>OCOPHyS</bodyTitle>
      <participants>
        <person key="commands-2007-id18114">
          <firstname>Hasnaa</firstname>
          <lastname>Zidani</lastname>
          <moreinfo>corresponding author</moreinfo>
        </person>
      </participants>
      <p>This is a software for optimisation-based controller design for operating in different regimes or modes of operation. The software can be used, for example, to determine
the optimal management for hybrid vehicles or hybrid engines with multiple energy sources. However, the methods used in software are still quite general and can be used
in many applications.
</p>
    </subsection>
    <subsection id="uid19" level="1">
      <bodyTitle>BiNoPe-HJ</bodyTitle>
      <participants>
        <person key="commands-2007-id18114">
          <firstname>Hasnaa</firstname>
          <lastname>Zidani</lastname>
          <moreinfo>corresponding author</moreinfo>
        </person>
        <person key="commands-2011-idp140463656715712">
          <firstname>Olivier</firstname>
          <lastname>Bokanowski</lastname>
        </person>
        <person key="commands-2010-id59529">
          <firstname>Anna</firstname>
          <lastname>Désilles</lastname>
        </person>
      </participants>
      <p noindent="true">Web page: <ref xlink:href="http://www.ensta-paristech.fr/~zidani/BiNoPe-HJ" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.ensta-paristech.fr/ zidani/BiNoPe-HJ</ref></p>
      <p>This project aims at developping sequential and parallel MPI/openMP C++ solvers for the approximation of
Hamilton-Jacobi-Bellman (HJB) equations in a d-dimensional space. The main goal is to provide an HJB solvers that can work in
dimension d (limited by the machine's capacity). The solver outputs can be visualized with Matlab or Paraview (via VTK files).</p>
      <p>The development of the HJB Solver has been initiated under a partnership between COMMANDS and
the SME HPC-project in the period between December 2009 to November
2011. Currently, it is still maintained and improved by COMMANDS.</p>
      <p>In 2012, two versions were released:</p>
      <simplelist>
        <li id="uid20">
          <p noindent="true">HJB-SEQUENTIAL-REF: sequential version that can run on any machine</p>
        </li>
        <li id="uid21">
          <p noindent="true">HJB-PARALLEL-REF: parallel version that can run only on multi-core architectures.</p>
        </li>
      </simplelist>
    </subsection>
    <subsection id="uid22" level="1">
      <bodyTitle>Shoot</bodyTitle>
      <participants>
        <person key="sydoco-2006-id18291">
          <firstname>Pierre</firstname>
          <lastname>Martinon</lastname>
          <moreinfo>corresponding author</moreinfo>
        </person>
      </participants>
      <p>Shoot was designed for the resolution of optimal control problems via indirect methods (necessary conditions, Pontryagin's Maximum Principle).
Such methods transform the original problem into finding a zero of a certain shooting function.
The package offers several choices of integrators and solvers, and can handle control discontinuities.
Features also include the use of variational equations to compute the Jacobian of the shooting function, as well as homotopy and grid shooting techniques for easier initialization.
Shoot is an academic software, and was used during several research contracts with the CNES (french space agency).
</p>
    </subsection>
  </logiciels>
  <resultats id="uid23">
    <bodyTitle>New Results</bodyTitle>
    <subsection id="uid24" level="1">
      <bodyTitle>Optimality conditions in Pontryagin form for optimal control problems</bodyTitle>
      <participants>
        <person key="commands-2013-idp140298399033984">
          <firstname>Joseph Frédéric</firstname>
          <lastname>Bonnans</lastname>
        </person>
        <person key="commands-2013-idp140298399050880">
          <firstname>Xavier</firstname>
          <lastname>Dupuis</lastname>
        </person>
        <person key="commands-2013-idp140298399060096">
          <firstname>Laurent</firstname>
          <lastname>Pfeiffer</lastname>
        </person>
      </participants>
      <subsection id="uid25" level="2">
        <bodyTitle>Necessary conditions</bodyTitle>
        <p>In the paper <ref xlink:href="#commands-2013-bid46" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>,
we state and prove first- and second-order necessary conditions in Pontryagin form for optimal control problems with pure state and mixed control-state constraints.
We say that a Lagrange multiplier of an optimal control problem is a Pontryagin multiplier if it is such that Pontryagin's minimum principle holds,
and we call optimality conditions in Pontryagin form those which only involve Pontryagin multipliers.
Our conditions rely on a technique of partial relaxation, and apply to Pontryagin local minima.</p>
      </subsection>
      <subsection id="uid26" level="2">
        <bodyTitle>Sufficient conditions</bodyTitle>
        <p>In the paper <ref xlink:href="#commands-2013-bid47" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>,
we consider sufficient conditions. More precisely,
given a reference feasible trajectory of an optimal control problem, we say that the quadratic growth property for bounded strong solutions holds if the cost function
of the problem has a quadratic growth over the set of feasible trajectories with a bounded control and with a state variable sufficiently close to the reference state variable.
Our sufficient second-order optimality conditions in Pontryagin form ensure this property and ensure <i>a fortiori</i> that the reference trajectory is a bounded strong solution.
Our proof relies on a decomposition principle, which is a particular second-order expansion of the Lagrangian of the problem.</p>
      </subsection>
      <subsection id="uid27" level="2">
        <bodyTitle>Shooting Approach to Optimal Control Problems</bodyTitle>
        <participants>
          <person key="commands-2013-idp140298399033984">
            <firstname>Joseph Frédéric</firstname>
            <lastname>Bonnans</lastname>
          </person>
        </participants>
        <p>In the paper <ref xlink:href="#commands-2013-bid48" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> we give an overview of the shooting technique for solving deterministic optimal control problems. This approach allows to reduce
locally these problems to a finite dimensional equation. We first recall the basic idea, in the case of unconstrained or control constrained problems, and show the link
with second-order optimality conditions and the analysis or discretization errors. Then we focus on two cases that are now better understood: state constrained problems,
and affine control systems. We end by discussing extensions to the optimal control of a parabolic equation.
</p>
      </subsection>
    </subsection>
    <subsection id="uid28" level="1">
      <bodyTitle>Applications of deterministic optimal control problems</bodyTitle>
      <subsection id="uid29" level="2">
        <bodyTitle>Optimization of running strategies based on anaerobic energy and variations of velocity</bodyTitle>
        <participants>
          <person key="commands-2013-idp140298399033984">
            <firstname>Joseph Frédéric</firstname>
            <lastname>Bonnans</lastname>
          </person>
        </participants>
        <p>In the report <ref xlink:href="#commands-2013-bid49" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>
we present new models, numerical simulations and rigorous analysis for the optimization of the velocity in a race. In a seminal paper, Keller <ref xlink:href="#commands-2013-bid50" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid51" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>
explained how a runner should determine his speed in order to run a given distance in the shortest time. We extend this analysis, based on the equation of motion and
aerobic energy, to include a balance of anaerobic energy (or accumulated oxygen deficit) and an energy recreation term when the speed decreases. We also take into
account that when the anaerobic energy gets too low, the oxygen uptake cannot be maintained to its maximal value. Using optimal control theory, we obtain a proof of
Keller's optimal race, and relate the problem to a relaxed formulation, where the propulsive force represents a probability distribution rather than a value function of time.
Our analysis leads us to introduce a bound on the variations of the propulsive force to obtain a more realistic model which displays oscillations of the velocity.
Our numerical simulations qualitatively reproduce quite well physiological measurements on real runners. We show how, by optimizing over a period, we recover these
oscillations of speed. We point out that our numerical simulations provide in particular the exact instantaneous anaerobic energy used in the exercise.</p>
      </subsection>
      <subsection id="uid30" level="2">
        <bodyTitle>Optimal control of leukemic cell population dynamics</bodyTitle>
        <participants>
          <person key="commands-2013-idp140298399050880">
            <firstname>Xavier</firstname>
            <lastname>Dupuis</lastname>
          </person>
        </participants>
        <p>In the paper <ref xlink:href="#commands-2013-bid52" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>
we discuss the optimal co-administration of two drugs for some acute myeloid leukemias (AML), and we are looking for in vitro protocols as
a first step. This issue can be formulated as an optimal control problem. The dynamics of leukemic cell populations in culture is given
by age-structured partial differential equations, which can be reduced to a system of delay differential equations, and where the controls
represent the action of the drugs. The objective function relies on eigenelements of the uncontrolled model and on general relative
entropy, with the idea to maximize the efficiency of the protocols. The constraints take into account the toxicity of the
drugs. We present in this paper the modeling aspects, as well as theoretical and numerical results on the optimal control problem that we get.</p>
      </subsection>
      <subsection id="uid31" level="2">
        <bodyTitle>Contrast imaging problem in nuclear magnetic resonance</bodyTitle>
        <participants>
          <person key="sydoco-2006-id18291">
            <firstname>Pierre</firstname>
            <lastname>Martinon</lastname>
          </person>
        </participants>
        <p>In collaboration with team McTAO (Sophia), we studied in <ref xlink:href="#commands-2013-bid45" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> and <ref xlink:href="#commands-2013-bid53" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> the contrast imaging problem in nuclear magnetic resonance,
modeled as Mayer problem in optimal control. The optimal solution can be found as an extremal, solution of the Maximum Principle and analyzed with the techniques of geometric control.
A first synthesis of locally optimal solutions is given in the single-input case, with some preliminary results in the bi-input case.
We conducted a comprehensive numerical investigation of the problem, using a combination of indirect shooting (<span class="smallcap" align="left">HamPath</span> software) and direct method (<span class="smallcap" align="left">Bocop</span>),
with a moment-based (<span class="smallcap" align="left">LMI</span>) technique to estimate the global optimum.</p>
        <object id="uid32">
          <table>
            <tr>
              <td>
                <ressource xlink:href="IMG/bi-blood-1p1.png" type="float" width="227.62204pt" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest" media="WEB"/>
              </td>
            </tr>
          </table>
          <caption>Contrast in quantum control for NMR - Oxygenated / deoxygenated blood</caption>
        </object>
      </subsection>
      <subsection id="uid33" level="2">
        <bodyTitle>Optimizing the anaerobic digestion of microalgae in a coupled process</bodyTitle>
        <participants>
          <person key="sydoco-2006-id18291">
            <firstname>Pierre</firstname>
            <lastname>Martinon</lastname>
          </person>
        </participants>
        <p>In collaboration with the Inra-Inria team MODEMIC (Montpellier), we studied in <ref xlink:href="#commands-2013-bid42" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> a bio-reactor system describing the coupling of a culture of micro-algae
and an anaerobic digester. Our aim is to optimize the production of methane in the digester during a certain number of days with respect to the dilution rate (the input flow of
micro-algae in the digester). The mathematical model for the dynamics of the two reactors takes into account a periodic day-night model of the light in the culture of micro-algae,
and a chemostat model for the digester. We first prove existence and attraction of periodic solutions for a one day period, and we apply Pontryagin's Maximum Principle (PMP) in
order to characterize optimal controls. We provide numerical simulations for different light models, by a direct method that we refine using an indirect shooting. We also
investigate the dependence of the optimal cost with respect to the ratio of the volumes of the two tanks. Finally, we investigate the optimal strategies over a large number of days
without periodic constraints, and compared the mean cost to the optimal cost over one period.</p>
        <object id="uid34">
          <table>
            <tr>
              <td>
                <ressource xlink:href="IMG/attraction.png" type="float" width="284.52756pt" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest" media="WEB"/>
              </td>
            </tr>
          </table>
          <caption>Coupled bio-reactor for micro-algae digestion - Attraction property</caption>
        </object>
      </subsection>
      <subsection id="uid35" level="2">
        <bodyTitle>Design of optimal experiments for parameter estimation of microalgae growth models</bodyTitle>
        <participants>
          <person key="sydoco-2006-id18291">
            <firstname>Pierre</firstname>
            <lastname>Martinon</lastname>
          </person>
        </participants>
        <p>In collaboration with team BIOCORE (Sophia), we investigated in <ref xlink:href="#commands-2013-bid43" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> techniques of Optimal Experiment Design for microalgae growth models.
In order to have microalgae growth models that are useful for prediction and process optimization, reliable parameters need to be provided. This reliability implies a careful
design of experiments that can be exploited for parameter estimation. OED techniques can provide guidelines for the design of experiments with high informative content that
allow an accurate parameter estimation. We study a real experimental device devoted to evaluate the effect of temperature and light on microalgae growth. On the basis of a
mathematical model of the experimental system, the optimal experiment design problem was solved as an optimal control problem. E-optimal experiments were obtained by using
two discretization approaches, namely sequential and simultaneous. The results showed that an adequate parameterization of the experimental inputs provided optimal solutions
very close to those provided by the simultaneous discretization. Simulation results showed the relevance of determining optimal experimental inputs for achieving an accurate
parameter estimation.</p>
        <object id="uid36">
          <table>
            <tr>
              <td>
                <ressource xlink:href="IMG/TIP.png" type="float" width="284.52756pt" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest" media="WEB"/>
              </td>
            </tr>
          </table>
          <caption>Experimental apparatus for the study of micro-algae growth (Ifremer)</caption>
        </object>
      </subsection>
      <subsection id="uid37" level="2">
        <bodyTitle>Controllability and optimal strokes for N-link microswimmer</bodyTitle>
        <participants>
          <person key="sydoco-2006-id18291">
            <firstname>Pierre</firstname>
            <lastname>Martinon</lastname>
          </person>
        </participants>
        <p>In <ref xlink:href="#commands-2013-bid44" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> we focus on the N-link swimmer, a generalization of the classical Purcell swimmer. We use the simplification of the Resistive Force Theory to
derive the motion equation for the swimmer in a fluid with a low Reynolds number. We prove that the swimmer is controllable in the whole plane when it is composed by more than
3 sticks and for almost every set of stick lengths. As a direct result, we show that there exists an optimal swimming strategy which leads to minimize the time to reach a desired
configuration. Numerical experiments on the case of the Purcell swimmer suggest that the optimal strategy is periodic, i.e. composed of a sequence of identical strokes. Our results
indicate that this candidate for an optimal stroke indeed gives a better speed than the classical Purcell stroke. Future directions for this work include the design of robotic
micro-swimmers, as well as investigation of the movement of swimming micro-organisms.</p>
        <object id="uid38">
          <table>
            <tr>
              <td>
                <ressource xlink:href="IMG/swimmer_xf.png" type="float" width="284.52756pt" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest" media="WEB"/>
              </td>
            </tr>
          </table>
          <caption>Purcell (3-link) swimmer - Purcell vs optimal stroke</caption>
        </object>
      </subsection>
    </subsection>
    <subsection id="uid39" level="1">
      <bodyTitle>Hamilton-Jacobi (HJ) approach</bodyTitle>
      <subsection id="uid40" level="2">
        <bodyTitle>Dynamic programming and error estimates for stochastic control with Max cost</bodyTitle>
        <participants>
          <person key="commands-2011-idp140463656715712">
            <firstname>Olivier</firstname>
            <lastname>Bokanowski</lastname>
          </person>
          <person key="commands-2011-idp140463656745520">
            <firstname>Athena</firstname>
            <lastname>Picarelli</lastname>
          </person>
          <person key="commands-2007-id18114">
            <firstname>Hasnaa</firstname>
            <lastname>Zidani</lastname>
          </person>
        </participants>
        <p>The paper <ref xlink:href="#commands-2013-bid54" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>
is concerned with stochastic optimal control for a running maximum cost. A direct approach based on dynamic programming techniques is
studied leading to the characterization of the value function as the unique viscosity solution of a second order Hamilton-Jacobi-Bellman (HJB)
equation with an oblique derivative boundary condition. A general numerical scheme is proposed and a convergence result is provided.
Error estimates are obtained for the semi-Lagrangian scheme. These results can apply to the case of lookback options in finance.
Moreover, optimal control problems with maximum cost arise in the characterization of the reachable sets for a system of controlled stochastic
differential equations. Some numerical simulations on examples of reachable analysis are included to illustrate our approach.</p>
      </subsection>
      <subsection id="uid41" level="2">
        <bodyTitle>Optimal feedback control of undamped wave equations by solving a HJB equation</bodyTitle>
        <participants>
          <person key="commands-2007-id18114">
            <firstname>Hasnaa</firstname>
            <lastname>Zidani</lastname>
          </person>
        </participants>
        <p>An optimal finite-time horizon feedback control problem for (semi linear) wave equations is studied in <ref xlink:href="#commands-2013-bid55" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.
The feedback law can be derived from the dynamic programming principle and requires to solve the evolutionary Hamilton-Jacobi-Bellman (HJB) equation.
Classical discretization methods based on finite elements lead to approximated problems governed by ODEs in high dimensional space which makes
infeasible the numerical resolution by HJB approach. In the present paper, an approximation based on spectral elements is used to discretize the wave equation.
The effect of noise is considered and numerical simulations are presented to show the relevance of the approach</p>
      </subsection>
      <subsection id="uid42" level="2">
        <bodyTitle>Transmission conditions on interfaces for Hamilton-Jacobi-Bellman equations</bodyTitle>
        <participants>
          <person key="commands-2007-id18114">
            <firstname>Hasnaa</firstname>
            <lastname>Zidani</lastname>
          </person>
          <person key="commands-2010-id59802">
            <firstname>Zhiping</firstname>
            <lastname>Rao</lastname>
          </person>
        </participants>
        <p>The works <ref xlink:href="#commands-2013-bid56" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#commands-2013-bid57" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> deal
with deterministic control problems where the dynamic and the
running cost can be completely different in two (or more)
complementary domains of the space <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msup><mrow><mi>I</mi><mspace width="-1.70717pt"/><mi>R</mi></mrow><mi>N</mi></msup></math></formula>. As a consequence, the
dynamics and running cost present discontinuities at the
interfaces of these domains. This leads to a complex interplay
that has to be analyzed among transmission conditions to "glue"
the propagation of the value function on the interfaces. Several
questions arise: how to define properly the value function(s) and
what is (are) the right Bellman Equation(s) associated with this
problem?. In the case of a simple geometry (namely when the space
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msup><mrow><mi>I</mi><mspace width="-1.70717pt"/><mi>R</mi></mrow><mi>N</mi></msup></math></formula> is partitioned into two subdomains separated with an interface which is assumed to be a regular hypersurface
without any connectedness requirement),
<ref xlink:href="#commands-2013-bid56" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> discuss different conditions on the hyperplane where the
dynamic and the running cost are discontinuous, and
the uniqueness properties of the Bellman problem are studied. In this paper it is used
a dynamical approach, namely instead of working with test
functions, the accent is put on invariance properties of an
augmented dynamics related to the integrated control system. The
comparison principle is accordingly based, rather than on
(semi)continuity of the Hamiltonian appearing in the
Hamilton–Jacobi–Bellman equation, on some weak separation
properties of this dynamics with respect to the stratification.
A more general situation where the space is partionned on several domains is also
analyzed in <ref xlink:href="#commands-2013-bid57" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.</p>
      </subsection>
      <subsection id="uid43" level="2">
        <bodyTitle>Singular perturbation of optimal control problems on multi-domains</bodyTitle>
        <participants>
          <person key="commands-2007-id18461">
            <firstname>Nicolas</firstname>
            <lastname>Forcadel</lastname>
          </person>
          <person key="commands-2007-id18114">
            <firstname>Hasnaa</firstname>
            <lastname>Zidani</lastname>
          </person>
        </participants>
        <p>The goal of the paper<ref xlink:href="#commands-2013-bid58" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> is to study a singular perturbation problem in the framework of optimal control on multi-domains.
We consider an optimal control problem in which the controlled system contains a fast and a slow variables.
This problem is reformulated as an Hamilton-Jacobi-Bellman (HJB) equation. The main difficulty comes from the fact
that the fast variable lives in a multi-domain. The geometric singularity of the multi-domains leads to the discontinuity of the Hamiltonian.
Under a controllability assumption on the fast variables, the limit equation (as the velocity of the fast variable goes to infinity) is obtained
via a PDE approach and by means of the tools of the control theory.</p>
      </subsection>
      <subsection id="uid44" level="2">
        <bodyTitle>Optimal control of first order HJ equations with linearly bounded Hamiltonian</bodyTitle>
        <participants>
          <person key="commands-2013-idp140298399069312">
            <firstname>Philip</firstname>
            <lastname>Graber</lastname>
          </person>
        </participants>
        <p>In <ref xlink:href="#commands-2013-bid59" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, we consider the optimal control of solutions of first order Hamilton-Jacobi equations, where the Hamiltonian is convex with linear growth. This models the problem of steering the propagation of a front by constructing an obstacle. We prove existence of minimizers to this optimization problem as in a relaxed setting and characterize the minimizers as weak solutions to a mean field game type system of coupled partial differential equations. Furthermore, we prove existence and partial uniqueness of weak solutions to the PDE system. An interpretation in terms of mean field games is also discussed.</p>
      </subsection>
      <subsection id="uid45" level="2">
        <bodyTitle>Zubov's equation for state-constrained perturbed nonlinear systems</bodyTitle>
        <participants>
          <person key="commands-2007-id18114">
            <firstname>Hasnaa</firstname>
            <lastname>Zidani</lastname>
          </person>
        </participants>
        <p>The paper <ref xlink:href="#commands-2013-bid60" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> gives a characterization of the uniform robust domain of attraction for a
nite non-linear controlled system subject to perturbations and state constraints. We extend
the Zubov approach to characterize this domain by means of the value function of a suitable
in nite horizon state-constrained control problem which at the same time is a Lyapunov
function for the system. We provide associated Hamilton-Jacobi-Bellman equations and
prove existence and uniqueness of the solutions of these generalized Zubov equations.</p>
      </subsection>
      <subsection id="uid46" level="2">
        <bodyTitle>Numerical methods for chance-constrained stochastic optimal control problems</bodyTitle>
        <participants>
          <person key="commands-2013-idp140298399060096">
            <firstname>Laurent</firstname>
            <lastname>Pfeiffer</lastname>
          </person>
        </participants>
        <p>In Laurent Pfeiffer's PhD, we study stochastic optimal control problems with a probability constraint on the final state. This constraint must be satisfied with a probability greater
or equal than a given level. We analyse and compare two approaches for discrete-time problems: a first one based on a dynamic programming principle and a second one using
Lagrange relaxation. These approaches can be used for continuous-time problems, for which we give numerical illustrations.</p>
      </subsection>
    </subsection>
  </resultats>
  <contrats id="uid47">
    <bodyTitle>Bilateral Contracts and Grants with Industry</bodyTitle>
    <subsection id="uid48" level="1">
      <bodyTitle>Safety Line</bodyTitle>
      <p>Following the “iMatch Contrôle Optimisation” event held at Inria Saclay on October 23rd (2012), a collaboration was initiated between COMMANDS
and the startup Safety Line (http ://www.safety-line.fr), with a first contract on optimizing the ascent phase for commercial planes.
A crucial aspect of this work is the identification of accurate and reliable models for the aerodynamic and thrust forces acting on the plane.
For this study our partners at Safety Line provide us access to data recorded during several thousands of actual commercial flights, and COMMANDS
recruited Stephan Maindrault as engineer to work on this project.
</p>
    </subsection>
    <subsection id="uid49" level="1">
      <bodyTitle>CNES</bodyTitle>
      <p>This contract between CNES and ENSTA lasted from February to December 2013, and was devoted to trajectory global
optimization for an Ariane 5 launcher, using HJB techniques. The optimization was on the whole launch, including
ballistic phases and the parameters of the intermediate GTO orbit, while maximizing the payload mass.
</p>
    </subsection>
  </contrats>
  <partenariat id="uid50">
    <bodyTitle>Partnerships and Cooperations</bodyTitle>
    <subsection id="uid51" level="1">
      <bodyTitle>National Initiatives</bodyTitle>
      <subsection id="uid52" level="2">
        <bodyTitle>DGA</bodyTitle>
        <participants>
          <person key="commands-2011-idp140463656715712">
            <firstname>Olivier</firstname>
            <lastname>Bokanowski</lastname>
          </person>
          <person key="commands-2010-id59529">
            <firstname>Anna</firstname>
            <lastname>Désilles</lastname>
          </person>
          <person key="commands-2007-id18114">
            <firstname>Hasnaa</firstname>
            <lastname>Zidani</lastname>
          </person>
        </participants>
        <p>This project is a collaboration in the framework of a 3-year (2012-2015) research program funded by DGA.
The title of the project is “Problèmes de commande optimale pour des systèmes non-linéaires en présence
d’incertitudes et sous contraintes de probabilité de succès”.</p>
      </subsection>
      <subsection id="uid53" level="2">
        <bodyTitle>ANR HJNet</bodyTitle>
        <participants>
          <person key="commands-2011-idp140463656715712">
            <firstname>Olivier</firstname>
            <lastname>Bokanowski</lastname>
          </person>
          <person key="commands-2010-id59802">
            <firstname>Zhiping</firstname>
            <lastname>Rao</lastname>
          </person>
          <person key="commands-2007-id18114">
            <firstname>Hasnaa</firstname>
            <lastname>Zidani</lastname>
          </person>
        </participants>
        <p>The team is part of the collaborative project HJNet funded by the French National Research Agency
(ANR-12-BS01-0008-01). It started in January 2013 and will end in December 2013. Website: http://hjnet.math.cnrs.fr
</p>
      </subsection>
    </subsection>
    <subsection id="uid54" level="1">
      <bodyTitle>European Initiatives</bodyTitle>
      <subsection id="uid55" level="2">
        <bodyTitle>FP7 Projects</bodyTitle>
        <subsection id="uid56" level="3">
          <bodyTitle>SADCO</bodyTitle>
          <sanspuceslist>
            <li id="uid57">
              <p noindent="true">Instrument: Initial Training Network</p>
            </li>
            <li id="uid58">
              <p noindent="true">Duration: January 2011 - December 2014</p>
            </li>
            <li id="uid59">
              <p noindent="true">Coordinator: Inria</p>
            </li>
            <li id="uid60">
              <p noindent="true">Partner: Univ. of Louvain, Univ. Bayreuth, Univ. Porto, Univ. Rome - La Sapienza, ICL, Astrium-Eads,
Astos solutions, Volkswagen, Univ. Padova, Univ. Pierre et Marie Curie.</p>
            </li>
            <li id="uid61">
              <p noindent="true">Inria contact: Hasnaa Zidani</p>
            </li>
            <li id="uid62">
              <p noindent="true">Abstract: Optimisation-based control systems concern the determination of control strategies for complex, dynamic systems, to optimise some measures of best performance.
It has the potential for application to a wide range of fields, including aerospace, chemical processing, power systems control, transportation systems and resource economics.
It is of special relevance today, because optimization provides a natural framework for determining control strategies, which
are energy efficient and respect environmental constraints.
The multi-partner initial training network SADCO aims at: Training
young researchers and future scientific leaders in the field of
control theory with emphasis on two major themes sensitivity of
optimal strategies to changes in the optimal control problem
specification, and deterministic controller design; Advancing the
theory and developing new numerical methods; Conveying fundamental
scientific contributions within European industrial sectors.</p>
            </li>
            <li id="uid63">
              <p noindent="true">See: <ref xlink:href=" http://itn-sadco.inria.fr" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"> http://<allowbreak/>itn-sadco.<allowbreak/>inria.<allowbreak/>fr</ref></p>
            </li>
          </sanspuceslist>
        </subsection>
      </subsection>
    </subsection>
    <subsection id="uid64" level="1">
      <bodyTitle>International Initiatives</bodyTitle>
      <subsection id="uid65" level="2">
        <bodyTitle>Inria Associate Teams</bodyTitle>
        <subsection id="uid66" level="3">
          <bodyTitle>OCONET</bodyTitle>
          <sanspuceslist>
            <li id="uid67">
              <p noindent="true">Title: Optimization and control in network economics</p>
            </li>
            <li id="uid68">
              <p noindent="true">Inria principal investigator: Frédéric Bonnans</p>
            </li>
            <li id="uid69">
              <p noindent="true">International Partner (Institution - Laboratory - Researcher):</p>
              <sanspuceslist>
                <li id="uid70">
                  <p noindent="true">University of Chile (Chile) - Center for Mathematical Modeling - Joseph Frédéric Bonnans</p>
                </li>
              </sanspuceslist>
            </li>
            <li id="uid71">
              <p noindent="true">Duration: 2012 - 2014</p>
            </li>
            <li id="uid72">
              <p noindent="true">See also: http://www.cmm.uchile.cl/EA_OCONET</p>
            </li>
            <li id="uid73">
              <p noindent="true">Limited resources in telecommunication, energy, gas and water supply networks, lead to multi-agent interactions that can be seen as games or economic
equilibrium involving stochastic optimization and optimal control problems. Interaction occurs within a network, where decisions on what to produce, consume,
trade or plan, are subject to constraints imposed by node and link capacities, risk, and uncertainty, e.g. the capacity of generators and transmission lines;
capacity of pipeline in gas supply; switches and antennas in telecommunication. At the same time, nonlinear phenomena arise from price formation as a consequence
of demand-supply equilibria or multi-unit auction processes in the case of energy and telecommunication. We will focus first in this project in electricity markets
in which there are producers/consumers PCs, and an agent called ISO (Independent system operator) in charge of the management of the network. One major application
we have in mind is the one of smart (electrical) grids, in view of the increased use of renewable energies, that is, a massive entry of wind, geothermal, solar in particular.</p>
            </li>
          </sanspuceslist>
        </subsection>
      </subsection>
      <subsection id="uid74" level="2">
        <bodyTitle>Inria International Labs</bodyTitle>
        <simplelist>
          <li id="uid75">
            <p noindent="true">The team is involved in the "Energy Optimization" group of the Inria research center in Chile (CIRIC).
Several visits to Chile were conducted in relation with this project.</p>
          </li>
        </simplelist>
      </subsection>
    </subsection>
    <subsection id="uid76" level="1">
      <bodyTitle>International Research Visitors</bodyTitle>
      <subsection id="uid77" level="2">
        <bodyTitle>Visits of International Scientists</bodyTitle>
        <simplelist>
          <li id="uid78">
            <p noindent="true">Prof. B.S. Goh, Curtin University, Miri, Malaysia;
two weeks in February.</p>
          </li>
          <li id="uid79">
            <p noindent="true">M.S. Aronna, Rosario University, Argentina;
one month (February and November).</p>
          </li>
        </simplelist>
        <subsection id="uid80" level="3">
          <bodyTitle>Internships</bodyTitle>
          <simplelist>
            <li id="uid81">
              <p noindent="true">Arthur Marly, second year student of ENS Lyon. Two months intership.
Subject: optimal control of populations with state constraints.
Supervisor: F. Bonnans.</p>
            </li>
          </simplelist>
        </subsection>
      </subsection>
    </subsection>
  </partenariat>
  <diffusion id="uid82">
    <bodyTitle>Dissemination</bodyTitle>
    <subsection id="uid83" level="1">
      <bodyTitle>Scientific Animation</bodyTitle>
      <simplelist>
        <li id="uid84">
          <p noindent="true">F. Bonnans is Corresponding Editor of “ESAIM:COCV” (Control, Optimization and Calculus of Variations),
and Associate Editor of “Applied Mathematics and Optimization”, “Optimization, Methods and Software”, and
“Series on Mathematics and its Applications, Annals of The Academy of Romanian Scientists”.</p>
        </li>
        <li id="uid85">
          <p noindent="true">F. Bonnans is chairman of the SMAI-MODE group (the optimization group of the French Applied Mathematics Society) until June 2013.</p>
        </li>
      </simplelist>
    </subsection>
    <subsection id="uid86" level="1">
      <bodyTitle>Teaching - Supervision - Juries</bodyTitle>
      <simplelist>
        <li id="uid87">
          <p noindent="true">F. Bonnans:
Optimal control, 7h, M2, Ensta, France.</p>
        </li>
        <li id="uid88">
          <p noindent="true">F. Bonnans:
Continuous Optimization, 18h, M2, Ecole Polytechnique and U. Paris 6, France.</p>
        </li>
        <li id="uid89">
          <p noindent="true">F. Bonnans:
Numerical analysis of partial differential equations arising in
finance and stochastic control, 24h, M2, Ecole Polytechnique and
U. Paris 6, France.</p>
        </li>
        <li id="uid90">
          <p noindent="true">H. Zidani: Optimal control, 14h, M2, Ensta, France.</p>
        </li>
        <li id="uid91">
          <p noindent="true">H. Zidani: Numerical methods for front propagation, 21h, M2, Ensta France</p>
        </li>
      </simplelist>
      <sanspuceslist>
        <li id="uid92">
          <p noindent="true">PhD: Xavier Dupuis,
Optimal control with or witout memories.
ended Nov. 2013, F. Bonnans.</p>
        </li>
        <li id="uid93">
          <p noindent="true">PhD : Laurent Pfeiffer,
Sensitivity analysis for optimal control problems;
Stochastic optimal control with probability constraints.
ended Nov. 2013, F. Bonnans.</p>
        </li>
        <li id="uid94">
          <p noindent="true">PhD: Zhiping Rao,
Hamilton-Jacobi equations with discontinuous coefficients.
Ended Dec. 2013, H. Zidani and N. Forcadel.</p>
        </li>
        <li id="uid95">
          <p noindent="true">PhD in progress : Imène Ben-Latifa,
Optimal multiple stopping and valuation of swing options in jump models.
Oct. 2010, F. Bonnans and M. Mnif (ENIT, Tunis).</p>
        </li>
        <li id="uid96">
          <p noindent="true">PhD in progress: Athena Picarelli,
First and Second Order Hamilton-Jacobi equations for State-Constrained Control Problems.
Nov. 2011, O. Bokanowski and H. Zidani</p>
        </li>
        <li id="uid97">
          <p noindent="true">PhD in progress: Cristopher Hermosilla,
Feedback controls and optimal trajectories.
Nov. 2011, H. Zidani.</p>
        </li>
        <li id="uid98">
          <p noindent="true">PhD in progress: Mohamed Assellaou,
Reachability analysis for stochastic controlled systems.
Oct. 2011, O. Bokanowski and H.Zidani.</p>
        </li>
        <li id="uid99">
          <p noindent="true">PhD in progress: Benjamin Heymann,
Dynamic optimization with uncertainty;
application to energy production. Oct. 2013, F. Bonnans.</p>
        </li>
      </sanspuceslist>
    </subsection>
    <subsection id="uid100" level="1">
      <bodyTitle>Popularization</bodyTitle>
      <p>Pierre Martinon presented an “Unithé ou Café” talk about optimal control on November 8th, entitled “Quand le mieux n'est pas l'ennemi du bien”.</p>
    </subsection>
  </diffusion>
  <biblio id="bibliography" html="bibliography" numero="10" titre="Bibliography">
    
    <biblStruct id="commands-2013-bid85" type="article" rend="refer" n="refercite:ref-BBLVHT05">
      <analytic>
        <title level="a">An Interior-Point Approach to Trajectory Optimization</title>
        <author>
          <persName>
            <foreName>N.</foreName>
            <surname>Bérend</surname>
            <initial>N.</initial>
          </persName>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName key="sydoco-2005-id18199">
            <foreName>Julien</foreName>
            <surname>Laurent-Varin</surname>
            <initial>J.</initial>
          </persName>
          <persName>
            <foreName>M.</foreName>
            <surname>Haddou</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>C.</foreName>
            <surname>Talbot</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">J. Guidance, Control and Dynamics</title>
        <imprint>
          <biblScope type="volume">30</biblScope>
          <biblScope type="number">5</biblScope>
          <dateStruct>
            <year>2007</year>
          </dateStruct>
          <biblScope type="pages">1228-1238</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid82" type="article" rend="refer" n="refercite:Bok-Bru-Mar-Zid-2009">
      <analytic>
        <title level="a">Numerical approximation for a superreplication problem under gamma constraints</title>
        <author>
          <persName key="commands-2011-idp140463656715712">
            <foreName>Olivier</foreName>
            <surname>Bokanowski</surname>
            <initial>O.</initial>
          </persName>
          <persName>
            <foreName>B.</foreName>
            <surname>Bruder</surname>
            <initial>B.</initial>
          </persName>
          <persName key="sydoco-2005-id18213">
            <foreName>S.</foreName>
            <surname>Maroso</surname>
            <initial>S.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes">
        <title level="j">SIAM. Num. Analysis.</title>
        <imprint>
          <biblScope type="volume">47(3)</biblScope>
          <dateStruct>
            <year>2009</year>
          </dateStruct>
          <biblScope type="pages">2289–2320</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid83" type="article" rend="refer" n="refercite:Bok-Meg-Zid-2009">
      <analytic>
        <title level="a">Convergence of a non-monotone scheme for Hamilton-Jacobi-Bellman equations with discontinuous data</title>
        <author>
          <persName key="commands-2011-idp140463656715712">
            <foreName>Olivier</foreName>
            <surname>Bokanowski</surname>
            <initial>O.</initial>
          </persName>
          <persName key="sydoco-2005-id18227">
            <foreName>Nadia</foreName>
            <surname>Megdich</surname>
            <initial>N.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes">
        <title level="j">Numerische Mathematik / Numerical Mathematics</title>
        <imprint>
          <biblScope type="volume">115</biblScope>
          <biblScope type="number">1</biblScope>
          <dateStruct>
            <year>2010</year>
          </dateStruct>
          <biblScope type="pages">1–44</biblScope>
          <ref xlink:href="http://hal.inria.fr/inria-00193157" type="hal" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>inria-00193157</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid78" type="book" rend="refer" n="refercite:ref-BGLSa">
      <monogr x-international-audience="yes">
        <title level="m">Numerical Optimization: theoretical and numerical aspects</title>
        <title level="s">Universitext</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName>
            <foreName>J. Ch.</foreName>
            <surname>Gilbert</surname>
            <initial>J. C.</initial>
          </persName>
          <persName key="bipop-2005-id18147">
            <foreName>C.</foreName>
            <surname>Lemaréchal</surname>
            <initial>C.</initial>
          </persName>
          <persName key="sydoco-2005-id18118">
            <foreName>C.</foreName>
            <surname>Sagastizábal</surname>
            <initial>C.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>Springer-Verlag, Berlin</orgName>
          </publisher>
          <dateStruct>
            <year>2006</year>
          </dateStruct>
        </imprint>
      </monogr>
      <note type="bnote">second edition</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid80" type="article" rend="refer" n="refercite:BonMarZid07">
      <analytic>
        <title level="a">Error estimates for a stochastic impulse control problem</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName key="sydoco-2005-id18213">
            <foreName>S.</foreName>
            <surname>Maroso</surname>
            <initial>S.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes">
        <title level="j">Appl. Math. and Optim.</title>
        <imprint>
          <biblScope type="volume">55</biblScope>
          <biblScope type="number">3</biblScope>
          <dateStruct>
            <year>2007</year>
          </dateStruct>
          <biblScope type="pages">327–357</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid79" type="book" rend="refer" n="refercite:ref-PAOP">
      <monogr x-international-audience="yes">
        <title level="m">Perturbation analysis of optimization problems</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName>
            <foreName>A.</foreName>
            <surname>Shapiro</surname>
            <initial>A.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>Springer-Verlag, New York</orgName>
          </publisher>
          <dateStruct>
            <year>2000</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid81" type="article" rend="refer" n="refercite:ref-BonZid03">
      <analytic>
        <title level="a">Consistency of generalized finite difference schemes for the stochastic HJB equation</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes">
        <title level="j">SIAM J. Numerical Analysis</title>
        <imprint>
          <biblScope type="volume">41</biblScope>
          <dateStruct>
            <year>2003</year>
          </dateStruct>
          <biblScope type="pages">1008-1021</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid84" type="article" rend="refer" n="refercite:ref-GeMa07">
      <analytic>
        <title level="a">Using switching detection and variational equations for the shooting method</title>
        <author>
          <persName key="mctao-2012-idp140402945224080">
            <foreName>Joseph</foreName>
            <surname>Gergaud</surname>
            <initial>J.</initial>
          </persName>
          <persName key="sydoco-2006-id18291">
            <foreName>Pierre</foreName>
            <surname>Martinon</surname>
            <initial>P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes">
        <title level="j">Optimal Control Applications and Methods</title>
        <imprint>
          <biblScope type="volume">28</biblScope>
          <biblScope type="number">2</biblScope>
          <dateStruct>
            <year>2007</year>
          </dateStruct>
          <biblScope type="pages">95–116</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid86" type="article" rend="refer" n="refercite:MBLVT09">
      <analytic>
        <title level="a">Numerical study of optimal trajectories with singular arcs for an Ariane 5 launcher</title>
        <author>
          <persName key="sydoco-2006-id18291">
            <foreName>Pierre</foreName>
            <surname>Martinon</surname>
            <initial>P.</initial>
          </persName>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName key="sydoco-2005-id18199">
            <foreName>Julien</foreName>
            <surname>Laurent-Varin</surname>
            <initial>J.</initial>
          </persName>
          <persName key="commands-2007-id18254">
            <foreName>Emmanuel</foreName>
            <surname>Trélat</surname>
            <initial>E.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes">
        <title level="j">J. Guidance, Control, and Dynamics</title>
        <imprint>
          <biblScope type="volume">32</biblScope>
          <biblScope type="number">1</biblScope>
          <dateStruct>
            <year>2009</year>
          </dateStruct>
          <biblScope type="pages">51-55</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid75" type="phdthesis" rend="year" n="cite:dupuis:tel-00914246">
      <identifiant type="hal" value="tel-00914246"/>
      <monogr>
        <title level="m">Contrôle optimal d'équations différentielles avec - ou sans - mémoire</title>
        <author>
          <persName>
            <foreName>Xavier</foreName>
            <surname>Dupuis</surname>
            <initial>X.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName type="school">Ecole Polytechnique X</orgName>
          </publisher>
          <dateStruct>
            <month>November</month>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/tel-00914246" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>tel-00914246</ref>
        </imprint>
      </monogr>
      <note type="typdoc">Ph. D. Thesis</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid73" type="phdthesis" rend="year" n="cite:pfeiffer:pastel-00881119">
      <identifiant type="hal" value="pastel-00881119"/>
      <monogr>
        <title level="m">Analyse de sensibilité pour des problèmes de commande optimale. Commande optimale stochastique sous contrainte en probabilité</title>
        <author>
          <persName>
            <foreName>Laurent</foreName>
            <surname>Pfeiffer</surname>
            <initial>L.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName type="school">Ecole Polytechnique X</orgName>
          </publisher>
          <dateStruct>
            <month>November</month>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/pastel-00881119" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>pastel-00881119</ref>
        </imprint>
      </monogr>
      <note type="typdoc">Ph. D. Thesis</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid74" type="phdthesis" rend="year" n="cite:rao:pastel-00927358">
      <identifiant type="hal" value="pastel-00927358"/>
      <monogr>
        <title level="m">L'approche Hamilton-Jacobi-Bellman pour des problèmes de contrôle optimal avec des coefficients discontinus</title>
        <author>
          <persName key="commands-2010-id59802">
            <foreName>Zhiping</foreName>
            <surname>Rao</surname>
            <initial>Z.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName type="school">Ecole Polytechnique X</orgName>
          </publisher>
          <dateStruct>
            <month>December</month>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/pastel-00927358" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>pastel-00927358</ref>
        </imprint>
      </monogr>
      <note type="typdoc">Ph. D. Thesis</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid62" type="article" rend="year" n="cite:altarovici:hal-00653337">
      <identifiant type="doi" value="10.1051/cocv/2012011"/>
      <identifiant type="hal" value="hal-00653337"/>
      <analytic>
        <title level="a">A general Hamilton-Jacobi framework for nonlinear state-constrained control problems</title>
        <author>
          <persName key="commands-2011-idp140463656750896">
            <foreName>Albert</foreName>
            <surname>Altarovici</surname>
            <initial>A.</initial>
          </persName>
          <persName key="commands-2011-idp140463656715712">
            <foreName>Olivier</foreName>
            <surname>Bokanowski</surname>
            <initial>O.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes" id="rid00555">
        <idno type="issn">1292-8119</idno>
        <title level="j">ESAIM: Control, Optimisation and Calculus of Variations</title>
        <imprint>
          <biblScope type="volume">19</biblScope>
          <biblScope type="number">2</biblScope>
          <dateStruct>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">337–357</biblScope>
          <ref xlink:href="http://hal.inria.fr/hal-00653337" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00653337</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid69" type="article" rend="year" n="cite:aronna:inria-00631332">
      <identifiant type="doi" value="10.1007/s10957-012-0254-8"/>
      <identifiant type="hal" value="inria-00631332"/>
      <analytic>
        <title level="a">A Shooting Algorithm for Optimal Control Problems with Singular Arcs</title>
        <author>
          <persName>
            <foreName>Maria Soledad</foreName>
            <surname>Aronna</surname>
            <initial>M. S.</initial>
          </persName>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName key="sydoco-2006-id18291">
            <foreName>Pierre</foreName>
            <surname>Martinon</surname>
            <initial>P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes" id="rid01324">
        <idno type="issn">0022-3239</idno>
        <title level="j">Journal of Optimization Theory and Applications</title>
        <imprint>
          <biblScope type="volume">158</biblScope>
          <biblScope type="number">2</biblScope>
          <dateStruct>
            <month>August</month>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">419-459</biblScope>
          <ref xlink:href="http://hal.inria.fr/inria-00631332" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>inria-00631332</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid63" type="article" rend="year" n="cite:bokanowski:hal-00653532">
      <identifiant type="doi" value="10.1007/s00211-013-0555-3"/>
      <identifiant type="hal" value="hal-00653532"/>
      <analytic>
        <title level="a">A discontinuous Galerkin scheme for front propagation with obstacles</title>
        <author>
          <persName key="commands-2011-idp140463656715712">
            <foreName>Olivier</foreName>
            <surname>Bokanowski</surname>
            <initial>O.</initial>
          </persName>
          <persName>
            <foreName>Yingda</foreName>
            <surname>Cheng</surname>
            <initial>Y.</initial>
          </persName>
          <persName key="scalapplix-2006-id18911">
            <foreName>Chi-Wang</foreName>
            <surname>Shu</surname>
            <initial>C.-W.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes" id="rid01619">
        <idno type="issn">0029-599X</idno>
        <title level="j">Numerische Mathematik</title>
        <imprint>
          <dateStruct>
            <month>June</month>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00653532" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00653532</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid68" type="article" rend="year" n="cite:bonnans:hal-00740698">
      <identifiant type="doi" value="10.1080/10556788.2013.830220"/>
      <identifiant type="hal" value="hal-00740698"/>
      <analytic>
        <title level="a">Optimal control of a semilinear parabolic equation with singular arcs</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes" id="rid01638">
        <idno type="issn">1055-6788</idno>
        <title level="j">Optimization, Methods and Software</title>
        <imprint>
          <dateStruct>
            <month>August</month>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">14</biblScope>
          <ref xlink:href="http://hal.inria.fr/hal-00740698" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00740698</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid65" type="article" rend="year" n="cite:bonnans:hal-00697504">
      <identifiant type="doi" value="10.1007/s10957-013-0299-3"/>
      <identifiant type="hal" value="hal-00697504"/>
      <analytic>
        <title level="a">First and second order optimality conditions for optimal control problems of state constrained integral equations</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName>
            <foreName>Constanza</foreName>
            <surname>De La Vega</surname>
            <initial>C.</initial>
          </persName>
          <persName>
            <foreName>Xavier</foreName>
            <surname>Dupuis</surname>
            <initial>X.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes" id="rid01324">
        <idno type="issn">0022-3239</idno>
        <title level="j">Journal of Optimization Theory and Applications</title>
        <imprint>
          <biblScope type="volume">159</biblScope>
          <biblScope type="number">1</biblScope>
          <dateStruct>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">1-40</biblScope>
          <ref xlink:href="http://hal.inria.fr/hal-00697504" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00697504</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid66" type="article" rend="year" n="cite:bonnans:hal-00702246">
      <identifiant type="doi" value="10.1016/j.na.2013.04.013"/>
      <identifiant type="hal" value="hal-00702246"/>
      <analytic>
        <title level="a">Sensitivity analysis for relaxed optimal control problems with final-state constraints</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName>
            <foreName>Laurent</foreName>
            <surname>Pfeiffer</surname>
            <initial>L.</initial>
          </persName>
          <persName key="commands-2009-id59464">
            <foreName>Oana Silvia</foreName>
            <surname>Serea</surname>
            <initial>O. S.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes" id="rid01596">
        <idno type="issn">0362-546X</idno>
        <title level="j">Nonlinear Analysis: Theory, Methods &amp; Applications</title>
        <imprint>
          <biblScope type="volume">89</biblScope>
          <dateStruct>
            <month>September</month>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">55-80</biblScope>
          <ref xlink:href="http://hal.inria.fr/hal-00702246" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00702246</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid70" type="article" rend="year" n="cite:bonnans:inria-00634387">
      <identifiant type="doi" value="10.1007/s00245-013-9197-1"/>
      <identifiant type="hal" value="inria-00634387"/>
      <analytic>
        <title level="a">A model-free no-arbitrage price bound for variance options</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName key="tosca-2008-id19074">
            <foreName>Xiaolu</foreName>
            <surname>Tan</surname>
            <initial>X.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes" id="rid00184">
        <idno type="issn">0095-4616</idno>
        <title level="j">Applied Mathematics and Optimization</title>
        <imprint>
          <biblScope type="volume">68</biblScope>
          <biblScope type="number">1</biblScope>
          <dateStruct>
            <month>July</month>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">43-73</biblScope>
          <ref xlink:href="http://hal.inria.fr/inria-00634387" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>inria-00634387</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid64" type="article" rend="year" n="cite:forcadel:hal-00653671">
      <identifiant type="doi" value="10.1007/s00245-013-9193-5"/>
      <identifiant type="hal" value="hal-00653671"/>
      <analytic>
        <title level="a">State-constrained Optimal Control Problems of Impulsive Differential Equations</title>
        <author>
          <persName key="commands-2007-id18461">
            <foreName>Nicolas</foreName>
            <surname>Forcadel</surname>
            <initial>N.</initial>
          </persName>
          <persName key="commands-2010-id59802">
            <foreName>Zhiping</foreName>
            <surname>Rao</surname>
            <initial>Z.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes" id="rid00184">
        <idno type="issn">0095-4616</idno>
        <title level="j">Applied Mathematics and Optimization</title>
        <imprint>
          <dateStruct>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00653671" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00653671</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid67" type="article" rend="year" n="cite:granato:hal-00735724">
      <identifiant type="hal" value="hal-00735724"/>
      <analytic>
        <title level="a">Level-set approach for Reachability Analysis of Hybrid Systems under Lag Constraints</title>
        <author>
          <persName key="commands-2008-id18525">
            <foreName>Giovanni</foreName>
            <surname>Granato</surname>
            <initial>G.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes" id="rid01820">
        <idno type="issn">0363-0129</idno>
        <title level="j">SIAM Journal on Control and Optimization</title>
        <imprint>
          <dateStruct>
            <year>2014</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00735724" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00735724</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct subtype="nonparu-n" id="commands-2013-bid61" type="article" rend="year" n="cite:imbert:hal-00569010">
      <identifiant type="doi" value="10.1051/cocv/2012002"/>
      <identifiant type="hal" value="hal-00569010"/>
      <analytic>
        <title level="a">A Hamilton-Jacobi approach to junction problems and application to traffic flows</title>
        <author>
          <persName>
            <foreName>Cyril</foreName>
            <surname>Imbert</surname>
            <initial>C.</initial>
          </persName>
          <persName>
            <foreName>Régis</foreName>
            <surname>Monneau</surname>
            <initial>R.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes" id="rid00555">
        <idno type="issn">1292-8119</idno>
        <title level="j">ESAIM - Control Optimisation and Calculus of Variations</title>
        <imprint>
          <biblScope type="volume">19</biblScope>
          <biblScope type="number">01</biblScope>
          <dateStruct>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">129-166</biblScope>
          <ref xlink:href="http://hal.inria.fr/hal-00569010" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00569010</ref>
        </imprint>
      </monogr>
      <note type="bnote">This paper is dedicated to J.-B. Hiriart-Urruty. Note on v3: to appear in ESAIM: COCV</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid57" type="incollection" rend="year" n="cite:rao:hal-00803108">
      <identifiant type="doi" value="10.1007/978-3-0348-0631-2_6"/>
      <identifiant type="hal" value="hal-00803108"/>
      <analytic>
        <title level="a">Hamilton-Jacobi-Bellman Equations on Multi-Domains</title>
        <author>
          <persName key="commands-2010-id59802">
            <foreName>Zhiping</foreName>
            <surname>Rao</surname>
            <initial>Z.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <editor role="editor">
          <persName>
            <foreName>K.</foreName>
            <surname>Bredies</surname>
            <initial>K.</initial>
          </persName>
          <persName>
            <foreName>C.</foreName>
            <surname>Clason</surname>
            <initial>C.</initial>
          </persName>
          <persName>
            <foreName>K.</foreName>
            <surname>Kunisch</surname>
            <initial>K.</initial>
          </persName>
          <persName>
            <foreName>G.</foreName>
            <surname>von Winckel</surname>
            <initial>G.</initial>
          </persName>
        </editor>
        <title level="m">Control and Optimization with PDE Constraints</title>
        <title level="s">International Series of Numerical Mathematics</title>
        <imprint>
          <biblScope type="volume">164</biblScope>
          <publisher>
            <orgName>Springer</orgName>
          </publisher>
          <dateStruct>
            <month>May</month>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">93–116</biblScope>
          <ref xlink:href="http://hal.inria.fr/hal-00803108" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00803108</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid71" type="inproceedings" rend="year" n="cite:bonnans:hal-00845704">
      <identifiant type="hal" value="hal-00845704"/>
      <analytic>
        <title level="a">Singular arcs in the optimal control of a parabolic equation</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-international-audience="yes" x-proceedings="yes">
        <title level="m">13th European Control Conference</title>
        <loc>Zurich, Switzerland</loc>
        <imprint>
          <dateStruct>
            <month>July</month>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00845704" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00845704</ref>
        </imprint>
        <meeting id="cid68828">
          <title>European Control Conference</title>
          <num>12</num>
          <abbr type="sigle">ECC</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid48" type="inproceedings" rend="year" n="cite:bonnans:hal-00830896">
      <identifiant type="doi" value="10.3182/20130703-3-FR-4038.00158"/>
      <identifiant type="hal" value="hal-00830896"/>
      <analytic>
        <title level="a">The shooting approach to optimal control problems</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-international-audience="yes" x-proceedings="yes">
        <editor role="editor">
          <persName>
            <foreName>Fouad</foreName>
            <surname>Giri</surname>
            <initial>F.</initial>
          </persName>
          <persName>
            <foreName>Vincent</foreName>
            <surname>van Assche</surname>
            <initial>V.</initial>
          </persName>
        </editor>
        <title level="m">IFAC International Workshop on Adaptation and Learning in Control and Signal Processing</title>
        <loc>Caen, France</loc>
        <imprint>
          <publisher>
            <orgName>IFAC</orgName>
          </publisher>
          <publisher>
            <orgName type="organisation">Giri, Fouad</orgName>
          </publisher>
          <dateStruct>
            <month>July</month>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">281-292</biblScope>
          <ref xlink:href="http://hal.inria.fr/hal-00830896" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00830896</ref>
        </imprint>
        <meeting id="cid624083">
          <title>IFAC International Workshop on Adaptation and Learning in Control and Signal Processing</title>
          <num>11</num>
          <abbr type="sigle">ALCOSP</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid45" type="inproceedings" rend="year" n="cite:bonnard:hal-00800436">
      <identifiant type="hal" value="hal-00800436"/>
      <analytic>
        <title level="a">Comparison of Numerical Methods in the Contrast Imaging Problem in NMR</title>
        <author>
          <persName key="apics-2006-id18604">
            <foreName>Bernard</foreName>
            <surname>Bonnard</surname>
            <initial>B.</initial>
          </persName>
          <persName>
            <foreName>Mathieu</foreName>
            <surname>Claeys</surname>
            <initial>M.</initial>
          </persName>
          <persName key="mctao-2012-idp140402945215936">
            <foreName>Olivier</foreName>
            <surname>Cots</surname>
            <initial>O.</initial>
          </persName>
          <persName key="sydoco-2006-id18291">
            <foreName>Pierre</foreName>
            <surname>Martinon</surname>
            <initial>P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-international-audience="yes" x-proceedings="yes">
        <title level="m">52nd IEEE Conference on Decision and Control</title>
        <loc>Firenze, Italy</loc>
        <imprint>
          <dateStruct>
            <month>December</month>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00800436" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00800436</ref>
        </imprint>
        <meeting id="cid78271">
          <title>IEEE Conference on Decision and Control</title>
          <num>52</num>
          <abbr type="sigle">CDC</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid72" type="inproceedings" rend="year" n="cite:festa:hal-00916864">
      <identifiant type="hal" value="hal-00916864"/>
      <analytic>
        <title level="a">A decomposition technique for pursuit evasion games with many pursuers</title>
        <author>
          <persName>
            <foreName>Adriano</foreName>
            <surname>Festa</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>Richard</foreName>
            <surname>Vinter</surname>
            <initial>R.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-international-audience="yes" x-proceedings="yes">
        <title level="m">52nd IEEE Control and Decision Conference (CDC)</title>
        <loc>Florence, Italy</loc>
        <imprint>
          <dateStruct>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">7</biblScope>
          <ref xlink:href="http://hal.inria.fr/hal-00916864" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00916864</ref>
        </imprint>
        <meeting id="cid78271">
          <title>IEEE Conference on Decision and Control</title>
          <num>52</num>
          <abbr type="sigle">CDC</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid43" type="inproceedings" rend="year" n="cite:munoztamayo:hal-00856749">
      <identifiant type="hal" value="hal-00856749"/>
      <analytic>
        <title level="a">Design of Optimal Experiments for Parameter Estimation of Microalgae Growth Models</title>
        <author>
          <persName key="biocore-2012-idp140446511527712">
            <foreName>Rafael</foreName>
            <surname>Muñoz-Tamayo</surname>
            <initial>R.</initial>
          </persName>
          <persName key="sydoco-2006-id18291">
            <foreName>Pierre</foreName>
            <surname>Martinon</surname>
            <initial>P.</initial>
          </persName>
          <persName>
            <foreName>Gaël</foreName>
            <surname>Bougaran</surname>
            <initial>G.</initial>
          </persName>
          <persName key="comore-2008-id18346">
            <foreName>Francis</foreName>
            <surname>Mairet</surname>
            <initial>F.</initial>
          </persName>
          <persName key="comore-2005-id18117">
            <foreName>Olivier</foreName>
            <surname>Bernard</surname>
            <initial>O.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-international-audience="yes" x-proceedings="yes">
        <title level="m">Computer Applied to Biotechnology</title>
        <loc>Mumbai, India</loc>
        <imprint>
          <dateStruct>
            <month>December</month>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00856749" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00856749</ref>
        </imprint>
        <meeting id="cid307577">
          <title>International IFAC Symposium on Computer Applications in Biotechnology</title>
          <num>14</num>
          <abbr type="sigle">CAB</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid49" type="techreport" rend="year" n="cite:aftalion:hal-00851182">
      <identifiant type="hal" value="hal-00851182"/>
      <monogr>
        <title level="m">Optimization of running strategies based on anaerobic energy and variations of velocity</title>
        <author>
          <persName>
            <foreName>Amandine</foreName>
            <surname>Aftalion</surname>
            <initial>A.</initial>
          </persName>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
        </author>
        <imprint>
          <biblScope type="number">RR-8344</biblScope>
          <publisher>
            <orgName type="institution">Inria</orgName>
          </publisher>
          <dateStruct>
            <month>August</month>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">22</biblScope>
          <ref xlink:href="http://hal.inria.fr/hal-00851182" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00851182</ref>
        </imprint>
      </monogr>
      <note type="typdoc">Research Report</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid42" type="techreport" rend="year" n="cite:bayen:hal-00860570">
      <identifiant type="hal" value="hal-00860570"/>
      <monogr>
        <title level="m">Optimizing the anaerobic digestion of microalgae in a coupled process</title>
        <author>
          <persName key="mere-2010-id59618">
            <foreName>Térence</foreName>
            <surname>Bayen</surname>
            <initial>T.</initial>
          </persName>
          <persName key="comore-2008-id18346">
            <foreName>Francis</foreName>
            <surname>Mairet</surname>
            <initial>F.</initial>
          </persName>
          <persName key="sydoco-2006-id18291">
            <foreName>Pierre</foreName>
            <surname>Martinon</surname>
            <initial>P.</initial>
          </persName>
          <persName key="modemic-2012-idp140235353440880">
            <foreName>Matthieu</foreName>
            <surname>Sebbah</surname>
            <initial>M.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <month>September</month>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00860570" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00860570</ref>
        </imprint>
      </monogr>
      <note type="typdoc">Report</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid46" type="techreport" rend="year" n="cite:bonnans:hal-00825273">
      <identifiant type="hal" value="hal-00825273"/>
      <monogr>
        <title level="m">Second-order necessary conditions in Pontryagin form for optimal control problems</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName>
            <foreName>Xavier</foreName>
            <surname>Dupuis</surname>
            <initial>X.</initial>
          </persName>
          <persName>
            <foreName>Laurent</foreName>
            <surname>Pfeiffer</surname>
            <initial>L.</initial>
          </persName>
        </author>
        <imprint>
          <biblScope type="number">RR-8306</biblScope>
          <publisher>
            <orgName type="institution">Inria</orgName>
          </publisher>
          <dateStruct>
            <month>May</month>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">37</biblScope>
          <ref xlink:href="http://hal.inria.fr/hal-00825273" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00825273</ref>
        </imprint>
      </monogr>
      <note type="typdoc">Research Report</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid47" type="techreport" rend="year" n="cite:bonnans:hal-00825260">
      <identifiant type="hal" value="hal-00825260"/>
      <monogr>
        <title level="m">Second-order sufficient conditions for strong solutions to optimal control problems</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName>
            <foreName>Xavier</foreName>
            <surname>Dupuis</surname>
            <initial>X.</initial>
          </persName>
          <persName>
            <foreName>Laurent</foreName>
            <surname>Pfeiffer</surname>
            <initial>L.</initial>
          </persName>
        </author>
        <imprint>
          <biblScope type="number">RR-8307</biblScope>
          <publisher>
            <orgName type="institution">Inria</orgName>
          </publisher>
          <dateStruct>
            <month>May</month>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">24</biblScope>
          <ref xlink:href="http://hal.inria.fr/hal-00825260" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00825260</ref>
        </imprint>
      </monogr>
      <note type="typdoc">Research Report</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid52" type="techreport" rend="year" n="cite:dupuis:hal-00858208">
      <identifiant type="hal" value="hal-00858208"/>
      <monogr>
        <title level="m">Optimal control of leukemic cell population dynamics</title>
        <author>
          <persName>
            <foreName>Xavier</foreName>
            <surname>Dupuis</surname>
            <initial>X.</initial>
          </persName>
        </author>
        <imprint>
          <biblScope type="number">RR-8356</biblScope>
          <publisher>
            <orgName type="institution">Inria</orgName>
          </publisher>
          <dateStruct>
            <month>August</month>
            <year>2013</year>
          </dateStruct>
          <biblScope type="pages">25</biblScope>
          <ref xlink:href="http://hal.inria.fr/hal-00858208" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00858208</ref>
        </imprint>
      </monogr>
      <note type="typdoc">Research Report</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid76" type="unpublished" rend="year" n="cite:bayen:hal-00913725">
      <identifiant type="hal" value="hal-00913725"/>
      <monogr>
        <title level="m">Characterization of local quadratic growth for strong minima in the optimal control of semi-linear elliptic equations</title>
        <author>
          <persName key="mere-2010-id59618">
            <foreName>Térence</foreName>
            <surname>Bayen</surname>
            <initial>T.</initial>
          </persName>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName key="commands-2007-id18384">
            <foreName>Francisco José</foreName>
            <surname>Silva</surname>
            <initial>F. J.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00913725" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00913725</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid54" type="unpublished" rend="year" n="cite:bokanowski:hal-00931025">
      <identifiant type="hal" value="hal-00931025"/>
      <monogr>
        <title level="m">Dynamic Programming and Error Estimates for Stochastic Control Problems with Maximum Cost</title>
        <author>
          <persName key="commands-2011-idp140463656715712">
            <foreName>Olivier</foreName>
            <surname>Bokanowski</surname>
            <initial>O.</initial>
          </persName>
          <persName key="commands-2011-idp140463656745520">
            <foreName>Athena</foreName>
            <surname>Picarelli</surname>
            <initial>A.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <month>January</month>
            <year>2014</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00931025" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00931025</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid53" type="unpublished" rend="year" n="cite:bonnard:hal-00867753">
      <identifiant type="hal" value="hal-00867753"/>
      <monogr>
        <title level="m">Geometric and numerical methods in the contrast imaging problem in nuclear magnetic resonance</title>
        <author>
          <persName key="apics-2006-id18604">
            <foreName>Bernard</foreName>
            <surname>Bonnard</surname>
            <initial>B.</initial>
          </persName>
          <persName>
            <foreName>Mathieu</foreName>
            <surname>Claeys</surname>
            <initial>M.</initial>
          </persName>
          <persName key="mctao-2012-idp140402945215936">
            <foreName>Olivier</foreName>
            <surname>Cots</surname>
            <initial>O.</initial>
          </persName>
          <persName key="sydoco-2006-id18291">
            <foreName>Pierre</foreName>
            <surname>Martinon</surname>
            <initial>P.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <month>September</month>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00867753" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00867753</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid77" type="unpublished" rend="year" n="cite:cardaliaguet:hal-00925905">
      <identifiant type="hal" value="hal-00925905"/>
      <monogr>
        <title level="m">Mean field games systems of first order</title>
        <author>
          <persName>
            <foreName>Pierre</foreName>
            <surname>Cardaliaguet</surname>
            <initial>P.</initial>
          </persName>
          <persName key="commands-2012-idp140658102590704">
            <foreName>Philip Jameson</foreName>
            <surname>Graber</surname>
            <initial>P. J.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <month>January</month>
            <year>2014</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00925905" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00925905</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid58" type="unpublished" rend="year" n="cite:forcadel:hal-00812846">
      <identifiant type="hal" value="hal-00812846"/>
      <monogr>
        <title level="m">Singular perturbation of optimal control problems on multi-domains</title>
        <author>
          <persName key="commands-2007-id18461">
            <foreName>Nicolas</foreName>
            <surname>Forcadel</surname>
            <initial>N.</initial>
          </persName>
          <persName key="commands-2010-id59802">
            <foreName>Zhiping</foreName>
            <surname>Rao</surname>
            <initial>Z.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <month>April</month>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00812846" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00812846</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid44" type="unpublished" rend="year" n="cite:giraldi:hal-00798363">
      <identifiant type="hal" value="hal-00798363"/>
      <monogr>
        <title level="m">Controllability and Optimal Strokes for N-link Micro-swimmer</title>
        <author>
          <persName>
            <foreName>Laetitia</foreName>
            <surname>Giraldi</surname>
            <initial>L.</initial>
          </persName>
          <persName key="sydoco-2006-id18291">
            <foreName>Pierre</foreName>
            <surname>Martinon</surname>
            <initial>P.</initial>
          </persName>
          <persName>
            <foreName>Marta</foreName>
            <surname>Zoppello</surname>
            <initial>M.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00798363" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00798363</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid59" type="unpublished" rend="year" n="cite:graber:hal-00871964">
      <identifiant type="hal" value="hal-00871964"/>
      <monogr>
        <title level="m">Optimal control of first-order Hamilton-Jacobi equations with linearly bounded Hamiltonian</title>
        <author>
          <persName key="commands-2012-idp140658102590704">
            <foreName>Philip Jameson</foreName>
            <surname>Graber</surname>
            <initial>P. J.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00871964" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00871964</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid60" type="unpublished" rend="year" n="cite:grune:hal-00931028">
      <identifiant type="hal" value="hal-00931028"/>
      <monogr>
        <title level="m">Zubov's equation for state-constrained perturbed nonlinear systems</title>
        <author>
          <persName>
            <foreName>Lars</foreName>
            <surname>Grüne</surname>
            <initial>L.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00931028" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00931028</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid55" type="unpublished" rend="year" n="cite:kroener:hal-00924089">
      <identifiant type="hal" value="hal-00924089"/>
      <monogr>
        <title level="m">Optimal feedback control of undamped wave equations by solving a HJB equation</title>
        <author>
          <persName>
            <foreName>Axel</foreName>
            <surname>Kroener</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>Karl</foreName>
            <surname>Kunisch</surname>
            <initial>K.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00924089" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00924089</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid56" type="unpublished" rend="year" n="cite:rao:hal-00820273">
      <identifiant type="hal" value="hal-00820273"/>
      <monogr>
        <title level="m">Transmission conditions on interfaces for Hamilton-Jacobi-Bellman equations</title>
        <author>
          <persName key="commands-2010-id59802">
            <foreName>Zhiping</foreName>
            <surname>Rao</surname>
            <initial>Z.</initial>
          </persName>
          <persName>
            <foreName>Antonio</foreName>
            <surname>Siconolfi</surname>
            <initial>A.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
        <imprint>
          <dateStruct>
            <month>May</month>
            <year>2013</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00820273" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00820273</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid30" type="article" rend="foot" n="footcite:Abgrall03">
      <analytic>
        <title level="a">Numerical discretization of boundary conditions for first order Hamilton-Jacobi equations</title>
        <author>
          <persName key="scalapplix-2005-id18168">
            <foreName>R.</foreName>
            <surname>Abgrall</surname>
            <initial>R.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">SIAM J. Numerical Analysis</title>
        <imprint>
          <biblScope type="volume">41</biblScope>
          <biblScope type="number">6</biblScope>
          <dateStruct>
            <year>2003</year>
          </dateStruct>
          <biblScope type="pages">2233–2261</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid29" type="article" rend="foot" n="footcite:Abgrall00">
      <analytic>
        <title level="a">High order numerical discretization for Hamilton-Jacobi equations on triangular meshes</title>
        <author>
          <persName key="scalapplix-2005-id18168">
            <foreName>R.</foreName>
            <surname>Abgrall</surname>
            <initial>R.</initial>
          </persName>
          <persName>
            <foreName>S.</foreName>
            <surname>Augoula</surname>
            <initial>S.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">J. Scientific Computing</title>
        <imprint>
          <biblScope type="volume">15</biblScope>
          <biblScope type="number">2</biblScope>
          <dateStruct>
            <year>2000</year>
          </dateStruct>
          <biblScope type="pages">197–229</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid22" type="article" rend="foot" n="footcite:AroBonMar11">
      <analytic>
        <title level="a">A Shooting Algorithm for Optimal Control Problems with Singular Arcs</title>
        <author>
          <persName>
            <foreName>Maria Soledad</foreName>
            <surname>Aronna</surname>
            <initial>M. S.</initial>
          </persName>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName key="sydoco-2006-id18291">
            <foreName>Pierre</foreName>
            <surname>Martinon</surname>
            <initial>P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-editorial-board="yes" x-international-audience="yes">
        <title level="j">Journal of Optimization Theory and Applications</title>
        <imprint>
          <dateStruct>
            <year>2013</year>
          </dateStruct>
        </imprint>
      </monogr>
      <note type="bnote">Inria Report RR-7763, 2011</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid8" type="book" rend="foot" n="footcite:Aub90">
      <monogr>
        <title level="m">Set-valued analysis</title>
        <author>
          <persName>
            <foreName>J.P.</foreName>
            <surname>Aubin</surname>
            <initial>J.</initial>
          </persName>
          <persName>
            <foreName>H.</foreName>
            <surname>Frankowska</surname>
            <initial>H.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>Birkhäuser, Boston</orgName>
          </publisher>
          <dateStruct>
            <year>1990</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid15" type="book" rend="foot" n="footcite:BarCap97">
      <monogr>
        <title level="m">Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations</title>
        <title level="s">Systems and Control: Foundations and Applications</title>
        <author>
          <persName>
            <foreName>M.</foreName>
            <surname>Bardi</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>I.</foreName>
            <surname>Capuzzo-Dolcetta</surname>
            <initial>I.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>Birkhäuser, Boston</orgName>
          </publisher>
          <dateStruct>
            <year>1997</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid14" type="book" rend="foot" n="footcite:Bar94a">
      <monogr>
        <title level="m">Solutions de viscosité des équations de Hamilton-Jacobi</title>
        <title level="s">Mathématiques et Applications</title>
        <author>
          <persName>
            <foreName>G.</foreName>
            <surname>Barles</surname>
            <initial>G.</initial>
          </persName>
        </author>
        <imprint>
          <biblScope type="volume">17</biblScope>
          <publisher>
            <orgName>Springer, Paris</orgName>
          </publisher>
          <dateStruct>
            <year>1994</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid37" type="article" rend="foot" n="footcite:BarJak03">
      <analytic>
        <title level="a">Error bounds for monotone approximation schemes for Hamilton-Jacobi-Bellman equations</title>
        <author>
          <persName>
            <foreName>G.</foreName>
            <surname>Barles</surname>
            <initial>G.</initial>
          </persName>
          <persName>
            <foreName>E.R.</foreName>
            <surname>Jakobsen</surname>
            <initial>E.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">SIAM J. Numerical Analysis</title>
        <imprint>
          <biblScope type="volume">43</biblScope>
          <biblScope type="number">2</biblScope>
          <dateStruct>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">540–558</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid1" type="book" rend="foot" n="footcite:Bli46">
      <monogr>
        <title level="m">Lectures on the Calculus of Variations</title>
        <author>
          <persName>
            <foreName>G.A.</foreName>
            <surname>Bliss</surname>
            <initial>G.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>University of Chicago Press<address><addrLine>Chicago, Illinois</addrLine></address></orgName>
          </publisher>
          <dateStruct>
            <year>1946</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid20" type="article" rend="foot" n="footcite:BonHerSIAM07">
      <analytic>
        <title level="a">Well-Posedness of the Shooting Algorithm for State Constrained Optimal Control Problems with a Single Constraint and Control</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName key="sydoco-2005-id18322">
            <foreName>A.</foreName>
            <surname>Hermant</surname>
            <initial>A.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">SIAM J. Control Optimization</title>
        <imprint>
          <biblScope type="volume">46</biblScope>
          <biblScope type="number">4</biblScope>
          <dateStruct>
            <year>2007</year>
          </dateStruct>
          <biblScope type="pages">1398–1430</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid21" type="article" rend="foot" n="footcite:BonHerIHP09">
      <analytic>
        <title level="a">Second-order Analysis for Optimal Control Problems with Pure State Constraints and Mixed Control-State Constraints</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName key="sydoco-2005-id18322">
            <foreName>A.</foreName>
            <surname>Hermant</surname>
            <initial>A.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Annales de l'Institut Henri Poincaré. Analyse non linéaire</title>
        <imprint>
          <biblScope type="volume">26</biblScope>
          <biblScope type="number">2</biblScope>
          <dateStruct>
            <year>2009</year>
          </dateStruct>
          <biblScope type="pages">561-598</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid17" type="article" rend="foot" n="footcite:BonLauV04">
      <analytic>
        <title level="a">Computation of order conditions for symplectic partitioned Runge-Kutta schemes with application to optimal control</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName key="sydoco-2005-id18199">
            <foreName>Julien</foreName>
            <surname>Laurent-Varin</surname>
            <initial>J.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Numerische Mathematik</title>
        <imprint>
          <biblScope type="volume">103</biblScope>
          <biblScope type="number">1</biblScope>
          <dateStruct>
            <year>2006</year>
          </dateStruct>
          <biblScope type="pages">1–10</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid41" type="techreport" rend="foot" n="footcite:bonnans:hal-00726992">
      <identifiant type="hal" value="hal-00726992"/>
      <monogr>
        <title level="m">Bocop - A collection of examples</title>
        <author>
          <persName key="sydoco-2005-id18079">
            <foreName>Frédéric J.</foreName>
            <surname>Bonnans</surname>
            <initial>F. J.</initial>
          </persName>
          <persName key="sydoco-2006-id18291">
            <foreName>Pierre</foreName>
            <surname>Martinon</surname>
            <initial>P.</initial>
          </persName>
          <persName key="commands-2010-id59608">
            <foreName>Vincent</foreName>
            <surname>Grélard</surname>
            <initial>V.</initial>
          </persName>
        </author>
        <imprint>
          <biblScope type="number">RR-8053</biblScope>
          <publisher>
            <orgName type="institution">Inria</orgName>
          </publisher>
          <dateStruct>
            <month>August</month>
            <year>2012</year>
          </dateStruct>
          <ref xlink:href="http://hal.inria.fr/hal-00726992" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-00726992</ref>
        </imprint>
      </monogr>
      <note type="typdoc">Rapport de recherche</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid40" type="article" rend="foot" n="footcite:BoOtZi04">
      <analytic>
        <title level="a">Numerical schemes for the two dimensional second-order HJB equation</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName key="sydoco-2005-id18241">
            <foreName>E.</foreName>
            <surname>Ottenwaelter</surname>
            <initial>E.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">ESAIM: M2AN</title>
        <imprint>
          <biblScope type="volume">38</biblScope>
          <dateStruct>
            <year>2004</year>
          </dateStruct>
          <biblScope type="pages">723-735</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid39" type="article" rend="foot" n="footcite:BonZid03">
      <analytic>
        <title level="a">Consistency of generalized finite difference schemes for the stochastic HJB equation</title>
        <author>
          <persName key="commands-2007-id18080">
            <foreName>J. Frédéric</foreName>
            <surname>Bonnans</surname>
            <initial>J. F.</initial>
          </persName>
          <persName key="commands-2007-id18114">
            <foreName>Hasnaa</foreName>
            <surname>Zidani</surname>
            <initial>H.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">SIAM J. Numerical Analysis</title>
        <imprint>
          <biblScope type="volume">41</biblScope>
          <dateStruct>
            <year>2003</year>
          </dateStruct>
          <biblScope type="pages">1008-1021</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid4" type="book" rend="foot" n="footcite:BryHo75">
      <monogr>
        <title level="m">Applied optimal control</title>
        <author>
          <persName>
            <foreName>A. E.</foreName>
            <surname>Bryson</surname>
            <initial>A. E.</initial>
          </persName>
          <persName>
            <foreName>Y.-C.</foreName>
            <surname>Ho</surname>
            <initial>Y.-C.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>Hemisphere Publishing<address><addrLine>New-York</addrLine></address></orgName>
          </publisher>
          <dateStruct>
            <year>1975</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid9" type="article" rend="foot" n="footcite:Cla76">
      <analytic>
        <title level="a">A new approach to Lagrange multipliers</title>
        <author>
          <persName>
            <foreName>F.H.</foreName>
            <surname>Clarke</surname>
            <initial>F.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Mathematics of Operations Research</title>
        <imprint>
          <biblScope type="volume">2</biblScope>
          <dateStruct>
            <year>1976</year>
          </dateStruct>
          <biblScope type="pages">165-174</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid13" type="article" rend="foot" n="footcite:CEL84">
      <analytic>
        <title level="a">Some properties of viscosity solutions of Hamilton-Jacobi equations</title>
        <author>
          <persName>
            <foreName>M.G.</foreName>
            <surname>Crandall</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>L.C.</foreName>
            <surname>Evans</surname>
            <initial>L.</initial>
          </persName>
          <persName>
            <foreName>P.L.</foreName>
            <surname>Lions</surname>
            <initial>P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Trans. Amer. Math. Soc</title>
        <imprint>
          <biblScope type="volume">282</biblScope>
          <dateStruct>
            <year>1984</year>
          </dateStruct>
          <biblScope type="pages">487-502</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid11" type="article" rend="foot" n="footcite:CraLio83">
      <analytic>
        <title level="a">Viscosity solutions of Hamilton Jacobi equations</title>
        <author>
          <persName>
            <foreName>M.G.</foreName>
            <surname>Crandall</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>P.L.</foreName>
            <surname>Lions</surname>
            <initial>P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Bull. American Mathematical Society</title>
        <imprint>
          <biblScope type="volume">277</biblScope>
          <dateStruct>
            <year>1983</year>
          </dateStruct>
          <biblScope type="pages">1–42</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid12" type="article" rend="foot" n="footcite:CraLio84">
      <analytic>
        <title level="a">Two approximations of solutions of Hamilton-Jacobi equations</title>
        <author>
          <persName>
            <foreName>M.G.</foreName>
            <surname>Crandall</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>P.L.</foreName>
            <surname>Lions</surname>
            <initial>P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Mathematics of Computation</title>
        <imprint>
          <biblScope type="volume">43</biblScope>
          <dateStruct>
            <year>1984</year>
          </dateStruct>
          <biblScope type="pages">1–19</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid33" type="article" rend="foot" n="footcite:DeL01">
      <analytic>
        <title level="a">Contact discontinuity capturing schemes for linear advection and compressible gas dynamics</title>
        <author>
          <persName>
            <foreName>B.</foreName>
            <surname>Després</surname>
            <initial>B.</initial>
          </persName>
          <persName key="simpaf-2006-id18306">
            <foreName>F.</foreName>
            <surname>Lagoutière</surname>
            <initial>F.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">J. Sci. Comput.</title>
        <imprint>
          <biblScope type="volume">16</biblScope>
          <dateStruct>
            <year>2001</year>
          </dateStruct>
          <biblScope type="pages">479-524</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid32" type="article" rend="foot" n="footcite:DeL99">
      <analytic>
        <title level="a">A non-linear anti-diffusive scheme for the linear advection equation</title>
        <author>
          <persName>
            <foreName>B.</foreName>
            <surname>Després</surname>
            <initial>B.</initial>
          </persName>
          <persName key="simpaf-2006-id18306">
            <foreName>F.</foreName>
            <surname>Lagoutière</surname>
            <initial>F.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">C. R. Acad. Sci. Paris, Série I, Analyse numérique</title>
        <imprint>
          <biblScope type="volume">328</biblScope>
          <dateStruct>
            <year>1999</year>
          </dateStruct>
          <biblScope type="pages">939-944</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid18" type="article" rend="foot" n="footcite:DonHagVel00">
      <analytic>
        <title level="a">Second-order Runge-Kutta approximations in control constrained optimal control</title>
        <author>
          <persName>
            <foreName>A.L.</foreName>
            <surname>Dontchev</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>W.W.</foreName>
            <surname>Hager</surname>
            <initial>W.</initial>
          </persName>
          <persName>
            <foreName>V.M.</foreName>
            <surname>Veliov</surname>
            <initial>V.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">SIAM Journal on Numerical Analysis</title>
        <imprint>
          <biblScope type="volume">38</biblScope>
          <dateStruct>
            <year>2000</year>
          </dateStruct>
          <biblScope type="pages">202–226</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid10" type="article" rend="foot" n="footcite:Eke79">
      <analytic>
        <title level="a">Nonconvex minimization problems</title>
        <author>
          <persName>
            <foreName>I.</foreName>
            <surname>Ekeland</surname>
            <initial>I.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Bulletin of the American Mathematical Society</title>
        <imprint>
          <biblScope type="volume">1(New series)</biblScope>
          <dateStruct>
            <year>1979</year>
          </dateStruct>
          <biblScope type="pages">443-474</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid25" type="article" rend="foot" n="footcite:FalFer02">
      <analytic>
        <title level="a">Semi-Lagrangian schemes for Hamilton-Jacobi equations, discrete representation formulae and Godunov methods</title>
        <author>
          <persName>
            <foreName>Maurizio</foreName>
            <surname>Falcone</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>R.</foreName>
            <surname>Ferretti</surname>
            <initial>R.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Journal of Computational Physics</title>
        <imprint>
          <biblScope type="volume">175</biblScope>
          <dateStruct>
            <year>2002</year>
          </dateStruct>
          <biblScope type="pages">559–575</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid24" type="article" rend="foot" n="footcite:FalFer98">
      <analytic>
        <title level="a">Convergence analysis for a class of high-order semi-Lagrangian advection schemes</title>
        <author>
          <persName>
            <foreName>Maurizio</foreName>
            <surname>Falcone</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>R.</foreName>
            <surname>Ferretti</surname>
            <initial>R.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">SIAM J. Numer. Anal.</title>
        <imprint>
          <biblScope type="volume">35</biblScope>
          <biblScope type="number">3</biblScope>
          <dateStruct>
            <year>1998</year>
          </dateStruct>
          <biblScope type="pages">909–940</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid23" type="article" rend="foot" n="footcite:GeMa07">
      <analytic>
        <title level="a">Using switching detection and variational equations for the shooting method</title>
        <author>
          <persName key="mctao-2012-idp140402945224080">
            <foreName>Joseph</foreName>
            <surname>Gergaud</surname>
            <initial>J.</initial>
          </persName>
          <persName key="sydoco-2006-id18291">
            <foreName>Pierre</foreName>
            <surname>Martinon</surname>
            <initial>P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Optimal Control Applications and Methods</title>
        <imprint>
          <biblScope type="volume">28</biblScope>
          <biblScope type="number">2</biblScope>
          <dateStruct>
            <year>2007</year>
          </dateStruct>
          <biblScope type="pages">95–116</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid16" type="article" rend="foot" n="footcite:Hager00">
      <analytic>
        <title level="a">Runge-Kutta methods in optimal control and the transformed adjoint system</title>
        <author>
          <persName>
            <foreName>W.W.</foreName>
            <surname>Hager</surname>
            <initial>W.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Numerische Mathematik</title>
        <imprint>
          <biblScope type="volume">87</biblScope>
          <biblScope type="number">2</biblScope>
          <dateStruct>
            <year>2000</year>
          </dateStruct>
          <biblScope type="pages">247–282</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid26" type="article" rend="foot" n="footcite:Harten89">
      <analytic>
        <title level="a">ENO schemes with subcell resolution</title>
        <author>
          <persName>
            <foreName>E.</foreName>
            <surname>Harten</surname>
            <initial>E.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">J. Computational Physics</title>
        <imprint>
          <biblScope type="volume">83</biblScope>
          <dateStruct>
            <year>1989</year>
          </dateStruct>
          <biblScope type="pages">148–184</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid27" type="article" rend="foot" n="footcite:HuShu99">
      <analytic>
        <title level="a">A discontinuous Galerkin finite element method for Hamilton-Jacobi equations</title>
        <author>
          <persName>
            <foreName>C.</foreName>
            <surname>Hu</surname>
            <initial>C.</initial>
          </persName>
          <persName key="scalapplix-2006-id18911">
            <foreName>Chi-Wang</foreName>
            <surname>Shu</surname>
            <initial>C.-W.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">SIAM J. on Scientific Computing</title>
        <imprint>
          <biblScope type="volume">21</biblScope>
          <biblScope type="number">2</biblScope>
          <dateStruct>
            <year>1999</year>
          </dateStruct>
          <biblScope type="pages">666–690</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid7" type="book" rend="foot" n="footcite:Iof79">
      <monogr>
        <title level="m">Theory of Extremal Problems</title>
        <author>
          <persName>
            <foreName>A.D.</foreName>
            <surname>Ioffe</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>V.M.</foreName>
            <surname>Tihomirov</surname>
            <initial>V.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>North-Holland Publishing Company, Amsterdam</orgName>
          </publisher>
          <dateStruct>
            <year>1979</year>
          </dateStruct>
        </imprint>
      </monogr>
      <note type="bnote">Russian Edition: Nauka, Moscow, 1974</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid50" type="article" rend="foot" n="footcite:Keller73">
      <analytic>
        <title level="a">A Theory of Competitive Running</title>
        <author>
          <persName>
            <foreName>Joseph B.</foreName>
            <surname>Keller</surname>
            <initial>J. B.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Physics Today</title>
        <imprint>
          <biblScope type="volume">26</biblScope>
          <biblScope type="number">9</biblScope>
          <dateStruct>
            <year>1973</year>
          </dateStruct>
          <biblScope type="pages">42–47</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid51" type="article" rend="foot" n="footcite:Keller74">
      <analytic>
        <title level="a">Optimal velocity in a race</title>
        <author>
          <persName>
            <foreName>Joseph B.</foreName>
            <surname>Keller</surname>
            <initial>J. B.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Amer. Math. Monthly</title>
        <imprint>
          <biblScope type="volume">81</biblScope>
          <dateStruct>
            <year>1974</year>
          </dateStruct>
          <biblScope type="pages">474–480</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid36" type="article" rend="foot" n="footcite:Kry00">
      <analytic>
        <title level="a">On the rate of convergence of finite-difference approximations for Bellman's equations with variable coefficients</title>
        <author>
          <persName>
            <foreName>N.V.</foreName>
            <surname>Krylov</surname>
            <initial>N.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Probability Theory and Related Fields</title>
        <imprint>
          <biblScope type="volume">117</biblScope>
          <dateStruct>
            <year>2000</year>
          </dateStruct>
          <biblScope type="pages">1–16</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid38" type="book" rend="foot" n="footcite:KusDup92">
      <monogr>
        <title level="m">Numerical methods for stochastic control problems in continuous time</title>
        <title level="s">Applications of mathematics</title>
        <author>
          <persName>
            <foreName>H.J.</foreName>
            <surname>Kushner</surname>
            <initial>H.</initial>
          </persName>
          <persName>
            <foreName>P.G.</foreName>
            <surname>Dupuis</surname>
            <initial>P.</initial>
          </persName>
        </author>
        <imprint>
          <biblScope type="volume">24</biblScope>
          <publisher>
            <orgName>Springer, New York</orgName>
          </publisher>
          <dateStruct>
            <year>2001</year>
          </dateStruct>
        </imprint>
      </monogr>
      <note type="bnote">Second edition</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid0" type="book" rend="foot" n="footcite:Lag1788">
      <monogr>
        <title level="m">Mécanique analytique</title>
        <author>
          <persName>
            <foreName>J.-L.</foreName>
            <surname>Lagrange</surname>
            <initial>J.-L.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>Paris</orgName>
          </publisher>
          <dateStruct>
            <year>1788</year>
          </dateStruct>
        </imprint>
      </monogr>
      <note type="bnote">reprinted by J. Gabay, 1989</note>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid6" type="book" rend="foot" n="footcite:LeeMar67">
      <monogr>
        <title level="m">Foundations of optimal control theory</title>
        <author>
          <persName>
            <foreName>E.B.</foreName>
            <surname>Lee</surname>
            <initial>E.</initial>
          </persName>
          <persName>
            <foreName>L.</foreName>
            <surname>Markus</surname>
            <initial>L.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>John Wiley, New York</orgName>
          </publisher>
          <dateStruct>
            <year>1967</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid5" type="book" rend="foot" n="footcite:Lei66">
      <monogr>
        <title level="m">An introduction to optimal control</title>
        <author>
          <persName>
            <foreName>G.</foreName>
            <surname>Leitmann</surname>
            <initial>G.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>Mc Graw Hill, New York</orgName>
          </publisher>
          <dateStruct>
            <year>1966</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid19" type="incollection" rend="foot" n="footcite:MBM98">
      <analytic>
        <title level="a">Convergence of approximations to nonlinear optimal control problems</title>
        <author>
          <persName>
            <foreName>K.</foreName>
            <surname>Malanowski</surname>
            <initial>K.</initial>
          </persName>
          <persName>
            <foreName>C.</foreName>
            <surname>Büskens</surname>
            <initial>C.</initial>
          </persName>
          <persName>
            <foreName>H.</foreName>
            <surname>Maurer</surname>
            <initial>H.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">Mathematical programming with data perturbations</title>
        <loc>New York</loc>
        <title level="s">Lecture Notes in Pure and Appl. Math.</title>
        <imprint>
          <biblScope type="volume">195</biblScope>
          <publisher>
            <orgName>Dekker</orgName>
          </publisher>
          <dateStruct>
            <year>1998</year>
          </dateStruct>
          <biblScope type="pages">253–284</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid28" type="article" rend="foot" n="footcite:OS91">
      <analytic>
        <title level="a">High essentially nonoscillatory schemes for Hamilton-Jacobi equations</title>
        <author>
          <persName>
            <foreName>S.</foreName>
            <surname>Osher</surname>
            <initial>S.</initial>
          </persName>
          <persName key="scalapplix-2006-id18911">
            <foreName>Chi-Wang</foreName>
            <surname>Shu</surname>
            <initial>C.-W.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">SIAM J. Numer. Anal.</title>
        <imprint>
          <biblScope type="volume">28</biblScope>
          <biblScope type="number">4</biblScope>
          <dateStruct>
            <year>1991</year>
          </dateStruct>
          <biblScope type="pages">907-922</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid35" type="book" rend="foot" n="footcite:Pham-book">
      <monogr>
        <title level="m">Optimisation et Contrôle Stochastique Appliqués à la Finance</title>
        <author>
          <persName>
            <foreName>H.</foreName>
            <surname>Pham</surname>
            <initial>H.</initial>
          </persName>
        </author>
        <imprint>
          <biblScope type="number">61</biblScope>
          <publisher>
            <orgName>Springer Verlag</orgName>
          </publisher>
          <dateStruct>
            <year>2007</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid3" type="book" rend="foot" n="footcite:PBGM">
      <monogr>
        <title level="m">The Mathematical Theory of Optimal Processes</title>
        <author>
          <persName>
            <foreName>L.</foreName>
            <surname>Pontryagin</surname>
            <initial>L.</initial>
          </persName>
          <persName>
            <foreName>V.</foreName>
            <surname>Boltyanski</surname>
            <initial>V.</initial>
          </persName>
          <persName>
            <foreName>R.</foreName>
            <surname>Gamkrelidze</surname>
            <initial>R.</initial>
          </persName>
          <persName>
            <foreName>E.</foreName>
            <surname>Michtchenko</surname>
            <initial>E.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>Wiley Interscience, New York</orgName>
          </publisher>
          <dateStruct>
            <year>1962</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid31" type="article" rend="foot" n="footcite:Roe85">
      <analytic>
        <title level="a">Some contributions to the modelling of discontinuous flows</title>
        <author>
          <persName>
            <foreName>P.L.</foreName>
            <surname>Roe</surname>
            <initial>P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Lectures in Applied Mathematics</title>
        <imprint>
          <biblScope type="volume">22</biblScope>
          <dateStruct>
            <year>1985</year>
          </dateStruct>
          <biblScope type="pages">163–193</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid2" type="book" rend="foot" n="footcite:You69">
      <monogr>
        <title level="m">Lectures on the calculus of variations and optimal control theory</title>
        <author>
          <persName>
            <foreName>L.C.</foreName>
            <surname>Young</surname>
            <initial>L.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>W. B. Saunders Co.<address><addrLine>Philadelphia</addrLine></address></orgName>
          </publisher>
          <dateStruct>
            <year>1969</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="commands-2013-bid34" type="book" rend="foot" n="footcite:Oks03">
      <monogr>
        <title level="m">Stochastic differential equations</title>
        <title level="s">Universitext</title>
        <author>
          <persName>
            <foreName>B.</foreName>
            <surname>Øksendal</surname>
            <initial>B.</initial>
          </persName>
        </author>
        <edition>Sixth</edition>
        <imprint>
          <publisher>
            <orgName>Springer-Verlag<address><addrLine>Berlin</addrLine></address></orgName>
          </publisher>
          <dateStruct>
            <year>2003</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
  </biblio>
</raweb>
