<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-03786820v2</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-03T13:19:14+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Leveraging Proximal Optimization for Differentiating Optimal Control Solvers</title>
            <author role="aut">
              <persName>
                <forename type="first">Oumayma</forename>
                <surname>Bounou</surname>
              </persName>
              <email type="md5">190962f3a7ad75197bc68626c902d95b</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="numeric">1167208</idno>
              <idno type="halauthorid" notation="string">1809473-1167208</idno>
              <affiliation ref="#struct-25027"/>
              <affiliation ref="#struct-454692"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean</forename>
                <surname>Ponce</surname>
              </persName>
              <idno type="halauthorid">227406-0</idno>
              <affiliation ref="#struct-25027"/>
              <affiliation ref="#struct-454692"/>
              <affiliation ref="#struct-1079527"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Justin</forename>
                <surname>Carpentier</surname>
              </persName>
              <email type="md5">10be7137546f7fa3f98771409a8636f1</email>
              <email type="domain">inria.fr</email>
              <ptr type="url" target="jcarpent.github.io"/>
              <idno type="idhal" notation="string">justin-carpentier</idno>
              <idno type="idhal" notation="numeric">3401</idno>
              <idno type="halauthorid" notation="string">54056-3401</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6585-2894</idno>
              <idno type="IDREF">https://www.idref.fr/233948015</idno>
              <affiliation ref="#struct-25027"/>
              <affiliation ref="#struct-454692"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Oumayma</forename>
                <surname>Bounou</surname>
              </persName>
              <email type="md5">0f6af790bec751a9827d884990d9837b</email>
              <email type="domain">gmail.com</email>
            </editor>
            <funder ref="#projanr-50388"/>
            <funder>This work was supported in part by the HPC resources from GENCI-IDRIS (Grand 2023- AD011011263R3), the European Union through the AGIMUS project (GA no.101070165), the Inria/NYU collaboration, the Louis Vuitton/ENS chair on artificial intelligence, the French government under the management of Agence Nationale de la Recherche as part of the "Investissements d’avenir" program (reference ANR19-P3IA0001, PRAIRIE 3IA Institute) and the ANR JCJC project NIMBLE (ANR-22-CE33-0008).</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2022-09-23 16:39:19</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2024-05-17 15:03:13</date>
              <date type="whenModified">2025-10-27 12:04:04</date>
              <date type="whenReleased">2024-05-22 14:45:12</date>
              <date type="whenProduced">2023-12-12</date>
              <date type="whenEndEmbargoed">2024-05-17</date>
              <ref type="file" target="https://hal.science/hal-03786820v2/document">
                <date notBefore="2024-05-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03786820v2/file/CDC23_CDC23_cdc_camera_ready3.pdf" id="file-4579225-3972039">
                <date notBefore="2024-05-17"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="790619">
                <persName>
                  <forename>Oumayma</forename>
                  <surname>Bounou</surname>
                </persName>
                <email type="md5">0f6af790bec751a9827d884990d9837b</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03786820</idno>
            <idno type="halUri">https://hal.science/hal-03786820</idno>
            <idno type="halBibtex">bounou:hal-03786820</idno>
            <idno type="halRefHtml">&lt;i&gt;IEEE 62nd Conference on Decision and Control (CDC)&lt;/i&gt;, Dec 2023, Singapore, Singapore</idno>
            <idno type="halRef">IEEE 62nd Conference on Decision and Control (CDC), Dec 2023, Singapore, Singapore</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-4579225-3972039"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-PARIS">Ecole Normale Supérieure de Paris</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="GENCI">Publications ayant eu recours aux supercalculateurs du GENCI</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="INRIA-PSL">INRIA-PSL</idno>
            <idno type="stamp" n="PNRIA">Programme National de Recherche en IA</idno>
            <idno type="stamp" n="ENS-PSL" corresp="PSL">École normale supérieure - PSL</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="PRAIRIE-IA">PaRis AI Research InstitutE</idno>
            <idno type="stamp" n="INRIA-ETATSUNIS">Copublications Inria-Etats-Unis</idno>
            <idno type="stamp" n="DIENS" corresp="ENS-PARIS">Département d'informatique de l'ENS-PSL</idno>
            <idno type="stamp" n="ANR-IA-19" corresp="ANR-IA">ANR-IA-19</idno>
            <idno type="stamp" n="ANR-IA">ANR-IA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Leveraging Proximal Optimization for Differentiating Optimal Control Solvers</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Oumayma</forename>
                    <surname>Bounou</surname>
                  </persName>
                  <email type="md5">190962f3a7ad75197bc68626c902d95b</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="numeric">1167208</idno>
                  <idno type="halauthorid" notation="string">1809473-1167208</idno>
                  <affiliation ref="#struct-25027"/>
                  <affiliation ref="#struct-454692"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean</forename>
                    <surname>Ponce</surname>
                  </persName>
                  <idno type="halauthorid">227406-0</idno>
                  <affiliation ref="#struct-25027"/>
                  <affiliation ref="#struct-454692"/>
                  <affiliation ref="#struct-1079527"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Justin</forename>
                    <surname>Carpentier</surname>
                  </persName>
                  <email type="md5">10be7137546f7fa3f98771409a8636f1</email>
                  <email type="domain">inria.fr</email>
                  <ptr type="url" target="jcarpent.github.io"/>
                  <idno type="idhal" notation="string">justin-carpentier</idno>
                  <idno type="idhal" notation="numeric">3401</idno>
                  <idno type="halauthorid" notation="string">54056-3401</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6585-2894</idno>
                  <idno type="IDREF">https://www.idref.fr/233948015</idno>
                  <affiliation ref="#struct-25027"/>
                  <affiliation ref="#struct-454692"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>IEEE 62nd Conference on Decision and Control (CDC)</title>
                  <date type="start">2023-12-12</date>
                  <date type="end">2023-12-15</date>
                  <settlement>Singapore</settlement>
                  <country key="SG">Singapore</country>
                </meeting>
                <imprint>
                  <date type="datePub">2023-12-12</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="math.math-oc">Mathematics [math]/Optimization and Control [math.OC]</classCode>
              <classCode scheme="halDomain" n="info.info-lg">Computer Science [cs]/Machine Learning [cs.LG]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Over the past few years, differentiable optimization has gained in maturity and attractivity within both machine learning and robotics communities. It consists in computing the derivatives of a given optimization problem which can then be used by learning algorithms, and enables to generically plug computational blocks reflecting the solving of generic mathematical programming problems into a learning pipeline. Until now, dedicated approaches have been proposed to compute the derivatives of various types of optimization problems (LPs, QPs, SOCPs, etc.). However, these approaches assume the problems are well-posed (e.g., satisfaction of the linearly independent constraint qualifications), limiting de facto their application to ill-posed problems. In this work, we focus on the differentiation of optimal control solvers widely used in robotics. We notably introduce a differentiable proximal formulation for solving equality-constrained LQR problems that is effective in solving ill-posed and rank-deficient problems accurately. Importantly, we show that this proximal formulation allows us to compute accurate gradients even in the case of ill-posed problems which do not satisfy the classical constraints qualification. Because any optimal control problem can be casted as an equalityconstrained LQR problem in the vicinity of the optimal solution, ours robust LQR derivatives computation can then be exploited to obtain the derivatives of general optimal control problems. We demonstrate the effectiveness of our approach in dynamics learning and system parameters identification experiments in linear optimal control problems.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="regrouplaboratory" xml:id="struct-25027" status="VALID">
          <idno type="IdRef">148034055</idno>
          <idno type="RNSR">199812876J</idno>
          <idno type="ROR">05y6rqs46</idno>
          <orgName>Département d'informatique - ENS-PSL</orgName>
          <orgName type="acronym">DI-ENS</orgName>
          <date type="start">1999-01-01</date>
          <desc>
            <address>
              <addrLine>École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.di.ens.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-59704" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-454692" status="VALID">
          <idno type="IdRef">229858406</idno>
          <idno type="RNSR">200718311C</idno>
          <idno type="ROR">https://ror.org/04c96ng72</idno>
          <orgName>Models of visual object recognition and scene understanding</orgName>
          <orgName type="acronym">WILLOW</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2028-06-30</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/willow</ref>
          </desc>
          <listRelation>
            <relation active="#struct-25027" type="direct"/>
            <relation active="#struct-59704" type="indirect"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR8548" active="#struct-441569" type="indirect"/>
            <relation active="#struct-454310" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1079527" status="VALID">
          <orgName>Center for Data Science [NYU]</orgName>
          <orgName type="acronym">CDS</orgName>
          <date type="start">2013-01-01</date>
          <desc>
            <address>
              <addrLine>New York University, CDS,  7th floor, 60 5th Ave, New York, NY, 1001</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">https://cds.nyu.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300459" type="direct"/>
            <relation active="#struct-566779" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-59704" status="VALID">
          <idno type="IdRef">031738419</idno>
          <idno type="ISNI">0000000123532622</idno>
          <idno type="ROR">https://ror.org/05a0dhs15</idno>
          <orgName>École normale supérieure - Paris</orgName>
          <orgName type="acronym">ENS-PSL</orgName>
          <date type="start">1985-07-24</date>
          <desc>
            <address>
              <addrLine>45, Rue d'Ulm - 75230 Paris cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens.psl.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-564132" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-564132" status="VALID">
          <idno type="IdRef">241597595</idno>
          <idno type="ISNI">0000 0004 1784 3645</idno>
          <idno type="ROR">https://ror.org/013cjyk83</idno>
          <orgName>Université Paris Sciences et Lettres</orgName>
          <orgName type="acronym">PSL</orgName>
          <desc>
            <address>
              <addrLine>60 rue Mazarine 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.psl.eu/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300459" status="VALID">
          <idno type="ISNI">0000 0004 1936 8753</idno>
          <idno type="ROR">https://ror.org/0190ak572</idno>
          <orgName>New York University [New York]</orgName>
          <orgName type="acronym">NYU</orgName>
          <desc>
            <address>
              <addrLine>70 Washington Square South, New York, NY 10012</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.nyu.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-566779" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-566779" status="VALID">
          <orgName>NYU System</orgName>
          <orgName type="acronym">NYU</orgName>
          <desc>
            <address>
              <country key="US"/>
            </address>
            <ref type="url">http://www.nyu.edu/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-50388" status="VALID">
          <idno type="anr">ANR-19-P3IA-0001</idno>
          <orgName>PRAIRIE</orgName>
          <desc>PaRis Artificial Intelligence Research InstitutE</desc>
          <date type="start">2019</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>