Sylvie Putot Professor of Computer Science, École Polytechnique Office: LIX - UMR 7161 École Polytechnique 1 rue Honoré d'Estienne d'Orves Bâtiment Alan Turing 91120 Palaiseau E-mail : Sylvie.Putot@polytechnique.edu

Publications

• Maria Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot, Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane, International Journal of Approximate Reasoning, 2024, link, preprint,
• 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, link.
• 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): 4857-4872, 2023, link.
• Francois Bidet, Eric Goubault and Sylvie Putot, Reachability Analysis of Generalized Input-Affine Systems with Bounded Measurable Time-varying Uncertainties, IEEE Control Systems Letters, vol 6, 2022, preprint, link.
• Eric Goubault and Sylvie Putot, Robust under-approximations and application to reachability of non-linear control systems with disturbance, IEEE Control Systems Letters, vol 4, Oct 2020, preprint, link.
• Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek and S. Putot, A topological method for finding invariant sets of continuous systems, Information and Computation, 2020.
• Eva Darulova, Eric Goubault, Debasmita Lohar, and Sylvie Putot, Discrete Choice in the Presence of Numerical Uncertainties, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, TCAD, vol 37(10), special issue for EMSOFT 2018, October 2018.
• Xavier Allamigeon, Stephane Gaubert, Eric Goubault, Sylvie Putot and Nikolas Stott, A fast method to compute disjunctive quadratic invariants of numerical programs, ACM Transactions on Embedded Computing Systems, TECS, vol 16(5), special issue for EMSOFT 2017, 2017.
• Xavier Allamigeon, Stephane Gaubert, Eric Goubault, Sylvie Putot and Nikolas Stott, A scalable algebraic method to infer quadratic invariants of switched systems, extended version of the EMSOFT 2015 paper, ACM Transactions on Embedded Computing Systems (TECS), Vol 15(4), 2016.
• Eric Goubault and Sylvie Putot, A zonotopic framework for functional abstractions, preprint, Formal Methods in System Design, 47(3), pp 302-360, 2016.
• Olivier Mullier, Eric Goubault, Michel Kieffer and Sylvie Putot, General Inner Approximation of Vector-valued Functions, Reliable Computing, volume 18, pp 117-143, 2013.
• Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq and Sylvie Putot, A generalization of p-boxes to affine arithmetic, Computing, volume 94, nb 2-4, pp 180-201, 2012.

• Eric Goubault and Sylvie Putot, Inner and outer approximate quantifier elimination for general reachability problems, preprint, To appear in the Proceedings of International Conference on Hybrid Systems: Computation and Control, HSCC 2024.
• Eric Goubault and Sylvie Putot, RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems, preprint, To appear in the Proceedings of Computer Aided Verification, CAV 2022.
• Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot and Ufuk Topcu, Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs, preprint, To appear in the Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence, IJCAI-ECAI 2022.
• Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot and Ufuk Topcu, Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling, preprint, Proceedings of the Learning for Dynamics & Control Conference, L4DC 2022.
• Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz and Sriram Sankaranarayanan, Static analysis of ReLU neural networks with tropical polyhedra, preprint, In Static Analysis Symposium, SAS 2021.
• Eric Goubault and Sylvie Putot, Tractable higher-order under-approximating AE extensions for non-linear systems, preprint, In IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 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, preprint, In American Control Conference, ACC 2021.
• Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric, Goubault, Romain Pennec, Sylvie Putot, Francois Sillion, A Few Lessons Learned in Reinforcement Learning for Quadcopter Attitude Control, preprint, In ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2021.
• Sriram Sankaranarayanan, Yi Chou, Eric Goubault, and Sylvie Putot, Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms, Code and examples, In Advances in Neural Information Processing System, NeurIPS 2020.
• Eric Goubault and Sylvie Putot, Robust under-approximations and application to reachability of non-linear control systems with disturbance, In IEEE Conference on Decision and Control, CDC 2020.
• Bibek Kabi, Eric Goubault, Antoine Miné, and Sylvie Putot, Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants, In International Workshop on Numerical Software Verification, NSV 2020.
• Eric Goubault and Sylvie Putot, Inner and Outer Reachability for the Analysis of Control Systems, In ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal. (see also the RINO prototype)
• Eva Darulova, Eric Goubault, Debasmita Lohar, and Sylvie Putot, Discrete Choice in the Presence of Numerical Uncertainties, In International Conference on Embedded Software, EMSOFT 2018.
• Maxime Jacquemin, Sylvie Putot, and Franck Vedrine, A Reduced Product of Absolute and Relative Error Bounds for Floating-point Analysis, In Static Analysis Symposium, SAS 2018, Springer LNCS volume 11002, 2018.
• Eric Goubault, Sylvie Putot and Lorenz Sahlmann, Inner and Outer Approximating Flowpipes for Delay Differential Equations, In International Conference on Computer Aided Verification, CAV 2018, Springer LNCS volumes 10980 and 10981, slides.
• Francois Bidet, Eric Goubault and Sylvie Putot, Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark, In Workshop on Formal Verification of Physical Systems (FVPS), 2018.
• Xavier Allamigeon, Stephane Gaubert, Eric Goubault, Sylvie Putot and Nikolas Stott, A fast method to compute disjunctive quadratic invariants of numerical programs, In International Conference on Embedded Software EMSOFT 2017.
• Benjamin Martin, Khalil Ghorbal, Eric Goubault and Sylvie Putot, Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System (preprint), In Formal Verification of Autonomous Vehicles Workshop, FVAV 2017.
• Eric Goubault and Sylvie Putot, Forward inner-approximated reachability of non-linear continuous systems, In ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2017, slides, prototype (reproductibility package) .
• Laurent Fribourg, Eric Goubault, Sameh Mohamed and Sylvie Putot, A Topological Method for Finding Invariant Sets of Switched Systems, In ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2016.
• Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov and Sriram Sankaranarayanan, Uncertainty Propagation using Probabilistic Affine Forms and Concentration of Measure Inequalities, In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016.
• Xavier Allamigeon, Stephane Gaubert, Eric Goubault, Sylvie Putot and Nikolas Stott, A scalable algebraic method to infer quadratic invariants of switched systems, In ACM SIGBED International Conference on Embedded Software EMSOFT 2015 (best paper award).
• Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek and Sylvie Putot, A Topological Method for Finding Invariant Sets of Continuous Systems, In International Workshop on Reachability Problems RP 2015, LNCS volume 9328, pp 63-75, 2015.
• Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot and Sriram Sankaranarayanan, Finding Non-Polynomial Positive Invariants and Lyapunov Functions for Polynomial Systems through Darboux Polynomials, Proceedings of American Control Conference ACC 2014.
• Eric Goubault, Michel Kieffer, Olivier Mullier and Sylvie Putot, Inner approximated reachability analysis, In ACM International Conference on Hybrid Systems: Computation and Control HSCC 2014, ACM, 2014.
• Eric Goubault and Sylvie Putot, Robustness analysis of finite precision implementations, extended version, In Asian Symposium on Programming Languages and Systems APLAS 2013, LNCS volume 8301, pp 50-57, 2013, slides .
• Assale Adje, Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot, Static Analysis of Programs with Imprecise Probabilistic Inputs, In Verified Software: Theories, Tools and Experiments VSTTE'13, LNCS volume 8164, 2013.
• Eric Goubault, Sylvie Putot and Franck Védrine, Modular Static Analysis with Zonotopes,In Static Analysis Symposium SAS'12, Deauville, France, LNCS volume 7460, pp 24-40, slides
• Eric Goubault, Tristan Le Gall and Sylvie Putot, An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations, In Workshop on Numerical and Symbolic Abstract Domains, NSAD'12, Electronic Notes in Theoretical Computer Science, volume 287, pp 65-76, 2012
• D. Menard, R. Rocher, O. Sentieys, N. Simon, L.-S. Didier, T. Hilaire, B. Lopez, E. Goubault, S. Putot, F. Védrine, A. Najahi, G. Revy, L. Fangain, C. Samoyeau, F. Lemonnier, C. Clienti: Design of fixed-point embedded systems (DEFIS) French ANR project, In Conference on Design and Architectures for Signal and Image Processing, DASIP 2012, Karlsruhe, Germany
• Eric Goubault and Sylvie Putot, Static Analysis of Finite Precision Computations,In Verification, Model Checking and Abstract Interpretation VMCAI'11, Austin, Texas, LNCS volume 6530, pp. 232-247, slides
• Khalil Ghorbal, Eric Goubault and Sylvie Putot, A Logical Product to Zonotope Intersection, In Computer Aided Verification CAV'10, Edinburgh, Scotland, LNCS volume 6174, pp. 212-226
• David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal and Franck Védrine, Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software, In International Workshop on Formal Methods for Industrial Critical Systems FMICS'09, LNCS volume 5825, pp. 53-69
  slides, the movies shown: intro: behaviour of Householder algorithm for sqrt, Householder analysed by FLUCTUAT, analysis of an algorithm for the arctangent
• Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal and Franck Védrine, HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment, In Computer Aided Verification CAV'09, Grenoble, France, LNCS volume 5649, pp. 620-626
• Khalil Ghorbal, Eric Goubault and Sylvie Putot, The Zonotope Abstract Domain Taylor1+, In Computer Aided Verification CAV'09, Grenoble, France, LNCS volume 5649, pp. 627-633
• O. Bouissou, E. Conquet, P. Cousot, R. Cousot, J. Feret, K. Ghorbal, E. Goubault, D. Lesens, L. Mauborgne, A. Mine, S. Putot and X. Rival, Space Software Validation using Abstract Interpretation, In Int. Space System Engineering Conference, Data Systems in Aerospace DASIA'09, Istambul, Turkey.
• Eric Goubault, Sylvie Putot, Philippe Baufreton and Jean Gassino, Static Analysis of the Accuracy in Control Systems : Principles and Experiments, In International Workshop on Formal Methods for Industrial Critical Systems FMICS'07, Berlin, Germany, LNCS volume 4916, pp. 3-20
• Eric Goubault and Sylvie Putot, Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic, In Static Analysis Symposium SAS'07, Kongens Lyngby Denmark, LNCS volume 4634, pp. 137-152
• Eric Goubault and Sylvie Putot, Static Analysis of Numerical Algorithms, In Static Analysis Symposium SAS'06, Seoul, LNCS volume 4134, pp. 18-34
• Eric Goubault, Matthieu Martel and Sylvie Putot, Some future challenges in the validation of control systems, Proceedings of Embedded Real-Time Systems ERTS'06, Toulouse
• Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel and Sylvie Putot, A policy iteration algorithm for computing fixed points in static analysis of programs, In Computer Aided Verification CAV'05, Edinburgh, LNCS volume 3576, pp. 462-475
• Eric Goubault and Sylvie Putot, Weakly relational domains for floating-point computation analysis, In workshop on Numerical and Symbolic Abstract Domains NSAD'05, Paris (affiliated event of VMCAI'05)
• Eric Goubault, Matthieu Martel and Sylvie Putot, Static Analysis-Based Validation of Floating-Point Computations, In Dagstuhl Seminar Numerical Software with Result Verification 2003, LNCS volume 2991, pp 306-313
• Eric Goubault, Matthieu Martel, and Sylvie Putot, Asserting the Precision of Floating-Point Computations: a Simple Abstract Interpreter, In ESOP'02, Grenoble, LNCS volume 2305, pp 209-212

  ---

• Francois Charlet, Cédric Bermond, Sylvie Putot, Gilles Le Carval, Bernard Flechet, Extraction of (R,L,C,G) interconnect parameters in 2D transmission lines using fast and efficient numerical tools, In International Conference on Simulation of Semiconductor Processes and Devices SISPAD'00
• Sylvie Putot, Francois Charlet et Patrick Witomski, A fast and accurate computation of interconnect capacitance, In IEEE International Electron Devices Meeting IEDM'99, Washington D.C.
• Sylvie Putot, Francois Charlet et Patrick Witomski, A new algorithm for interconnect capacitance extraction based on a fictitious domain method, In International Conference on Simulation of Semiconductor Processes and Devices SISPAD'99

• Eric Goubault and Sylvie Putot, Robustness analysis of finite precision implementations, extended version of our APLAS 2013 paper, Sept 2013
• Eric Goubault and Sylvie Putot, Perturbed affine arithmetic for invariant computation in numerical program analysis, July 2008

• Course material for the DigiCosme Spring School: Program Analysis and Verification: lecture notes, slides.

Static Analysis of Numerical Programs and Systems, defended December 2012, slides

Computation by a fictitious domain method of parasitic capacitance due to interconnects in integrated circuits (in french), phD thesis, prepared under the guidance of Patrick Witomski, defended January 2001