Thibault Hilaire

Available identifiers

zbMath Open hilaire.thibaultMaRDI QIDQ1798951

List of research outcomes

Publication	Date of Publication	Type
Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters	2020-10-02	Paper
Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study	2019-08-13	Paper
A Coq formalization of digital filters	2018-10-18	Paper
A Unifying Framework for Finite Wordlength Realizations	2017-11-20	Paper
Generalised modal realisation as a practical and efficient tool for FWL implementation	2011-07-08	Paper
Finite wordlength controller realisations using the specialised implicit form	2010-04-06	Paper

Research outcomes over time

This page was built for person: Thibault Hilaire