Sylvie Putot

According to our database, Sylvie Putot authored at least 55 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts.

Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion

Eng. Appl. Artif. Intell., January, 2024

Estimating the coverage measure and the area explored by a line-sweep sensor on the plane.

Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot

Int. J. Approx. Reason., 2024

Inner and outer approximate quantifier elimination for general reachability problems.

Eric Goubault, Sylvie Putot

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks.

Eric Goubault, Sylvie Putot

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability.

Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu

IEEE Trans. Autom. Control., August, 2023

Guaranteed approximations of arbitrarily quantified reachability problems.

Eric Goubault, Sylvie Putot

CoRR, 2023

2022

Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties.

François Bidet, Éric Goubault, Sylvie Putot

IEEE Control. Syst. Lett., 2022

Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling.

Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu

Proceedings of the Learning for Dynamics and Control Conference, 2022

Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs.

Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems.

Eric Goubault, Sylvie Putot

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

A topological method for finding invariant sets of continuous systems.

Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot

Inf. Comput., 2021

Neural Network Based Model Predictive Control for an Autonomous Vehicle.

Maria Luiza Costa Vianna, Eric Goubault, Sylvie Putot

CoRR, 2021

Static Analysis of ReLU Neural Networks with Tropical Polyhedra.

Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan

Proceedings of the Static Analysis - 28th International Symposium, 2021

A few lessons learned in reinforcement learning for quadcopter attitude control.

Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

On-The-Fly Control of Unknown Smooth Systems from Limited Data.

Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu

Proceedings of the 2021 American Control Conference, 2021

Tractable higher-order under-approximating AE extensions for non-linear systems.

Eric Goubault, Sylvie Putot

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances.

Eric Goubault, Sylvie Putot

IEEE Control. Syst. Lett., 2020

Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.

Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot

Proceedings of the Software Verification - 12th International Conference, 2020

Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.

Sriram Sankaranarayanan, Yi Chou, Eric Goubault, Sylvie Putot

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019

Inner and outer reachability for the verification of control systems.

Eric Goubault, Sylvie Putot

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018

Discrete Choice in the Presence of Numerical Uncertainties.

Debasmita Lohar, Eva Darulova, Sylvie Putot, Eric Goubault

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis.

Maxime Jacquemin, Sylvie Putot, Franck Védrine

Proceedings of the Static Analysis - 25th International Symposium, 2018

Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper).

François Bidet, Éric Goubault, Sylvie Putot

Proceedings of the Joint Proceedings of the CME-EI, 2018

Inner and Outer Approximating Flowpipes for Delay Differential Equations.

Eric Goubault, Sylvie Putot, Lorenz Sahlmann

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs.

Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott

ACM Trans. Embed. Comput. Syst., 2017

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

Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

Forward Inner-Approximated Reachability of Non-Linear Continuous Systems.

Eric Goubault, Sylvie Putot

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016

A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems.

Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, Sylvie Putot

ACM Trans. Embed. Comput. Syst., 2016

Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities.

Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

A Topological Method for Finding Invariant Sets of Switched Systems.

Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015

A zonotopic framework for functional abstractions.

Eric Goubault, Sylvie Putot

Formal Methods Syst. Des., 2015

2014

Analyse statique de programmes et systèmes numériques.

Sylvie Putot

Tech. Sci. Informatiques, 2014

Inner approximated reachability analysis.

Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials.

Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot, Sriram Sankaranarayanan

Proceedings of the American Control Conference, 2014

2013

General Inner Approximation of Vector-valued Functions.

Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot

Reliab. Comput., 2013

Static Analysis of Programs with Imprecise Probabilistic Inputs.

Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Robustness Analysis of Finite Precision Implementations.

Eric Goubault, Sylvie Putot

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations.

Eric Goubault, Tristan Le Gall, Sylvie Putot

Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012

A generalization of p-boxes to affine arithmetic.

Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot

Computing, 2012

Modular Static Analysis with Zonotopes.

Eric Goubault, Sylvie Putot, Franck Védrine

Proceedings of the Static Analysis - 19th International Symposium, 2012

Design of fixed-point embedded systems (DEFIS) French ANR project.

Daniel Ménard, Romuald Rocher, Olivier Sentieys, Nicolas Simon, Laurent-Stéphane Didier, Thibault Hilaire, Benoit Lopez, Eric Goubault, Sylvie Putot, Franck Védrine, Amine Najahi, Guillaume Revy, L. Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

2011

Foreword.

Georgios Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan

Math. Comput. Sci., 2011

Static Analysis of Finite Precision Computations.

Eric Goubault, Sylvie Putot

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

2010

A Logical Product Approach to Zonotope Intersection.

Khalil Ghorbal, Eric Goubault, Sylvie Putot

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.

David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

The Zonotope Abstract Domain Taylor1+.

Khalil Ghorbal, Eric Goubault, Sylvie Putot

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.

Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Perturbed affine arithmetic for invariant computation in numerical program analysis

Eric Goubault, Sylvie Putot

CoRR, 2008

2007

Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic.

Eric Goubault, Sylvie Putot

Proceedings of the Static Analysis, 14th International Symposium, 2007

Static Analysis of the Accuracy in Control Systems: Principles and Experiments.

Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006

Static Analysis of Numerical Algorithms.

Eric Goubault, Sylvie Putot

Proceedings of the Static Analysis, 13th International Symposium, 2006

2005

A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.

Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2003

Static Analysis-Based Validation of Floating-Point Computations.

Sylvie Putot, Eric Goubault, Matthieu Martel

Proceedings of the Numerical Software with Result Verification, 2003

2002

Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.

Eric Goubault, Matthieu Martel, Sylvie Putot

Proceedings of the Programming Languages and Systems, 2002

2001

Calcul des capacités parasites dans les interconnexions des circuits intégrés par une méthode de domaines fictifs. (Computation by a fictitious domain method of parasitic capacitance due to interconnects in integrated circuits).

Sylvie Putot

PhD thesis, 2001