Sylvie Putot
Orcid: 0000-0001-5624-3755Affiliations:
- LIX, Ecole Polytechnique, Palaiseau, France
According to our database1,
Sylvie Putot
authored at least 53 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts.
Eng. Appl. Artif. Intell., January, 2024
2023
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability.
IEEE Trans. Autom. Control., August, 2023
CoRR, 2023
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane.
CoRR, 2023
2022
Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties.
IEEE Control. Syst. Lett., 2022
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling.
Proceedings of the Learning for Dynamics and Control Conference, 2022
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Inf. Comput., 2021
Proceedings of the Static Analysis - 28th International Symposium, 2021
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Proceedings of the 2021 American Control Conference, 2021
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.
IEEE Control. Syst. Lett., 2020
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.
Proceedings of the Software Verification - 12th International Conference, 2020
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Proceedings of the Static Analysis - 25th International Symposium, 2018
Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper).
Proceedings of the Joint Proceedings of the CME-EI, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
ACM Trans. Embed. Comput. Syst., 2017
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System.
Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
2016
ACM Trans. Embed. Comput. Syst., 2016
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
2015
2014
Tech. Sci. Informatiques, 2014
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.
Proceedings of the American Control Conference, 2014
2013
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013
2012
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012
Proceedings of the Static Analysis - 19th International Symposium, 2012
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012
2011
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Proceedings of the Formal Methods for Industrial Critical Systems, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
CoRR, 2008
2007
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic.
Proceedings of the Static Analysis, 14th International Symposium, 2007
Proceedings of the Formal Methods for Industrial Critical Systems, 2007
2006
Proceedings of the Static Analysis, 13th International Symposium, 2006
2005
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2003
Proceedings of the Numerical Software with Result Verification, 2003
2002
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.
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).
PhD thesis, 2001