-
Efficient algorithms for verified scientific computing : Numerical linear alg...
Interval arithmetic is a means to compute verified results. However, a naive use of interval arithmetic does not provide accurate enclosures of the exact results.... -
Kalman Filter for Discrete-Time Stochastic Linear Systems Subject to Intermit...
International audience -
Separation principle in the fractional Gaussian linear-quadratic regulator pr...
International audience -
CONTSID: a Matlab toolbox for direct continuous-time model identification fro...
The main purpose of this contribution is to describe the CONtinuous- Time System IDentification (CONTSID) toolbox for Matlab, which supports continuous-time transfer... -
Automated Code Generation for Lattice QCD Simulation
Quantum Chromodynamics (QCD) is the theory of strong nuclear force, responsible of the interactions between sub-nuclear particles. QCD simulations are typically... -
Estimation non biaisée et robuste de l'état et des défauts des systèmes stoch...
This thesis addresses the problem of unbiased minimum variance filtering by two techniques: the proportional integral filter and the robust minimum variance filtering.... -
Approximation and applications of distributed delay
A distributed delay is a linear input-output operators and appears in many control problems. We investigate distributed delay and its applications. After introducing... -
Particle based confidence intervals
This paper deals with the problem of real time identification of the linear characteristics of the linear system associated with a mechanical structure. More than the...
