Sylvie Putot

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