8 citations · 11 across the 5 of their papers we have counts for
6 papers
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods
Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
Nowadays, parallel computing is ubiquitous in several application fields, both in engineering and science. The computations rely on the floating-point arithmetic specified by the I…
Verification and Validation of Convex Optimization Algorithms for Model Predictive Control
Raphaël Cohen, Eric Féron, Pierre-Loïc Garoche
Advanced embedded algorithms are growing in complexity and they are an essential contributor to the growth of autonomy in many areas. However, the promise held by these algorithms…
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint
Paul Rousse, Pierre-Loïc Garoche, Didier Henrion
This work extends reachability analyses based on ellipsoidal techniques to Linear Time Invariant (LTI) systems subject to an integral quadratic constraint (IQC) between the past st…
Foundations of Intelligent Additive Manufacturing
Kévin Garanger, Eric Feron, Pierre-Loïc Garoche +4
During the last decade, additive manufacturing has become increasingly popular for rapid prototyping, but has remained relatively marginal beyond the scope of prototyping when it c…
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
While abstract interpretation is not theoretically restricted to specific kinds of properties, it is, in practice, mainly developed to compute linear over-approximations of reachab…
Thermodynamic investigation of an insulator irradiated by a low-energy electron beam
F. Pesty, P. Garoche
The surface of an insulating material irradiated by a beam of low energy electrons charges positively if the yield of secondary electron is greater than unity. For such a dynamical…