Sylvie Putot

Available identifiers

zbMath Open putot.sylvieMaRDI QIDQ246148

List of research outcomes

Publication	Date of Publication	Type
Estimating the coverage measure and the area explored by a line-sweep sensor on the plane	2024-07-10	Paper
A few lessons learned in reinforcement learning for quadcopter attitude control	2024-02-21	Paper
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability	2023-10-06	Paper
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane	2023-09-07	Paper
A reduced product of absolute and relative error bounds for floating-point analysis	2023-05-26	Paper
Inner and outer approximating flowpipes for delay differential equations	2023-05-05	Paper
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems	2022-12-07	Paper
Static analysis of ReLU neural networks with tropical polyhedra	2022-06-17	Paper
A topological method for finding invariant sets of continuous systems	2021-04-13	Paper
Inner and outer reachability for the verification of control systems	2019-10-22	Paper
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities	2019-09-17	Paper
A topological method for finding invariant sets of continuous systems	2017-10-27	Paper
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems	2017-07-11	Paper
A Topological Method for Finding Invariant Sets of Switched Systems	2017-05-19	Paper
Inner approximated reachability analysis	2017-05-16	Paper
A zonotopic framework for functional abstractions	2016-02-25	Paper
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations	2014-07-22	Paper
General inner approximation of vector-valued functions	2013-10-07	Paper
A generalization of \(p\)-boxes to affine arithmetic	2012-04-04	Paper
Static Analysis of Finite Precision Computations	2011-02-15	Paper
Static Analysis of Numerical Algorithms	2009-03-12	Paper
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic	2009-03-03	Paper
Numerical Software with Result Verification	2007-09-28	Paper
Computer Aided Verification	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4738356	2004-08-11	Paper

Research outcomes over time

This page was built for person: Sylvie Putot