Search - Archive ouverte HAL Access content directly

Filter your results

46 Results
Image document

Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers

Thibault Hilaire , Hacène Ouzia , Benoit Lopez
ARITH 2019 - IEEE 26th Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.175-182, ⟨10.1109/ARITH.2019.00040⟩
Conference papers hal-02393851v1
Image document

Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filters

Anastasia Volkova , Thibault Hilaire , Christoph Lauter
IEEE Transactions on Computers, 2020, 69 (4), pp.489 - 504. ⟨10.1109/TC.2019.2950658⟩
Journal articles hal-01918650v2
Image document

A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm

Sylvie Boldo , Diane Gallois-Wong , Thibault Hilaire
ARITH 2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.9-16, ⟨10.1109/ARITH48897.2020.00011⟩
Conference papers hal-02982017v1
Image document

Designing Low Parametric Sensitivity FWL Realizations of LTI Controllers/Filters within the Implicit State-Space Framework

Thibault Hilaire , Philippe Chevrel , Yvon Trinquet
44th IEEE Conference on Decision and Control and European Control Conference, 2005, Séville, Spain. ⟨10.1109/CDC.2005.1582986⟩
Conference papers hal-01317245v1

Roundoff Noise Analysis of Finite Wordlength Realizations with the Implicit State-Space Framework

Thibault Hilaire , Daniel Menard , Olivier Sentieys
15th European Signal Processing Conference (EUSIPCO'07), Sep 2007, Poznan, Poland
Conference papers inria-00459286v1
Image document

Evaluation of the Root Mean Square Error Performance of the PAST-Consensus Algorithm

Carolina Reyes , Thibault Hilaire , Steffen Paul , Christoph Mecklenbräuker
International ITG Workshop on Smart Antennas - WSA 2010, Feb 2010, Brême, Germany. pp.156-160, ⟨10.1109/WSA.2010.5456452⟩
Conference papers hal-01290752v1
Image document

Distributed Projection Approximation Subspace Tracking based on Consensus Propagation

Carolina Reyes , Thibault Hilaire , Christoph Mecklenbräuker
3rd International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP'09), Dec 2009, Aruba, Netherlands Antilles. pp.340-343, ⟨10.1109/CAMSAP.2009.5413263⟩
Conference papers hal-01295145v1
Image document

Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision

Anastasia Volkova , Thibault Hilaire , Christoph Q. Lauter
ARITH 22 - 22nd IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France. pp.96-103, ⟨10.1109/ARITH.2015.14⟩
Conference papers hal-01083879v3
Image document

Error analysis methods for the fixed-point implementation of linear systems

Thibault Hilaire , Anastasia Volkova
2017 IEEE International Workshop on Signal Processing Systems (SiPS), Oct 2017, Lorient, France. ⟨10.1109/SiPS.2017.8109991⟩
Conference papers hal-02064330v1

Pole Sensitivity Stability Related Measure of FWL Realization with the Implicit State-Space Formalism

Thibault Hilaire , Philippe Chevrel , J.P. Clauzel
5th IFAC Symposium on Robust Control Design, 2006, Toulouse, France. pp.399-404, ⟨10.3182/20060705-3-FR-2907.00069⟩
Conference papers hal-01317233v1
Image document

Low Parametric Sensitivity Realizations with relaxed L2-dynamic-range-scaling constraints

Thibault Hilaire
[Research Report] PI 1924, 2009, pp.16
Reports inria-00364489v1
Image document

Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study

Anastasia Volkova , Matei Istoan , Florent de Dinechin , Thibault Hilaire
IEEE Transactions on Computers, 2019, 68 (4), pp.597 - 608. ⟨10.1109/TC.2018.2879432⟩
Journal articles hal-01561052v3
Image document

Multiplierless Processing Element for Non-Power-of-Two FFTs

Fahad Qureshi , Anastasia Volkova , Thibault Hilaire , Jarmo Takala
2018
Preprints, Working Papers, ... hal-01690832v1

Design of Fixed-Point Embedded Systems (defis) French ANR Project

Daniel Ménard , Romuald Rocher , Olivier Sentieys , Nicolas Simon , Laurent-Stéphane Didier , et al.
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. , pp.365-366, 2012
Poster communications hal-00822487v1

Low parametric sensitivity realization design for FWL implementation of mimo controllers: theory and application to the active control of vehicle longitudinal oscillations

Thibault Hilaire , Philippe Chevrel , J.P. Clauzel
International Journal of Tomography & Statistics, Special Issue on Control Applications of Optimisation : applications of optimal control, robust control and stabilization, applications in industry, 2007, 6, pp.128-133
Journal articles hal-01317229v1
Image document

Numerical validation of half precision simulations

Fabienne Jézéquel , Sara Sadat Hoseininasab , Thibault Hilaire
1st Workshop on Code Quality and Security (CQS 2021) in conjunction with WorldCIST'21 (9th World Conference on Information Systems and Technologies), Mar 2021, Terceira Island, Azores, Portugal
Conference papers hal-03138494v1

A practical strategy of an efficient and simple FWL implementation of LTI filters

Yu Feng , Philippe Chevrel , Thibault Hilaire
The European Control Conference 2009, Aug 2009, Budapest, Hungary. pp.1383-1388
Conference papers hal-00413664v1

Towards Tools and Methodology for the Fixed-Point Implementation of Linear Filters

Thibault Hilaire
IEEE Digital Signal Processing workshop (DSP'11), Jan 2011, Sedona, United States. pp.488-493, ⟨10.1109/DSP-SPE.2011.5739263⟩
Conference papers hal-01285667v1

Neural Network Precision Tuning Using Stochastic Arithmetic

Quentin Ferro , Stef Graillat , Thibault Hilaire , Fabienne Jézéquel , Basile Lewandowski
RAIM 2022 : 13èmes Rencontres Arithmétique de l'Informatique Mathématique, Nov 2022, Nantes, France
Conference papers hal-03918487v1
Image document

Neural Network Precision Tuning Using Stochastic Arithmetic

Quentin Ferro , Stef Graillat , Thibault Hilaire , Fabienne Jézéquel , Basile Lewandowski
Sparse Days conference, Jun 2022, Saint-Girons, France
Poster communications hal-03780505v1
Image document

Reliable verification of digital implemented filters against frequency specifications

Anastasia Volkova , Christoph Lauter , Thibault Hilaire
24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom
Conference papers hal-01432000v3
Image document

Performance of precision auto-tuned neural networks

Quentin Ferro , Stef Graillat , Thibault Hilaire , Fabienne Jézéquel
2023
Preprints, Working Papers, ... hal-04149501v1
Image document

Reliable implementation of linear filters with fixed-point arithmetic

Thibault Hilaire , Benoit Lopez
Signal Processing Systems (SiPS), Oct 2013, Taipei, Taiwan. pp.401 - 406, ⟨10.1109/SiPS.2013.6674540⟩
Conference papers hal-01076048v1
Image document

A Coq formalization of digital filters

Diane Gallois-Wong , Sylvie Boldo , Thibault Hilaire
CICM 2018 - 11th Conference on Intelligent Computer Mathematics, Aug 2018, Hagenberg, Austria. pp.87--103, ⟨10.1007/978-3-319-96812-4_8⟩
Conference papers hal-01728828v2
Image document

Finite Wordlength Controller Realizations using the Specialized Implicit Form

Thibault Hilaire , Philippe Chevrel , James Whidborne
[Research Report] PI 1915, 2008, pp.41
Reports inria-00359004v1

Interval-based Robustness of Linear Parametrized Filters

Alexandre Chapoutot , Thibault Hilaire , Philippe Chevrel
SCAN'12 - 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia. pp.cf. CDROM
Conference papers hal-00706772v1
Image document

Computing the Worst-Case Peak Gain of Digital Filter in Interval Arithmetic

Anastasia Volkova , Christoph Lauter , Thibault Hilaire
17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. , Sep 2016, Uppsala, Sweden
Conference papers hal-01347634v1
Image document

Finite Wordlength Controller Realizations using the Specialized Implicit Form

Thibault Hilaire , Philippe Chevrel , James F. Whidborne
International Journal of Control, 2010, 83 (2), pp.330-346. ⟨10.1080/00207170903160747⟩
Journal articles hal-01146512v1
Image document

On the compact formulation of the derivation of a transfer matrix with respect to another matrix

Thibault Hilaire , Philippe Chevrel
[Research Report] PI 1916, 2008, pp.13
Reports inria-00348344v1

Sensitivity-based Pole and Input-Output Errors of Linear Filters as Indicators of the Implementation Deterioration in Fixed-Point Context

Thibault Hilaire , Philippe Chevrel
EURASIP Journal on Advances in Signal Processing, 2011, special issue on Quantization of VLSI Digital Signal Processing Systems, pp.893760. ⟨10.1155/2011/893760⟩
Journal articles hal-01146526v1