Sylvie Putot

Available identifiers

zbMath Open putot.sylvieMaRDI QIDQ246148

List of research outcomes

Publication	Date of Publication	Type
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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sylvie Putot