Search Results - Putot, Sylvie

Refine Results
  1. 1
    Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System

    Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System by Martin, Benjamin, Ghorbal, Khalil, Goubault, Eric, Putot, Sylvie

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    A generalization of p-boxes to affine arithmetic

    A generalization of p-boxes to affine arithmetic by Bouissou, Olivier, Goubault, Eric, Goubault-Larrecq, Jean, Putot, Sylvie

    Published in Computing
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances

    Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances by Goubault, Eric, Putot, Sylvie

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    A zonotopic framework for functional abstractions

    A zonotopic framework for functional abstractions by Goubault, Eric, Putot, Sylvie

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability

    On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability by Djeumou, Franck, Vinod, Abraham P., Goubault, Eric, Putot, Sylvie, Topcu, Ufuk

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Estimating the coverage measure and the area explored by a line-sweep sensor on the plane

    Estimating the coverage measure and the area explored by a line-sweep sensor on the plane by Costa Vianna, Maria, Goubault, Eric, Jaulin, Luc, Putot, Sylvie

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts

    Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts by Bernini, Nicola, Bessa, Mikhail, Delmas, Rémi, Gold, Arthur, Goubault, Eric, Pennec, Romain, Putot, Sylvie, Sillion, François

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Discrete Choice in the Presence of Numerical Uncertainties

    Discrete Choice in the Presence of Numerical Uncertainties by Lohar, Debasmita, Darulova, Eva, Putot, Sylvie, Goubault, Eric

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties

    Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties by Bidet, Francois, Goubault, Eric, Putot, Sylvie

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    A topological method for finding invariant sets of continuous systems

    A topological method for finding invariant sets of continuous systems by Fribourg, L., Goubault, E., Mohamed, S., Mrozek, M., Putot, S.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  11. 11
    Tractable higher-order under-approximating AE extensions for non-linear systems

    Tractable higher-order under-approximating AE extensions for non-linear systems by Goubault, Eric, Putot, Sylvie

    Published in IFAC-PapersOnLine
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs

    A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs by Allamigeon, Xavier, Gaubert, Stéphane, Goubault, Eric, Putot, Sylvie, Stott, Nikolas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems

    A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems by Allamigeon, Xavier, Gaubert, Stéphane, Stott, Nikolas, Goubault, Éric, Putot, Sylvie

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    General Inner Approximation of Vector-valued Functions

    General Inner Approximation of Vector-valued Functions by Mullier, Olivier, Goubault, Eric, Kieffer, Michel, Putot, Sylvie

    Published in Reliable computing
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Guaranteed approximations of arbitrarily quantified reachability problems

    Guaranteed approximations of arbitrarily quantified reachability problems by Goubault, Eric, Putot, Sylvie

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs

    Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs by Djeumou, Franck, Neary, Cyrus, Goubault, Eric, Putot, Sylvie, Topcu, Ufuk

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Foreword

    Foreword by Fainekos, Georgios, Goubault, Eric, Putot, Sylvie, Ratschan, Stefan

    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    On-The-Fly Control of Unknown Smooth Systems from Limited Data

    On-The-Fly Control of Unknown Smooth Systems from Limited Data by Djeumou, Franck, Vinod, Abraham P., Goubault, Eric, Putot, Sylvie, Topcu, Ufuk

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Foreword

    Foreword by Fainekos, Georgios, Goubault, Eric, Putot, Sylvie, Ratschan, Stefan

    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Tractable higher-order under-approximating AE extensions for non-linear systems

    Tractable higher-order under-approximating AE extensions for non-linear systems by Goubault, Eric, Putot, Sylvie

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: