Sylvie Putot

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 37

Top Venues

CoRR

HSCC

IEEE Control. Syst. Lett.

ACM Trans. Embed. Comput. Syst.

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Eric Goubault, Sylvie Putot
Inner and outer approximate quantifier elimination for general reachability problems. HSCC (2024)
Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts. Eng. Appl. Artif. Intell. 127 (Part A) (2024)
Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot
Estimating the coverage measure and the area explored by a line-sweep sensor on the plane. Int. J. Approx. Reason. 169 (2024)
Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability. IEEE Trans. Autom. Control. 68 (8) (2023)
Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane. CoRR (2023)
Eric Goubault, Sylvie Putot
Guaranteed approximations of arbitrarily quantified reachability problems. CoRR (2023)
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. L4DC (2022)
François Bidet, Éric Goubault, Sylvie Putot
Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties. IEEE Control. Syst. Lett. 6 (2022)
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. IJCAI (2022)
Eric Goubault, Sylvie Putot
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems. CAV (1) (2022)
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. CoRR (2022)
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. CoRR (2021)
Eric Goubault, Sylvie Putot
Tractable higher-order under-approximating AE extensions for non-linear systems. CoRR (2021)
Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
Static Analysis of ReLU Neural Networks with Tropical Polyhedra. SAS (2021)
Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
A few lessons learned in reinforcement learning for quadcopter attitude control. HSCC (2021)
Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot
A topological method for finding invariant sets of continuous systems. Inf. Comput. 277 (2021)
Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts. CoRR (2021)
Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
Static analysis of ReLU neural networks with tropical polyhedra. CoRR (2021)
Eric Goubault, Sylvie Putot
Tractable higher-order under-approximating AE extensions for non-linear systems. ADHS (2021)
Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
On-The-Fly Control of Unknown Smooth Systems from Limited Data. ACC (2021)
Maria Luiza Costa Vianna, Eric Goubault, Sylvie Putot
Neural Network Based Model Predictive Control for an Autonomous Vehicle. CoRR (2021)
Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability. CoRR (2020)
Eric Goubault, Sylvie Putot
Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances. IEEE Control. Syst. Lett. 4 (4) (2020)
Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. VSTTE (2020)
Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
On-The-Fly Control of Unknown Smooth Systems from Limited Data. CoRR (2020)
Sriram Sankaranarayanan, Yi Chou, Eric Goubault, Sylvie Putot
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms. NeurIPS (2020)
Eric Goubault, Sylvie Putot
Inner and outer reachability for the verification of control systems. HSCC (2019)
Debasmita Lohar, Eva Darulova, Sylvie Putot, Eric Goubault
Discrete Choice in the Presence of Numerical Uncertainties. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
François Bidet, Éric Goubault, Sylvie Putot
Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper). CICM Workshops (2018)
Maxime Jacquemin, Sylvie Putot, Franck Védrine
A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis. SAS (2018)
Eric Goubault, Sylvie Putot, Lorenz Sahlmann
Inner and Outer Approximating Flowpipes for Delay Differential Equations. CAV (2) (2018)
Eric Goubault, Sylvie Putot
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. HSCC (2017)
Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. FVAV@iFM (2017)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. TACAS (2016)
Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed
A Topological Method for Finding Invariant Sets of Switched Systems. HSCC (2016)
Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, Sylvie Putot
A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. ACM Trans. Embed. Comput. Syst. 15 (4) (2016)
Eric Goubault, Sylvie Putot
A zonotopic framework for functional abstractions. Formal Methods Syst. Des. 47 (3) (2015)
Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot
A Topological Method for Finding Invariant Sets of Continuous Systems. RP (2015)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
A scalable algebraic method to infer quadratic invariants of switched systems. EMSOFT (2015)
Sylvie Putot
Analyse statique de programmes et systèmes numériques. Tech. Sci. Informatiques 33 (1-2) (2014)
Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer
Inner approximated reachability analysis. HSCC (2014)
Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot, Sriram Sankaranarayanan
Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials. ACC (2014)
Eric Goubault, Sylvie Putot
Robustness Analysis of Finite Precision Implementations. APLAS (2013)
Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot
General inner approximation of vector-valued functions. CoRR (2013)
Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot
Static Analysis of Programs with Imprecise Probabilistic Inputs. VSTTE (2013)
Eric Goubault, Sylvie Putot
Robustness analysis of finite precision implementations. CoRR (2013)
Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot
General Inner Approximation of Vector-valued Functions. Reliab. Comput. 18 (2013)
Eric Goubault, Sylvie Putot, Franck Védrine
Modular Static Analysis with Zonotopes. SAS (2012)
Eric Goubault, Tristan Le Gall, Sylvie Putot
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations. Electron. Notes Theor. Comput. Sci. 287 (2012)
Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot
A generalization of p-boxes to affine arithmetic. Computing 94 (2-4) (2012)
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
Design of fixed-point embedded systems (DEFIS) French ANR project. DASIP (2012)
Eric Goubault, Sylvie Putot
Static Analysis of Finite Precision Computations. VMCAI (2011)
Georgios Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan
Foreword. Math. Comput. Sci. 5 (4) (2011)
Khalil Ghorbal, Eric Goubault, Sylvie Putot
A Logical Product Approach to Zonotope Intersection. CAV (2010)
Khalil Ghorbal, Eric Goubault, Sylvie Putot
A Logical Product Approach to Zonotope Intersection CoRR (2010)
Eric Goubault, Sylvie Putot
A zonotopic framework for functional abstractions CoRR (2009)
Khalil Ghorbal, Eric Goubault, Sylvie Putot
The Zonotope Abstract Domain Taylor1+. CAV (2009)
David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. FMICS (2009)
Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. CAV (2009)
Eric Goubault, Sylvie Putot
Perturbed affine arithmetic for invariant computation in numerical program analysis CoRR (2008)
Eric Goubault, Sylvie Putot
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. SAS (2007)
Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino
Static Analysis of the Accuracy in Control Systems: Principles and Experiments. FMICS (2007)
Eric Goubault, Sylvie Putot
Static Analysis of Numerical Algorithms. SAS (2006)
Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. CAV (2005)
Sylvie Putot, Eric Goubault, Matthieu Martel
Static Analysis-Based Validation of Floating-Point Computations. Numerical Software with Result Verification (2003)
Eric Goubault, Matthieu Martel, Sylvie Putot
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. ESOP (2002)

Sylvie Putot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sylvie Putot